Approaches to Speci cation-Based Testing

Current software testing practices focus, almost exclusively, on the implementation, despite widely acknowledged bene ts of testing based on software speci cations. We propose approaches to speci cation-based testing by extending a wide variety of implementation-based testing techniques to be applicable to formal speci cation languages. We demonstrate these approaches for the Anna and Larch speci cation languages.

[1]  Lori A. Clarke,et al.  Partition Analysis: A Method Combining Testing and Verification , 1985, IEEE Transactions on Software Engineering.

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

[3]  S. L. Gerhart,et al.  Toward a theory of test data selection , 1975, IEEE Transactions on Software Engineering.

[4]  Lori A. Clarke,et al.  Testing techniques based on symbolic evaluation , 1986 .

[5]  Laurent Fribourg,et al.  Test sets generation from algebraic specifications using logic programming , 1986, J. Syst. Softw..

[6]  Flavio R. Dias Velasco.  A method for test data selection , 1987, J. Syst. Softw..

[7]  John S. Gourlay.  A Mathematical Framework for the Investigation of Testing , 1983, IEEE Transactions on Software Engineering.

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

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

[10]  Harlan D. Mills,et al.  Theory of Modules , 1987, IEEE Transactions on Software Engineering.

[11]  Jeannette M. Wing.  A TWO-TIERED APPROACH TO SPECIFYING PROGRAMS , 1983 .

[12]  Lee J. White,et al.  A Domain Strategy for Computer Program Testing , 1980, IEEE Transactions on Software Engineering.

[13]  Debra J. Richardson,et al.  The RELAY model of error detection and its application , 1988, [1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis.

[14]  Lori A. Clarke,et al.  TEAM: a support environment for testing, evaluation, and analysis , 1988, SDE 3.

[15]  Olaf Owe,et al.  ANNA A Language for Annotating Ada Programs , 1987, Lecture Notes in Computer Science.

[16]  J. Laski.  Testing in top-down program development , 1988, [1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis.

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

[18]  Lori A. Clarke,et al.  A partition analysis method to increase program reliability , 1981, ICSE '81.

[19]  Debra J. Richardson,et al.  A New Model for Error Detection , 1986 .

[20]  Richard A. Kemmerer,et al.  Testing Formal Specifications to Detect Design Errors , 1985, IEEE Transactions on Software Engineering.

[21]  William E. Howden,et al.  A functional approach to program testing and analysis , 1986, IEEE Transactions on Software Engineering.

[22]  Lori A. Clarke,et al.  A Formal Evaluation of Data Flow Path Selection Criteria , 1989, IEEE Trans. Software Eng..