Method for computer-aided, automated verification of software requirements

摘要

A method for computer-aided, automated validation of software requests stores them in a database. On the one hand at least one interface description and on the other hand at least one functional description is deposited. The software requirement has at least one subcomponent. The verification includes computer-aided checking of the completeness and / or consistency of the interface description and / or the functional description. The test also covers subcomponents.