The Simulink model tester "global assertions" capability developed by the software productivity consortium and T-VEC technologies is described in This work. This assertions mechanism incorporates design assumptions or natural relationships with Simulink models to automatically generate more valid test vectors using the test automation framework approach. The positive impact this mechanism has on the development and testing of Simulink models for the Lockheed Martin space system's independent verification and validation team is also discussed.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Adding natural relationships to Simulink models to improve automated model-based testing


    Contributors:
    Boden, L.M. (author) / Busser, R.D. (author)


    Publication date :

    2004-01-01


    Size :

    708031 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



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

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


    Automated functional testing of simulink control models

    Carter, Jason M. / Lin, Lan / Poore, Jesse H. | Tema Archive | 2008


    Model database for complex simulink models

    Schlüter, Wolfgang / Kvasnicka, Pavel / Kämpf, Bernhard | Tema Archive | 2005


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

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


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

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