The Sleuth approach to aerospace software testing

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