Testability measurements for data flow designs

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.

[1]  Jeffrey M. Voas,et al.  PIE: A Dynamic Failure-Based Technique , 1992, IEEE Trans. Software Eng..

[2]  Yves Le Traon,et al.  Towards a unified approach to the testability of co-designed systems , 1995, Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95.

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

[4]  Chantal Robach,et al.  Testability measures: A Review , 1988, Comput. Syst. Sci. Eng..

[5]  Douglas T. Ross,et al.  Structured Analysis for Requirements Definition , 1977, IEEE Transactions on Software Engineering.

[6]  Yves Le Traon,et al.  Impact of System Partitioning on Test Cost , 1997, IEEE Des. Test Comput..

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

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

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

[10]  Yves Le Traon,et al.  From hardware to software testability , 1995, Proceedings of 1995 IEEE International Test Conference (ITC).

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