In areas such as railway transportation which need to ensure strict safety, Modified Condition/Decision Coverage(MC/DC) is always applied instead of traditional coverage criteria in software testing and more test cases of high quality are required. Aiming at the white-box unit testing of railway transportation control software, this paper proposes an automatic test case generation scheme for MC/DC coverage. Based on the mapping from MC/DC coverage to branch coverage, the scheme automatically generates test cases which achieves the highest MC/DC coverage of testing unit, so as to help testers detect the potential code defects due to which 100% MC/DC cannot be reached.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Automating Test Case Generation Based on Symbolic Execution for Railway Transportation Control Software


    Beteiligte:
    Qiu, Zhaoyang (Autor:in) / Li, Xueliang (Autor:in) / Qin, Chang (Autor:in) / Chen, Sai (Autor:in)


    Erscheinungsdatum :

    2023-10-11


    Format / Umfang :

    3841770 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch





    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