Test template framework
- 1 July 1993
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 18 (3) , 11-18
- https://doi.org/10.1145/154183.154190
Abstract
A framework for specification-based testing is demonstrated on a symbol table case study, specified using the Z notation. Test derivation and structuring is discussed, as well as applications of the framework in deriving test oracles and aiding regressing testing during maintenance. Areas for further research and discussion are comparison of heuristics with regard to generated test suites and usability, formalising testing heuristics, and the discrepancy between functional testing and robustness testing.Keywords
This publication has 5 references indexed in Scilit:
- Specification-based test oracles for reactive systemsPublished by Association for Computing Machinery (ACM) ,1992
- Software testing based on formal specifications: a theory and a toolSoftware Engineering Journal, 1991
- Automated module testing in PrologIEEE Transactions on Software Engineering, 1991
- Test sets generation from algebraic specifications using logic programmingJournal of Systems and Software, 1986
- Specification directed module testingIEEE Transactions on Software Engineering, 1986