论文信息 - From hardware to software testability

From hardware to software testability

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.

Yves Le Traon | Chantal Robach

[1] Roy S. Freedman,et al. Testability of Software Components , 1991, IEEE Trans. Software Eng..

[2] L. H. Goldstein,et al. SCOAP: Sandia Controllability/Observability Analysis Program , 1988, 17th Design Automation Conference.

[3] C. Robach,et al. Linking design and test tools: an implementation , 1989 .

[4] Jeffrey M. Voas,et al. Semantic metrics for software testability , 1993, J. Syst. Softw..

[5] Chantal Robach,et al. Computer Aided Testability Evaluation and Test Generation , 1983, ITC.

[6] L. H. Goldstein,et al. SCOAP: Sandia Controllability/Observability Analysis Program , 1980, 17th Design Automation Conference.

[7] Chantal Robach,et al. CATA: A Computer-Aided Test Analysis System , 1984, IEEE Design & Test of Computers.

[8] Anas N. Al-Rabadi,et al. A comparison of modified reconstructability analysis and Ashenhurst‐Curtis decomposition of Boolean functions , 2004 .

[9] C. Robach,et al. Using a VHDL description to generate hardware test , 1991 .

[10] Stephen Louis Kessler,et al. A Testability Measure. , 1983 .

[11] John Grason,et al. TMEAS, A Testability Measurement Program , 1979, 16th Design Automation Conference.

[12] Brian A. Nejmeh,et al. NPATH: a measure of execution path complexity and its applications , 1988, CACM.