Software Engineering

Functional Architecture Verification Tasks
Verify functional 
decompositions
Confirm that the manner by which software 
requirements have been decomposed functionally is 
consistent with functional trade-study records.
Important 
(advisable)
Confirm that the functional complexity has been 
evaluated and the functional decomposition is 
consistent with trade-study complexity resolutions.
 
(
Continued
)

---

268
CHAPTER 15 
Software Verification and Validation Practice
Table 15.1 
Software V&V Task Elements
Practice
Description
Importance
Verify behavioral 
models
Confirm that the functional behavior models are 
consistent with the higher-level operational models.
Essential 
(mandatory)
Confirm that external interfaces are consistent with 
the interface specifications.
Confirm that the resource availability is consistent with 
the computing environment specifications.
Confirm that the functional timeline is consistent with 
the operational timeline.
Verify functional 
specifications
Confirm that functional unit and component 
specifications properly assimilate to satisfy higher-level 
specifications.
Essential 
(mandatory)
Confirm that functional unit and component 
specifications properly reflect the performance 
characteristics derived from the behavioral models.
Verify 
requirements 
traceability 
throughout 
the functional 
architecture
Confirm that the requirements traceability mechanism 
is current and provides traceability among elements of 
the functional architecture.
Important 
(advisable)
Verify 
requirements 
traceability to 
the requirements 
baseline
Confirm that the requirements traceability mechanism 
is current and provides traceability among top-level 
elements of the functional architecture and the 
requirements baseline.
Essential 
(mandatory)