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.<>


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    The Sleuth approach to aerospace software testing


    Contributors:


    Publication date :

    1995-01-01


    Size :

    1030744 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    The Sleuth Approach to Aerospace Software Testing

    Von Mayrhauser, A. / Mraz, R. / IEEE; Aerospace and Electronics Systems Society | British Library Conference Proceedings | 1995


    Experiences with automated system testing and sleuth

    Figliulo, T. / von Mayrhauser, A. / Shumway, M. et al. | IEEE | 1996


    Experiences with Automated System Testing and SLEUTH

    Von Mayrhauser, A. / Shumway, M. / Figliulo, T. et al. | British Library Conference Proceedings | 1996


    Aerospace Software Testing Techniques

    Briggs, Fred C. | AIAA | 2013


    Whodunnit? The Case of the Optical Sleuth

    Reiss, S. M. | British Library Online Contents | 1993