As vehicle control software becomes larger and more complex, it is increasingly important to improve the efficiency of the software development process. This study developed search-based testing technology to increase the efficiency of the validation process. Search-based testing can generate dynamic test data automatically, but it tends to overlook the generation of correct test data to detect problems when the software has many branches and paths. To resolve this problem, a method was devised that combines search-based testing [1] and formal methods such as model checking. This paper describes this method and shows application examples of engine control.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Validation of Control Software by Search-Based Testing Using Formal Methods


    Weitere Titelangaben:

    Sae Technical Papers


    Beteiligte:

    Kongress:

    SAE 2016 World Congress and Exhibition ; 2016



    Erscheinungsdatum :

    05.04.2016




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Validation of Control Software by Search-Based Testing Using Formal Methods

    Kobuna, Shunsuke / Kaga, Tomoyuki / Yamaguchi, Tomoya | British Library Conference Proceedings | 2016


    Formal Validation of Aerospace Software

    Lesens, D. / Moy, Y. / Kanig, J. et al. | British Library Conference Proceedings | 2013


    Integrated Formal Verification and Validation of Safety Critical Software

    Ward, N. J. / North Atlantic Treaty Organization | British Library Conference Proceedings | 1993


    Formal methods in software engineering

    Hird, G.R. | Tema Archiv | 1990


    Validation of Software Testing Results for Real-Time Vehicle Control Software

    Segal, Andrew C. / Michael, James B. / Patwardhan, Satyajit | SAE Technical Papers | 1995