TU Wien:Programm- und Systemverifikation VU (diverse)/Loesungsvorschlag-Exam-SS18
Zur Navigation springen
Zur Suche springen
1) Coverage (6 + 9 + 2 + 3 Punkte)[Bearbeiten | Quelltext bearbeiten]
a)[Bearbeiten | Quelltext bearbeiten]
| satisfied | ||
|---|---|---|
| Citerion | yes | no |
| statement coverage | x | |
| branch coverage | x | |
| decision coverage | x | |
| modified condition / decision coverage | x | |
decision coverage (result || tmp) is never false
MC/DC (result || tmp) is never false
--> Please continue in Suggested Solution Exam SS18