Property templates and assertions supporting runtime failure detection

Wuttke, Jochen

Back

Preprint

Property templates and assertions supporting runtime failure detection

Wuttke, Jochen Facoltà di scienze informatiche, Università della Svizzera italiana, Svizzera

2008

19 p.

English In the context of our research program we addressed the question whether or not requirements documents contain information about system level properties that can be exploited to automatically create assertions for run-time checks of these properties. In this technical report we define the concept of property template and report details on the studies we carried out to address this question. The results are presented in the form of a catalog of property templates, and details from the individual studies showing which properties occur in which projects.

Language