download - SPES 2020
download - SPES 2020
download - SPES 2020
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Tests from the Test Model<br />
• Real functional tests<br />
faults which already reside in the<br />
implementation model<br />
different views on requirements<br />
• Test model independently developed<br />
• More abstract<br />
Implementation<br />
Model<br />
generate<br />
manual<br />
Code<br />
dv = vs – v;<br />
if (dv < 0) {<br />
decr();<br />
...<br />
Requirements<br />
manual<br />
Test Model<br />
test<br />
generate<br />
Test Cases<br />
Env SUT<br />
50