Automated structural analysis of SCR-style software Requirements specifications Using PVS

摘要

The importance of effective requirements analysis techniques cannot be overemphasized when developing software requiring high levels of assurance. Requirements analysis can be largely classified as either structural of functional. The former investigates whether definitions and uses of variables and functions are consistent, while the latter addresses whether requirements accurately reflect usrs' needs. Verification of structural properties for large and complex software requirements is often repetitive, especially if requirements are subject to frequent changes.