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 the related fields associated with the verification in valispace, enable the columns on the right side (1). The columns which are related to the verification method are shown in the image below (2)

The new AG grid table view is totally different from the previous table view. In this new layout, the arrangement of the verification has been totally changed. The requirements are shown in each row. If the user wants to see/edit the verification methods, the user has to select the drop-down menu (3) which shows the existing verification methods in the requirement. for example, in this requirement, Struct-0009, we have added two verification methods i.e Rules and Test.

In case if you would like to see the list of components related to the verification method, click on the drop-down menu (4) of the verification method. This will in turn create a new row of the component of the verification method.

Note that the color of the row of the verification methods is light blue while the component is red.

Verification methodology flow in Valispace

The typical verification methodology flow in valispace is illustrated as shown in the image below

Adding components to the specification/Requirement

As explained in the “creating Specification” section, when a specification is created, the user has the possibility to add the component. If the component is added to a specification all the requirements within the specification will be automatically assigned with the specification component.

In case the user did not add the component during the specification creation, the user can add the component within the details tab of the specification. Upon clicking the default components, a popup opens up where the user has the possibility to add multiple components or a single component.

Adding Verification method to the Requirement

The verification method is generally the way how the user plans to verify the requirements. Within Valispace, We have five default verification methods namely Analysis, Inspection, Review, Rules, Tests. The user has two ways to add the verification method.

Methods

  • The easy method is to hover over the requirement row and in the “actions” column select the first icon to get the drop-down menu

  • Hover over the requirement row and drop down the verification method row and double click on “select method”. On clicking, a drop-down menu appears which contains the default VMs. Both these methods are illustrated in the gif below

Valispace allows users to have multiple verification methods to the requirements. The above gif also shows how they add multiple verification methods to a requirement.

The rules and Tests are the automatic verification methods where the verification status changes automatically whenever the data within valispace is updated. While the other verification methods are manual and it has their own closeout references. The closeout references are the supporting documents/data which prove the verification method. The table below shows the explanation for the verification methods and their closeout reference.

Verification Method

Closeout Reference

Description

Analysis

Analysis, Upload (attachment)

This method is verified when you attach the supporting documents either from the analyses module or uploading a document. Eg. attaching a report

Inspection

Manual

This is a manual change of the verification status as result of inspections

Review

Manual

This is a manual change of the verification status as result of reviews

Rules

Rules(Automatic)

Write a boolean expression to compare the requirement Valis with the system design Vali(from component module) to see if it meets the requirement condition. Eg:

Test

Test(automatic from test module)

Refer the requirement to a test procedure from the test module. Whenever a test run is performed and the status of the tests are changed and approved, the verification status of the requirement automatically gets updated.

Additional Info on Verification Methodology

Adding additional components

Some requirements might have other components which are not default to the entire specification. In this case, Valispace allows the user to add a specific component to the specific requirement. To add the component, hover over the requirement row and drop down the verification method row and in the “Actions” column and click the first icon. Refer to the gif below

Additional Fields related to verifications

The user has the possibility to add the status of the compliance. The default ones that are added as a standard-setting within Valispace are Compliant, Partially Compliant and Non-compliant and NA(not applicable)

Apart from the fields which are explained above, the user can add additional attachments in the attachment field, and write verification comments or custom compliance comments, and also add verification tags. Also, note that the valispace has fields that specify the verified by and verified on.