Testmustergenerierung mit Hilfe von ... - ihmor.de
Testmustergenerierung mit Hilfe von ... - ihmor.de
Testmustergenerierung mit Hilfe von ... - ihmor.de
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
2. Mo<strong>de</strong>llbasierte Entwicklung eingebetteter Systeme<br />
Abbildung 2-6: Parallelität in Zustandsautomaten<br />
Die in diesem Abschnitt vorgestellten Mo<strong>de</strong>llarten wer<strong>de</strong>n in <strong>de</strong>n Beispielen späterer<br />
Kapitel verwen<strong>de</strong>t. Insbeson<strong>de</strong>re in Kapitel 6 wer<strong>de</strong>n Simulink/Stateflowmo<strong>de</strong>lle als<br />
Beispiele zur Evaluierung <strong>de</strong>s in dieser Arbeit entwickelten Verfahrens zur Steuerung<br />
automatischer <strong>Testmustergenerierung</strong> verwen<strong>de</strong>t. Bevor auf dieses Verfahren eingegangen<br />
wird, erfolgt im Folgen<strong>de</strong>n eine Definition <strong>de</strong>r wichtigsten Begriffe im Umfeld <strong>de</strong>s<br />
mo<strong>de</strong>llbasierten Testens.<br />
9
Change language