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