Das Testen von Embedded Systemen wird mit zunehmender Komplexität erheblich schwerer.
Es stellen sich hierbei hauptsächlich drei Fragen.

Erstens: Wie spezifiziert man das erwünschte oder unerwünschte Verhalten? Zweitens: Wie erzeugt man daraus Tests, die mit hoher Wahrscheinlichkeit fehlerhaftes Verhalten entdecken? Drittens: Wie findet man Fehler, die erst beim Einsatz des Systems auftreten, z.B. durch fehlerhafte Verwendung oder Umgebungsbedingungen?

In vielen Fällen kann man diese Fragen recht elegant durch den Einsatz von Contracts beantworten. Design by Contract (DbC) wurde entwickelt und eingeführt durch Bertrand Meyer. DbC erlaubt die Definition formaler Verträge für Schnittstellen und Verhalten von Software-Komponenten.

Erweiterungen der Contract-Methodik ermöglichen für nebenläufige Embedded-Systeme die formale Spezifikation für alle Ebenen eines Systems. Aus den Contracts können mittels geeigneter Werkzeuge zum einen Tests generiert werden, die versuchen, das korrekte Verhalten zu zeigen oder zu widerlegen. Zum anderen können Software-Monitore erzeugt werden, die während der Tests oder beim Einsatz eines Systems fehlerhaftes Verhalten zur Laufzeit entdecken, eindämmen und eine sehr schnelle und exakte Analyse der Fehler ermöglichen.
Der Vortrag endet mit einer Live-Demonstration einiger Contract-Based Tests.