DocumentCode
2407207
Title
Testability measurements for data flow designs
Author
Le Traon, Yves ; Robach, Chantal
Author_Institution
LCIS-ESISAR, Valence, France
fYear
1997
fDate
5-7 Nov 1997
Firstpage
91
Lastpage
98
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Metrics Symposium, 1997. Proceedings., Fourth International
Conference_Location
Albuquerque, NM
Print_ISBN
0-8186-8093-8
Type
conf
DOI
10.1109/METRIC.1997.637169
Filename
637169
Link To Document