12 Echtzeit-Verifikation

Gastbeitrag von Prof. Reinhard Wilhelm1

Echtzeitsysteme haben nur beschränkt viel Zeit, auf Signale zu reagieren. Sind Reaktionsfristen vorgegeben, so muss der Software-Entwickler nachweisen, dass sein System diese einhält. In vielen Firmen geschieht dies durch Messen der Antwortzeiten im Laufe von funktionalen Tests und einen Vergleich gegen diese Frist. Das ist zwar vergleichsweise einfach zu implementieren, aber nicht besonders vertrauenswürdig, wie Abschnitt 12.1 zeigt. Abschnitt 12.2 beschreibt zuverlässigere Methoden.

12.1 Antwortzeiten bei funktionalen Tests

Angenommen, man misst die Antwortzeiten des Systems und weist als Testabdeckung 100% MC/DC (siehe Abschnitt 6.6.4) nach. Was bedeutet diese strukturelle Testabdeckung ...

Get Software-Test für Embedded Systems now with O’Reilly online learning.

O’Reilly members experience live online training, plus books, videos, and digital content from 200+ publishers.