The evaluation of program-based software test data adequacy criteria

In earlier work, a preliminary set of axioms for software test data adequacy was introduced in order to formalize properties which should be satisfied by any good program-based adequacy criterion. Here, we extend this work by augmenting the set with additional axioms which substantially strengthen the set. In doing so, we rule out several types of unsuitable notions of adequacy.

[1]  Richard G. Hamlet,et al.  Testing Programs with the Aid of a Compiler , 1977, IEEE Transactions on Software Engineering.

[2]  E. J. Weyuker.  An empirical study of the complexity of data flow testing , 1988, [1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis.

[3]  Elaine J. Weyuker,et al.  Metric Space- Based Test-Data Adequacy Criteria , 1988, Comput. J..

[4]  Glenford J. Myers,et al.  Software Reliability: Principles and Practices , 1976 .

[5]  Glenford J. Myers,et al.  Softwear Reliability , 1976 .

[6]  Gary L. Miller,et al.  Isomorphism of k-Contractible Graphs. A Generalization of Bounded Valence and Bounded Genus , 1983, Inf. Control..

[7]  Elaine J. Weyuker,et al.  Theories of Program Testing and the Application of Revealing Subdomains , 1980, IEEE Transactions on Software Engineering.

[8]  Elaine J. Weyuker,et al.  Computability, complexity, and languages - fundamentals of theoretical computer science , 2014, Computer science and applied mathematics.

[9]  C. A. R. Hoare,et al.  Laws of programming , 1987, CACM.

[10]  Richard J. Lipton,et al.  Hints on Test Data Selection: Help for the Practicing Programmer , 1978, Computer.

[11]  J. D. Musa,et al.  Criteria for software reliability model comparisons , 1983, SOEN.

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

[13]  Elaine J. Weyuker,et al.  Axiomatizing software test data adequacy , 1986, IEEE Transactions on Software Engineering.

[14]  Elaine J. Weyuker,et al.  A Formal Notion of Program-Based Test Data Adequacy , 1983, Inf. Control..

[15]  Elaine J. Weyuker,et al.  Evaluating Software Complexity Measures , 2010, IEEE Trans. Software Eng..