We describe a framework for model-based analysis and test case generation in the context of a heterogeneous model-based development paradigm that uses and combines MathWorks and UML 2.0 models and the associated code generation tools. This paradigm poses novel challenges to analysis and test case generation that, to the best of our knowledge, have not been addressed before. The framework is based on a common intermediate representation for different modeling formalisms and leverages and extends model checking and symbolic execution tools for model analysis and test case generation, respectively. We discuss the application of our framework to software models for a NASA flight mission.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Model Based Analysis and Test Generation for Flight Software


    Beteiligte:
    Pasareanu, Corina S. (Autor:in) / Schumann, Johann (Autor:in) / Mehlitz, Peter (Autor:in) / Lowry, Mike (Autor:in) / Karsai, Gabor (Autor:in) / Nine, Harmon (Autor:in) / Neema, Sandeep (Autor:in)


    Erscheinungsdatum :

    01.07.2009


    Format / Umfang :

    441869 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Model Based Analysis and Test Generation for Flight Software

    Pasareanu, Corina S. / Schumann, Johann M. / Mehlitz, Peter C. et al. | NTRS | 2009


    Flight control software for test generation

    Rung, E.R. / Thelen, K.H. | Tema Archiv | 1986


    Viewpoint-Based Test Analysis for Dependable Onboard Flight Software

    Mori, Takao / Iwasaki, Shinya / Ujihara, Shohgo et al. | IEEE | 2009


    Loran-C flight test software

    Nickum, J. D. | NTRS | 1978


    UML for Validation: Experimenting Automatic Test Generation for Flight Software Validation

    Hyounet, P. / Pouly, J. / European Space Agency | British Library Conference Proceedings | 2009