Criteria for generating specification-based tests
- 20 January 2003
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 6, 119-129
- https://doi.org/10.1109/iceccs.1999.802856
Abstract
This paper presents general criteria for generating test inputs from state-based specifications. Software testing can only be formalized and quantified when a solid basis for test generation can be defined. Formal specifications of complex systems represent a significant opportunity for testing because they precisely describe what functions the software is supposed to provide in a form that can easily be manipulated. These techniques provide coverage criteria that are based on the specifications, and are made up of several parts, including test prefixes that contain inputs necessary to put the software into the appropriate state for the test values. The test generation process includes several steps for transforming specifications to tests. Empirical results from a comparative case study application of these criteria are presented.Keywords
This publication has 25 references indexed in Scilit:
- Automating the generation and sequencing of test cases from model-based specificationsPublished by Springer Nature ,2005
- Tools for formal specification, verification, and validation of requirementsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Generating test data from SOFL specificationsJournal of Systems and Software, 1999
- A framework for specification-based testingIEEE Transactions on Software Engineering, 1996
- Automatically generating test data from a Boolean specificationIEEE Transactions on Software Engineering, 1994
- Case studies on testing object-oriented programsPublished by Association for Computing Machinery (ACM) ,1991
- Automated test case generation for programs specified by relational algebra queriesIEEE Transactions on Software Engineering, 1990
- An applicable family of data flow testing criteriaIEEE Transactions on Software Engineering, 1988
- Specification directed module testingIEEE Transactions on Software Engineering, 1986
- Data Abstraction, Implementation, Specification, and TestingACM Transactions on Programming Languages and Systems, 1981