Once a specification is assigned to one or more components in your design, each requirement in that specification can be verified against each of those components. To see and edit the verifications, select Verifications in the upper right corner of the screen.
For each requirement and assigned component a unique identifier is created. For each component and requirement you can set a verification method, a verification status and a compliance.
You can additionally connect a Valispace analysis document as a test specification, test report or other attachment to each verification.
Automatic requirement verification
For each requirement in the Verification tab, you can select a verification method:
If you select "Automatic" in the dropdown, your requirement status will be automatically set based on the set of rules that you define. You can define the rules in the column "Verification Rules" by clicking on Add Rules. If the column is not shown, make sure that the checkbox in the column filters is checked.
In the Add Rules dialog, you can specify one or more logical rules to verify this requirement by:
The status of the logical rule is shown to the right of the rule, and in the table overview the number of verified rules are shown. All rules have to be true to set the verification status to verified. If some, but not all rules are verified, the status of the requirement is set to Partially verified.