Digitale Hardware/ Software-Systeme- P7:Getrieben durch neue Technologien und Anwendungen wird der Entwurf eingebetteter Systeme zunehmend komplexer. Dabei ist eine Umsetzung als Hardware/Software- System heutzutage der Stand der Technik. Die Minimierung von Fehlern im Entwurf dieser Systeme ist aufgrund deren Komplexit¨at eine der zentralen Herausforderungen unserer heutigen Zeit. | 112 3 Verifikation Beschränkung der Testfälle Beschränkungen und Zusicherungen sind zwei Seiten der selben Medaille. Beide sind formale Spezifikationen von Eigenschaften. Zusicherungen sind diejenigen Eigenschaften die es wahrend der Verifikation zu überprüfen gilt. Beschränkungen hingegen sind Bedingungen die wahrend der Verifikation erfüllt sein müssen. Bei der gesteuerten zufalligen Simulation geben Beschränkungen also an welche Kombinationen von Eingaben wann erzeugt werden dürfen. Prinzipiell können zwei Arten von Beschränkungen unterschieden werden 1. Umgebungsbeschränkungen spezifizieren die Protokolle der Schnittstellen des Systems mit seiner Umgebung. 2. Testvorschriften sind diejenigen Beschränkungen die verwendet werden um die Simulation zu interessanten Testfallen zu führen. Mit anderen Worten Man kann sagen dass gesteuerte zufallige Simulation nur dann sinnvoll ist wenn diese sowohl die Randbedingungen der Umgebung berücksichtigt als auch in der Lage ist interessantere Testfalle unter Berücksichtigung von Testvorschriften zu generieren. Dies ist in Abb. dargestellt. Der Eingaberaum wird durch die Umgebungsbeschränkungen auf einen akzeptierten Eingaberaum reduziert. Testfalleingaben aus dem akzeptierten Eingaberaum konnen zur Stimulation des SUV verwendet werden. Man erkennt allerdings dass es kleine Bereiche am Rand gibt die eventuell interessanter für die Verifikation sein konnten. In diesen Bereichen einen Testfall zufallig zu generieren ist relativ unwahrscheinlich da eine viel größere Anzahl gültiger Testfalle außerhalb des interessierenden Bereichs existiert. Durch die Verwendung zusatzlicher Testvorschriften kann man allerdings erreichen dass Testfalle genau aus diesen Randbereichen erzeugt werden. Einhalten der Beschränkungen Liegen alle Beschränkungen inklusive Umgebungsbeschränkungen und Testvorschriften für einen neuen Simulationsschritt vor so muss eine neue Belegung für die Eingange des SUV gefunden werden die alle Beschränkungen .
