DocumentCode
2004555
Title
LuMiNous—model-driven assertion generation for runtime failure detection
Author
Pezzè, Mauro ; Wuttke, Jochen
Author_Institution
Univ. of Milano Bicocca, Milan
fYear
2009
fDate
16-24 May 2009
Firstpage
411
Lastpage
412
Abstract
Well designed assertions improve overall software quality, ease debugging and maintenance, and support the construction of autonomic software systems. Although widely used both in academia and industry, manually defining code assertions is hard and error-prone. In this summary we present LuMiNous, a prototype that implements a technique to automatically generate code assertions from model annotations.
Keywords
object-oriented programming; program compilers; program debugging; software maintenance; software quality; system monitoring; system recovery; LuMiNous-model-driven code assertion generation; autonomic software system; runtime failure detection; software debugging; software maintenance; software quality; Computer crashes; Construction industry; Debugging; Detectors; Prototypes; Runtime; Software maintenance; Software prototyping; Software quality; Software systems;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering - Companion Volume, 2009. ICSE-Companion 2009. 31st International Conference on
Conference_Location
Vancouver, BC
Print_ISBN
978-1-4244-3495-4
Type
conf
DOI
10.1109/ICSE-COMPANION.2009.5071037
Filename
5071037
Link To Document