Supporting testing of specifications and implementations

Abstract A system is presented that can generate tests from the specification of a computer program. It requires some information from the user to avoid combinatorial explosion. The tests are used to test both the specification and the implementation. Two methods are presented for transforming the tests to a form suitable for testing the implementation. An experiment indicates that the test case generation methods are fairly effective.

[1]  Richard G. Hamlet,et al.  Data Abstraction, Implementation, Specification, and Testing , 1981, TOPL.

[2]  Richard Schooler,et al.  Independent testing of compiler phases using a test case generator , 1989, Softw. Pract. Exp..

[3]  Pankaj Jalote,et al.  Automated testcase generation for data abstraction , 1988, Proceedings COMPSAC 88: The Twelfth Annual International Computer Software & Applications Conference.

[4]  A. G. Duncan,et al.  Using attributed grammars to test designs and implementations , 1981, ICSE '81.

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

[6]  Laurent Fribourg,et al.  Application of Prolog to Test Sets Generation from Algebraic Specifications , 1985, TAPSOFT, Vol.2.

[7]  Pankaj Jalote,et al.  Testing the Completeness of Specifications , 1989, IEEE Trans. Software Eng..