Hierarchical progression analysis: A development and verification methodology

摘要

Hierarchical progression analysis (HPA) is a methodology which provides traceability through a software system by relating the data and control flows between the various disciplines needed to develop and verify a system. Although HPA was originally intended as a development tool, the methodology can also be applied when verifiying and documenting existing systems.