Domain based testing (DBT) is a test generation method based on two concepts from software reuse, the domain analysis and domain modeling. Instead of using domain models for reuse, they serve as a structure to generate tests. In general, DBT forms a family of test generation methods. Each member of the family defines a domain analysis and a domain model for each problem domain or class of software. To show these principles, we define a domain analysis and domain model for systems with a command-language interface. The analysis exploits information from the command language, and the domain model stores syntax and semantic information needed for test case generation. We develop a four-part test generation process model to support automated test generation. We also describe an interactive test generation tool called Sleuth. Sleuth supports domain based testing, follows our test process model, and provides utilities to reuse test cases.<>
The Sleuth approach to aerospace software testing
1995 IEEE Aerospace Applications Conference. Proceedings ; 2 ; 61-75 vol.2
1995-01-01
1030744 byte
Conference paper
Electronic Resource
English
The Sleuth Approach to Aerospace Software Testing
British Library Conference Proceedings | 1995
|Experiences with automated system testing and sleuth
IEEE | 1996
|Experiences with Automated System Testing and SLEUTH
British Library Conference Proceedings | 1996
|Aerospace Software Testing Techniques
AIAA | 2013
|Whodunnit? The Case of the Optical Sleuth
British Library Online Contents | 1993
|