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
-
- English
- Classification
- Computer science and technology
- License
- License undefined
- Identifiers
-
- RERO DOC 10707
- ARK ark:/12658/srd1318263
- Persistent URL
- https://n2t.net/ark:/12658/srd1318263
Statistics
Document views: 36
File downloads:
- ITR0804.pdf: 99