Automated Model-based Test Generation for Timed Systems, Fachbücher von Elisangela Vieira

Das Buch "Automated Model-based Test Generation for Timed Systems" bietet eine umfassende Einführung in die modellbasierte Testgenerierung, insbesondere im Kontext zeitabhängiger Systeme. Es beleuchtet die Herausforderungen, die mit der automatisierten Testgenerierung verbunden sind, insbesondere die Problematik der kombinatorischen Explosion, die die praktische Anwendbarkeit der meisten bestehenden Lösungen einschränkt. Der Autor, Elisangela Vieira, stellt verschiedene Modelle und Spezifikationssprachen vor und diskutiert Ansätze zur Testgenerierung, die speziell auf zeitliche Einschränkungen eingehen. Durch die Analyse von zwei realen industriellen Anwendungen, einem Bahnübergang und einem Sprachdienst von France Telecom, wird die Effizienz und Anwendbarkeit der vorgeschlagenen Methoden veranschaulicht. Dieses Fachbuch richtet sich an Fachleute und Studierende, die sich mit der Testgenerierung in zeitabhängigen Systemen beschäftigen.