SIGNAL+DRAHT | Issue 07-08/2019
Test von Zustandsautomaten zur Verifikation und Abnahme
Mit zunehmender Komplexität von Systemen wird das ausführliche Testen immer wichtiger, insbesondere bei Verkehrssystemen, bei denen Fehler Menschenleben gefährden. Die Initiative EULYNX hat sich dafür entschieden, das Testen der Zustandsautomaten bereits in der Spezifikationsphase begleitend durchzuführen. Die Zustandsautomaten ermöglichen eine vollständige und eindeutige Definition des Systemverhaltens. Die daraus resultierenden Vorteile der Zustandsautomaten können auch in der nachfolgenden Systemabnahme durch automatisierte Testspezifikation weiteren Einsatz finden...