Software Engineering

15.2.1 
Verify the requirements baseline
The requirements baseline must be verified to ensure that every requirement can be 
traced to a stakeholder need and that the baseline represents a complete set of con-
gruent requirements for the software product. The requirements baseline consists of 
the software requirements and interface specifications and the operational models 
from which they were derived.
15.2.2 
Verify the functional architecture
The functional architecture must be verified to ensure that the functional decompo-
sition is noncomplex, and efficiently allocates performance measures among sub-
functions. The top-level functions must be traceable to the software requirements 
baseline and operational model. The behavioral models must be verified to accu-
rately express the data processing transactions and control scenarios. The functional 
specifications must be evaluated to verify that they accurately comply with the 
functional decomposition and express the allocated performance measures.