Testability analysis for software components

In this paper, we propose to use the static single assignment form, which was originally proposed for code optimization in compilation techniques, in order to transform software components into a data-flow representation. Thus, hardware testability concepts can be used to analyze the testability of components that are described by C or Ada programs. Such a testability analysis helps designers during the specification phases of their components and testers during the testing phases to evaluate and eventually to modify the design.

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

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

[3]  Elaine J. Weyuker,et al.  Selecting Software Test Data Using Data Flow Information , 1985, IEEE Transactions on Software Engineering.

[4]  Glenford J. Myers,et al.  Art of Software Testing , 1979 .

[5]  Mark N. Wegman,et al.  Efficiently computing static single assignment form and the control dependence graph , 1991, TOPL.

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

[7]  Abdelaziz Dammak.  Étude de mesures de testabilité de systèmes logiques , 1985 .

[8]  Yves Le Traon,et al.  Testability measurements for data flow designs , 1997, Proceedings Fourth International Software Metrics Symposium.

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

[10]  Yves Le Traon,et al.  Analyzing testability on data flow designs , 2000, Proceedings 11th International Symposium on Software Reliability Engineering. ISSRE 2000.

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

[12]  IEEE Transactions on Software Engineering, Vol. 28 , 2002 .

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