Testing -- strategy, tactics, operational
- the process of judging experimentally whether a system or component satisfies its specified requirements
Stop-criteria -- minimize effort, maximize confidence
- after detecting N errors
- based on particular method
- if the ratio is sufficiently small
Paradigms
- demonstration, destruction, evaluation, prevention