Ballista Automated Testing Goals
No functional specification
- Generically applicable to modules having argument lists
- No source code, no reverse compilation, … no “peeking”
Highly scalable
- Automated operation from test case generation to hardening
- Effort to create tests sub-linear with number of functions tested
Repeatable results
- Robustness failures repeatable on demand
- Single-function-call fault model
- Enables creation of very simple “bug report” code
- Makes it possible to create reasonably simple wrappers
- Only addresses a subset of problems (but, a big subset?)