Correctness
- Correctness
- the soundness quality factor
representing the degree to which a
work product (e.g.,
application,
component,
or document) and its outputs are free from defects once it is delivered
As illustrated in the preceding figure, Correctness is part of the following inheritance hierarchy:
- Type: Abstract
- Superclass: Soundness
- Subclasses:
- System Correctness
- Application Correctness
- Data Correctness
- Documentation Correctness
- Hardware Correctness
- Software Correctness
The typical responsibilities of correctness are to:
- Model the degree to which work products lack defects.
- Support the analysis and specification of
correctness requirements.
- Provide a foundation for evaluating the quality of an architecture.
Correctness is typically decomposed into the following aggregation hierarchy of subfactors:
Correctness is typically measured in terms of:
Correctness inherits the following typical mechanisms:
The following guidelines have been found to be useful regarding correctness:
- Correctness is typically defined in terms of the degree
to which the workproduct:
- Fulfills its specified requirements (e.g., percentage
of requirements validated, possibly weighted by criticality
of defect).
- Meets its associated users’ needs and
expectations, regardless of whether or not these needs and
expectations are specified as requirements.
- Correctness inherits the following guidelines:
