Basics: five points (con’t)
Static verification
- Components statically verified using mathematic correctness arguments
- Individual components neither executed nor tested
- No white box testing, no black box testing, no coverage analysis
Statistical testing
- Each increment is tested statistically based on operational profile