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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:
    Boden, L.M. (Autor:in) / Busser, R.D. (Autor:in)


    Erscheinungsdatum :

    01.01.2004


    Format / Umfang :

    708031 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    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 Archiv | 2008


    Simulink model testing method based on program mutation

    Zhou, Yibin / Yin, Yongfeng / Li, Xiaodan et al. | British Library Online Contents | 2015


    Model database for complex simulink models

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


    Building Simulink Linear Models

    Colgren, Richard | AIAA | 2007