Correctness Requirements

Definition

Correctness Requirement

the user-oriented quality requirement that specifies a minimum required amount of the quality factor correctness

Objectives

The typical objectives of a correctness requirement are to:

• Ensure that the work product does not contain an unacceptable number of latent defects.
• Ensure that all numerical data returned or stored by an application or component are sufficiently accurate, precise, and up to date.

Types

The following are different types of correctness requirements:

• Latent Defect Requirements.
• Accuracy Requirements.
• Precision Requirements.
• Timeliness Requirements.

Guidelines

The following guidelines have been found to be useful when producing correctness requirements:

• Correctness is typically specified in terms of the degree to which it:
  • 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 can be measured in terms of:
  • Latent Defect Requirements.
  • Accuracy Requirements.
  • Precision Requirements.
  • Timeliness Requirements.