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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Automated functional testing of simulink control models


    Additional title:

    Automatischer Funktionstest von Simulink Regelungsmodellen


    Contributors:


    Publication date :

    2008


    Size :

    10 Seiten, 7 Bilder, 13 Quellen



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English





    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