Testing for the achievement of software reliability

Abstract This paper assesses the techniques used to achieve software reliability and tries to establish why some attempts have been successful and why others have not. The purpose is to clarify where progress needs to be made and to highlight the limitations of various techniques.

[1]  Donald E. Knuth,et al.  An empirical study of FORTRAN programs , 1971, Softw. Pract. Exp..

[2]  Michael A. Hennell,et al.  An Experimental Testbed for Numerical Software , 1978, Comput. J..

[3]  Harlan D. Mills,et al.  Certifying the reliability of software , 1986, IEEE Transactions on Software Engineering.

[4]  Mark Weiser,et al.  Comparison of Structural Test Coverage Metrics , 1985, IEEE Software.

[5]  Michael A. Hennell,et al.  A Static Analysis of the NAG Library , 1980, IEEE Transactions on Software Engineering.

[6]  William E. Howden.  The Theory and Practice of Foundation Testing , 1985, IEEE Software.

[7]  Simeon C. Ntafos,et al.  An evaluation of required element testing strategies , 1984, ICSE '84.

[8]  Lee J. White,et al.  Experiments determining best paths for testing computer program predicates , 1985, ICSE '85.

[9]  Elaine J. Weyuker.  The Complexity of Data Flow Criteria for Test Data Selection , 1984, Inf. Process. Lett..

[10]  Martin R. Woodward,et al.  Experience with Path Analysis and Testing of Programs , 1980, IEEE Transactions on Software Engineering.

[11]  Michael A. Hennell,et al.  Assessing a class of software tools , 1984, ICSE '84.

[12]  Michael A. Hennell,et al.  The causes and effects of infeasible paths in computer programs , 1985, ICSE '85.

[13]  Martin R. Woodward,et al.  An integrated system for program testing using weak mutation and data flow analysis , 1985, ICSE '85.

[14]  Simeon C. Ntafos,et al.  A report on random testing , 1981, ICSE '81.

[15]  William E. Howden,et al.  Weak Mutation Testing and Completeness of Test Sets , 1982, IEEE Transactions on Software Engineering.

[16]  M. U. Shaikh,et al.  Functional testing , 1986 .