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
  • English
Classification
Computer science
License
License undefined
Identifiers
  • RERO DOC 10707
Persistent URL
https://susi.usi.ch/usi/documents/318263
Statistics

Document views: 7 File downloads:
  • ITR0804.pdf: 3