Es wird eine Methode für die Generierung von Spezifikationsmodellen auf Basis formalisierter Anforderungen für modellbasierte Testprozesse vorgestellt. Diese wird mit Methoden der Testgenerierung sowie -priorisierung verknüpft, um systematisch und effizient zu priorisierten Testfällen zu gelangen. Ein modular aufgebauter, konfigurierbarer Testadapter ermöglicht die Ausführung generierter Testfolgen für verschiedene Kommunikationsschnittstellen. Das Ergebnis ist ein effizienter Testprozess, der ein schnelles Feedback für den Testingenieur bei der Testdurchführung verspricht. Gleichzeitig kann der Aufwand für die Erstellung sowie Wartung erforderlicher Modelle sowie für die Testdurchführung reduziert werden. Anhand eines Beispiels aus der industriellen Automation wird die Anwendung der Methoden vorgestellt und evaluiert.     «

Es wird eine Methode für die Generierung von Spezifikationsmodellen auf Basis formalisierter Anforderungen für modellbasierte Testprozesse vorgestellt. Diese wird mit Methoden der Testgenerierung sowie -priorisierung verknüpft, um systematisch und effizient zu priorisierten Testfällen zu gelangen. Ein modular aufgebauter, konfigurierbarer Testadapter ermöglicht die Ausführung generierter Testfolgen für verschiedene Kommunikationsschnittstellen. Das Ergebnis ist ein effizienter Testprozess, der e...     »