When using tools to automatically generate tests-suites from a specification, the selection of coverage criterion that guides the generation process is of imperative importance. In a previous study that evaluated test generation with model checking, we observed that although a coverage criterion may seem reasonable when instrumenting a model or code to measure the adequacy of a test suite, it may be unsuitable when formalized and used to guide the model checker to generate a test suite; the generated tests technically provide adequate coverage according to the formalization, but do so in a way that exercises only small portions of the system under study and finds few faults. Based on those results, we concluded that fully automated test-suite generation techniques must be pursued with great caution and that coverage criteria specifically addressing test-suite generation from formal specifications are needed. In this report, we attempt to better understand these concerns by evaluating several coverage criteria that bring together aspects from condition and control based criteria. We evaluate the fault finding capability of the criteria on a close to production flight guidance system and discuss the opportunities and challenges that arise from the increased use of fully automated model-based testing.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Coverage-directed test generation with model checkers: challenges and opportunities


    Beteiligte:
    Devaraj, G. (Autor:in) / Heimdahl, M.P.E. (Autor:in) / Liang, Donglin (Autor:in)


    Erscheinungsdatum :

    2005


    Format / Umfang :

    8 Seiten, 18 Quellen




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Editorial - Chinese checkers

    Online Contents | 2003


    Real-time checkers: built-in-test for mission-critical software

    Shreve, D.C. / Mellema, D.J. / Boettcher, C.B. | Tema Archiv | 1997


    Real-Time Checkers: Built-In-Test for Mission-Critical Software

    Shreve, D. C. / Mellema, D. J. / Boettcher, C. B. et al. | British Library Conference Proceedings | 1997


    `Checkers' - Highly Efficient Derivative-Free Optimization

    Belitz, Paul / Bewley, Thomas | AIAA | 2008