Ballista Capability Summary
Automated testing & hardening of COTS software components
- Generically applicable to modules having parameter lists
Minimal knowledge of component
- Interface specification is typically available (data types)
- No source code, no reverse compilation, no functional specification
Highly scalable
- Effort to create tests sub-linear with number of functions tested
- No per-function test scaffolding
Repeatable results
- Robustness failures that are identified are repeatable on demand
- Single-function-call failure generation
- 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?)