By Topic

The Sleuth approach to aerospace software testing

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
von Mayrhauser, A. ; Dept. of Comput. Sci., Colorado State Univ., Fort Collins, CO, USA ; Mraz, R.

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

Published in:

Aerospace Applications Conference, 1995. Proceedings., 1995 IEEE

Date of Conference:

4-11 Feb 1995