The significant expansion of autonomous control and information processing capabilities in the coming generation of mission software systems results in a qualitatively larger space of behaviors that needs to be "covered" during testing, not only at the system level but also at subsystem and unit levels. A major challenge in this area is to automatically generate a relatively small set of test cases that, collectively, guarantees a selected degree of coverage of the behavior space. This paper describes an algorithm for a parametric test case generation tool that applies a combinatorial design approach to the selection of candidate test cases. Evaluation of this algorithm on test parameters from the Deep Space One mission reveals a valuable reduction in the number of test cases, when compared to an earlier home-brewed generator.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Automating test case generation for the new generation mission software system


    Contributors:


    Publication date :

    2000-01-01


    Size :

    651882 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Automating Test Case Generation for the New Generation Mission Software System

    tung, Y.-W. / Aldiwan, W. S. / Institute of Electrical and Electronics Engineers | British Library Conference Proceedings | 2000




    Automating planetary mission operations

    DeJong, E. M. / McGuffie, B. A. / Levoe, S. R. et al. | NTRS | 2003


    Automating Test Case Generation for Coverages Required by FAA Standard DO-178B

    Voas, J. / Payne, J. / Miller, K. et al. | British Library Conference Proceedings | 1993