• Graph representation benefits • Allows visual representation of the system states and transitions. • Monitors, fault logging and functions analysis. • Early consistence analysis of the requirement set: • Identification of semantic errors. • Undefined initial state. • Unreachable states (no incoming edges). • States with no edges outgoing (no disengagement requirement, a hidden error?). • Conflicting flight mode/stage engagement logics (priority undefined).


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Automatic generation of test cases for critical systems based on MC/DC criteria


    Beteiligte:


    Erscheinungsdatum :

    2013-10-01


    Format / Umfang :

    1138023 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Automatic generation of test cases for critical systems based on MC/DC criteria

    Almeida, Mateus Andrade / de Melo Bezerra, Juliana / Hirata, Celso Massaki | IEEE | 2013



    Model based safety analysis: Automatic generation of safety validation test cases

    Philip, Gracy / Dsouza, Meenakshi / Abidha, V P | IEEE | 2017


    Model-Based Testing: Automatic Generation of Test Cases, Test Data and Test Procedures from SysML Models

    Dahlweid, Markus / Brauer, Jörg / Peleska, Jan | British Library Conference Proceedings | 2015


    Model-Based Testing: Automatic Generation of Test Cases, Test Data and Test Procedures from SysML Models

    Peleska, Jan / Brauer, Jörg / Dahlweid, Markus | SAE Technical Papers | 2015