12Echtzeit-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.1Antwortzeiten 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, 2nd Edition now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
