Title :
Testability analysis of co-designed systems
Author :
Le Traon, Yves ; Robach, Chantal
Author_Institution :
LGI-IMAG, Grenoble, France
Abstract :
This paper focus on the testability analysis of co-designed data-flow specifications. The co-designed specification level implies a high level testability analysis, independent of the implementation choices. With respect to testability, the difficulties of generating test sets, detecting and diagnosing faults are discussed and estimates are proposed. A hardware modelling, based on information transfers and called the Information Transfer Graph, is adapted to the specifications. A real case study supplied by Aerospatiale illustrates all the evaluations
Keywords :
automatic test software; computer aided software engineering; data flow analysis; data flow graphs; formal specification; hardware description languages; program testing; SATAN tool; all-nodes criterion; all-paths criterion; avionics systems; bipartite directed graph; co-designed data-flow specifications; computer assisted specification diagram; diagnosis quality factor; fault diagnosis; functional specification; hardware modelling; high level testability analysis; information transfer graph; multiple clue strategy; software components testability; start big strategy; test set generation; testability analysis; Circuit testing; Controllability; Costs; Fault detection; Hardware; Maintenance; Observability; Software measurement; Software testing; System testing;
Conference_Titel :
Test Symposium, 1995., Proceedings of the Fourth Asian
Conference_Location :
Bangalore
Print_ISBN :
0-8186-7129-7
DOI :
10.1109/ATS.1995.485338
