LuMiNous - model-driven assertion generation for runtime failure detection
Informazioni aggiuntive
Autori
Pezzè M.,
Wuttke J. D.
Tipo
Contributo in atti di convegno
Anno
2009
Lingua
Inglese
Sommario
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.
Parole chiave
autonomic software system, Computer crashes, Construction industry, Debugging, Detectors, LuMiNous-model-driven code assertion generation, object-oriented programming, program compilers, program debugging, Prototypes, Runtime, runtime failure detection, software debugging, software maintenance, Software prototyping, software quality, software systems, system monitoring, system recovery
Titolo atti di convegno
Software Engineering - Companion Volume, 2009. ICSE-Companion 2009. 31st International Conference on
Pagine (o numero dell’articolo)
411-412
