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.
Modellbasiertes Testen von eingebetteter Software: Ein Ansatz auf Grundlage von Signalflussplänen
Model based testing of embedded software: a method based on signal flow plans
2004
8 Seiten, 5 Bilder, 12 Quellen
Conference paper
German
Modellbasiertes Testen bei Infotainmentsystemen
Tema Archive | 2006
|Ein Ansatz für Augmented Reality-basiertes systematisches Testen eingebetteter Systeme
Tema Archive | 2008
|Modellbasiertes Testen des Fahrspur-Assistenten von Ford
Online Contents | 2011
|Modellbasiertes Testen verteilter Automatisierungssysteme mittels Informationsflussverfolgung
British Library Conference Proceedings | 2007
|Modellbasiertes Testen des Fahrspur Assistenten von Ford
Automotive engineering | 2011
|