Requirement specification

     This module provides the means for requirements rules to be specified. Requirements specifications are translated from natural language to formal language using Cause / Effect Definitions tree.

    Using the Cause / Effect Definitions tree, the project team can analyze every aspect of the requirements in ATD. ATD can identify several characteristics that testable requirements must comply with, such as unambiguous and deterministic. These situations must be corrected before proceeding.