Aerospace safety-critical software development demands a rigorous verification and validation process, for instance the use of MC/DC (Modified Condition/Decision Coverage) as requirements' coverage criteria. Although the MC/DC may reduce the number of test cases, the definition of test cases is still demanding in terms of effort, given the quantity of requirements that a critical system may have. We propose an approach to generate MC/DC test cases automatically from requirements written in XML format. The requirements include system functionalities expressed by state transitions triggered by Boolean expressions. We developed a prototype that implements the proposed approach and used it in an example of a real avionic system. The proposed approach was found to be very useful to reduce time and effort during the definition of test cases.


    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




    Erscheinungsdatum :

    2013-10-01


    Format / Umfang :

    269390 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



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

    Almeida, Mateus A. / 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