Title :
From hardware to software testability
Author :
Le Traon, Yves ; Robach, Chantal
Author_Institution :
Lab. de Genie Inf., IMAG, Grenoble, France
Abstract :
This paper presents the application of some hardware testability concepts to data-flow software. Testability is concerned with three difficulties: generating test sets, interpreting test results and diagnosing faults. This threefold aspect of testability is discussed and estimates are proposed
Keywords :
automatic test software; computer aided software engineering; data flow graphs; fault diagnosis; program testing; software performance evaluation; software reliability; SATAN tool; bipartite directed graph; computer aided specification diagram; data-flow software; diagnosing faults; embedded software; executable specifications; generating test sets; hardware testability; information transfer graph; interpreting test results; software modelling; software testability; Aerospace electronics; Application software; Circuit testing; Controllability; Embedded software; Hardware; Observability; Software measurement; Software testing; System testing;
Conference_Titel :
Test Conference, 1995. Proceedings., International
Conference_Location :
Washington, DC
Print_ISBN :
0-7803-2992-9
DOI :
10.1109/TEST.1995.529901