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
Wuttke, J., Pezzè, M. (2009). LuMiNous - model-driven assertion generation for runtime failure detection. In 31st International Conference on Software Engineering (pp.411-412). IEEE Computer Society Press [10.1109/ICSE-COMPANION.2009.5071037].
LuMiNous - model-driven assertion generation for runtime failure detection
Pezzè, M
2009
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
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
