High quality software starts with a high quality specification. Testing verifies the design. A sequence-based specification ensures a good design; it also aids the testing effort. Simulink control model testing is seen through the eyes of the user with a framework that automatically generates Markov chain test models from specifications, builds test cases with an oracle, and collects and analyzes statistical results. This is all done within the Matlab/Simulink environment. An embedded control system is used as a case study, demonstrating the framework's performance and how statistics can be analyzed to make decisions and isolate errors with propagating characteristics.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Automated functional testing of simulink control models


    Weitere Titelangaben:

    Automatischer Funktionstest von Simulink Regelungsmodellen


    Beteiligte:
    Carter, Jason M. (Autor:in) / Lin, Lan (Autor:in) / Poore, Jesse H. (Autor:in)


    Erscheinungsdatum :

    2008


    Format / Umfang :

    10 Seiten, 7 Bilder, 13 Quellen



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch





    Adding Natural Relationships to Simulink Models to Improve Automated Model-Based Testing

    Boden, L. / IEEE / AIAA | British Library Conference Proceedings | 2004


    Incorporating ISO 26262 Concepts in an Automated Testing Toolchain Using Simulink Design Verifier™

    Khastgir, Siddartha / Dhadyalla, Gunwant / Jennings, Paul | British Library Conference Proceedings | 2016


    Efficient Testing Framework for Simulink Models with MTCD and Automated Test Assessments in the Context of ISO 26262

    Pohlheim, Hartmut / Stürmer, Ingo / Rogalli, Jens et al. | SAE Technical Papers | 2014


    Incorporating ISO 26262 Concepts in an Automated Testing Toolchain Using Simulink Design Verifier™

    Dhadyalla, Gunwant / Jennings, Paul / Khastgir, Siddartha | SAE Technical Papers | 2016