| Optimistic
source models |
|
|
|
|
|
|
|
|
|
|
|
|
| • | These
include only truth but may omit some |
||||||||||
| true
information |
|||||||||||
| • | Often
come from dynamic extraction |
||||||||||
| • | Ex:
In white-box code coverage in testing |
||||||||||
| – | Indicating
which statements have been |
||||||||||
| executed
by the selected test cases |
|||||||||||
| – | Others
statements may be executable with other |
||||||||||
| test
cases |
|||||||||||
