Title :
Testability measurements for data flow designs
Author :
Le Traon, Yves ; Robach, Chantal
Author_Institution :
LCIS-ESISAR, Valence, France
Abstract :
The paper focuses on data flow designs. It presents a testability measurement based on the controllability/observability pair of attributes. A case study provided by AEROSPATIALE illustrates the testability analysis of an embedded data flow design. Applying such an analysis during the specification stage allows detection of weaknesses and appraisal of improvements in terms of testability
Keywords :
data flow analysis; formal specification; program testing; software metrics; AEROSPATIALE; case study; controllability/observability attributes; data flow designs; embedded data flow design; specification stage; testability analysis; testability measurements; Appraisal; Controllability; Fault detection; Fluid flow measurement; Hardware; Life testing; Observability; Phase detection; Software quality; Software testing;
Conference_Titel :
Software Metrics Symposium, 1997. Proceedings., Fourth International
Conference_Location :
Albuquerque, NM
Print_ISBN :
0-8186-8093-8
DOI :
10.1109/METRIC.1997.637169
