In diesem Beitrag wurde ein neuer Ansatz zur formalen Testdaten-Ermittlung auf Grundlage heterogener Signalflusspläne mit sowohl kontinuierlichen als auch diskreten Elementen vorgestellt. Der Ansatz eignet sich zur Ermittlung von Referenzvergleichstests im Kontext einer modellbasierten Entwicklung von Automatisierungssoftware, wie beispielsweise im Automobilbereich, und eröffnet neben einer reproduzierbaren definierten Testgüte auch die Möglichkeit zur Testdaten-Generierung. Kern des Ansatzes ist ein Formalismus, um auf Grundlage festgelegter Mutationsbetrachtungen aus der Modellinformation eines Signalflussplans formal Testdaten-Anforderungen in Form eines Constraint-Netzwerks abzuleiten. Testdaten, welche das Constraint-Netzwerk erfüllen, werden als hinreichend betrachtet. Zur Ermittlung eines Constraint-Netzwerks werden Testdaten-Constraints verwendet, welche zu jeder Blockfunktion bestimmt und in einem Katalog abgelegt werden.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Modellbasiertes Testen von eingebetteter Software: Ein Ansatz auf Grundlage von Signalflussplänen


    Weitere Titelangaben:

    Model based testing of embedded software: a method based on signal flow plans


    Beteiligte:
    Linder, Paul (Autor:in)


    Erscheinungsdatum :

    2004


    Format / Umfang :

    8 Seiten, 5 Bilder, 12 Quellen



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Deutsch




    Modellbasiertes Testen bei Infotainmentsystemen

    Meyer, Jürgen / Werner, Andreas / Bichler, Lutz | Tema Archiv | 2006


    Ein Ansatz für Augmented Reality-basiertes systematisches Testen eingebetteter Systeme

    Radkowski, Rafael / Krupp, Alexander / Vöcking, Henner | Tema Archiv | 2008


    Modellbasiertes Testen verteilter Automatisierungssysteme mittels Informationsflussverfolgung

    Jovalekic, S. / Rist, B. / VDI-Gesellschaft Fahrzeug- und Verkehrstechnik | British Library Conference Proceedings | 2007



    Modellbasiertes Testen des Fahrspur Assistenten von Ford

    Gunia,D. / Schueling,J. / Ford-Werke,Koeln,DE et al. | Kraftfahrwesen | 2011