Correctness
Software is functionally correct if it behaves according to the functional requirements specification
- correctness is a mathematical property
- requires that a specification be available
- must be possible to unambiguously determine whether the software meets the specification
Software is behaviorally correct if it satisfies all specified behavioral requirements
- different required behaviors may be specified in different paradigms or different languages
Correctness is the ideal quality