Title :
Evaluation and improvement of software products and processes based on measurement
Author :
Maurice, F. ; Benzekri, A. ; Raynaud, Y.
Author_Institution :
IRIT, Univ. Paul Sabatier, Toulouse, France
Abstract :
A methodology including the essential steps for any software measurement activity is described. Based on previous and original works, this methodology allows one to specify, verify and validate metrics. Related to a defined goal, metrics are specified using a formal notation and then verified. Validating predictive metrics is a crucial task for any goal aiming at improving software processes or products. Potential issues and precautions that must be taken during the validation phase are presented. In order to illustrate the defined approach, an industrial application of the methodology is presented
Keywords :
formal specification; program verification; software metrics; formal notation; industrial application; predictive metrics; software measurement activity; software metrics specification; software metrics validation; software metrics verification; software process evaluation; software process improvement; software product evaluation; software product improvement; Ambient intelligence; Application software; Coordinate measuring machines; Formal specifications; Particle measurements; SPICE; Software measurement; Software quality;
Conference_Titel :
High-Assurance Systems Engineering Workshop, 1997., Proceedings
Conference_Location :
Washington, DC
Print_ISBN :
0-8186-7971-9
DOI :
10.1109/HASE.1997.648047