| Code coverage analysis is part of the verification process of large codes (necessary but not sufficient condition) |
Typically attempted through input/output sensitivity
- Manual testing is tedious and difficult - certainly incomplete
- Random testing is attractive but still potentially incomplete
|
Execution Generated Tests (EGT)
- The application automatically selects “interesting” parameters
|
 |
Simple example that might take billions of
random-generated tests to hit |
_______________________________________
- Cadar, C., Engler, D. “Execution Generated Test Cases: How to Make Systems Code Crash Itself”. Stanford University CSTR 2005-04 3, 2005
|
| |
