Recently model checkers have been applied to software areas such as analyzing protocols and algorithms, measuring test adequacy, and generating abstract tests from formal models. When using model checkers to generate tests, the generated tests are execution traces of the models. Thus the type, occurrence, and order of variables, calls, and events in the execution traces are intimately tied to the choice of modeling representation. We briefly review how to use a model checker to generate tests from a high-level representation, such as MATLAB(R), UML, or SCR. Since the model checker uses a particular general model, the analyst has choices about how a piece of software may be modeled. We list some choices and discuss their advantages and disadvantages. We also describe a program to marshal model variables from resultant model checker traces and translate them into function calls, program variables, and other software artifacts.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Modeling and marshaling: making tests from model checker counterexamples


    Beteiligte:
    Black, P.E. (Autor:in)


    Erscheinungsdatum :

    01.01.2000


    Format / Umfang :

    463062 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Modeling and Marshaling: Making Tests from Model Checker Counterexamples

    Black, P. E. / IEEE / AIAA | British Library Conference Proceedings | 2000


    Hourcade marshaling yard

    Rabat, J. / Theureau, G. | Engineering Index Backfile | 1967


    Commutation circuit, flexible marshaling unit and flexible marshaling method

    WU MINGYANG / ZHANG CHUNYU / GAO CHUNHAI | Europäisches Patentamt | 2022

    Freier Zugriff

    METHOD AND SYSTEM FOR MARSHALING DOWNLINK COVERAGE

    AHMAD SYED AMAAR / BANDI KRISHNA / URHAHNE JOSEPH ANDREAS | Europäisches Patentamt | 2025

    Freier Zugriff

    SYSTEM AND METHOD TO VALIDATE MARSHALING INSTRUCTIONS RECEIVED BY INFRASTRUCTURE ENABLED MARSHALING SYSTEM

    BANDI KRISHNA / MENON MEGHNA / SANTILLO MARIO ANTHONY et al. | Europäisches Patentamt | 2024

    Freier Zugriff