4.3.1 Correct
An SRS is correct if, and only if, every requirement stated therein is one that the software shall meet.
There is no tool or procedure that ensures correctness. The SRS should be compared with any applicable
superior speciÞcation, such as a system requirements speciÞcation, with other project documentation, and
with other applicable standards, to ensure that it agrees. Alternatively the customer or user can determine if
the SRS correctly reßects the actual needs. Traceability makes this procedure easier and less prone to error
(see 4.3.8).