Beim Modell basierten Testverfahren werden abstrakte Testmodelle entwickelt, die das Verhalten des zu testenden Systems beschreiben und mit deren Hilfe Testfälle erzeugt und ausgewählt werden. Es gibt jedoch eine wesentliche Schwierigkeit bei der Integration des modellbasierten Testens, insbesondere wenn es sich um Systeme beziehungsweise Schnittstellen handelt, die ein sogenanntes hybrides Verhalten aufweisen, das heißt sowohl ereignisdiskrete wie auch zeitkontinuierliches Verhalten beinhalten. Das Fraunhofer-Institut für Experimentelles Software Engineering IESE entwickelte hierfür eine Software namens Simotest, die eine modellbasierte Verifikation unter Anwendung der IEEE 1641 auch hybrider Modelle ermöglicht. Die Vorteile verdeutlichen die Autoren am Beispiel einer Lichtsteuerung. Die für das Beispiel benötigten Modelle wurden mit Matlab/Simulink erstellt.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Modulare Signalbeschreibungen für automatisierte Tests in modellbasierten Software-Entwicklungen


    Weitere Titelangaben:

    Modular signal description for automated testing for model based software developments


    Beteiligte:

    Erschienen in:

    ATZ-Elektronik ; 5 , 5 ; 54-58


    Erscheinungsdatum :

    2010


    Format / Umfang :

    5 Seiten, 3 Bilder, 5 Quellen



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Deutsch