Model Based Testing for Real-Time Systems, Fachbücher von Moez Krichen

Das Buch "Model Based Testing for Real-Time Systems" von Moez Krichen bietet eine umfassende Untersuchung des modellbasierten Testens in Echtzeitsystemen. Es behandelt zwei Hauptprobleme: die Identifikation von Zuständen und das Black-Box-Konformitätstesten. Im ersten Teil wird erläutert, wie man Experimente anwendet, um den anfänglichen unbekannten Zustand einer Maschine zu identifizieren oder den Endzustand zu bestimmen, in den die Maschine übergegangen ist. Der zweite Teil konzentriert sich auf die Überprüfung, ob eine Maschine ihrem Modell entspricht, wobei sowohl analoge als auch digitale Tests berücksichtigt werden. Das Buch bietet auch innovative Techniken zur Abdeckung von Spezifikationen und berichtet über ein Prototyp-Tool sowie vier Fallstudien, die verschiedene Anwendungen des modellbasierten Testens demonstrieren.