Skip to main content

Table 4 Techniques selected for generic V&V Activities [8]

From: Development and validation of a safe communication protocol compliant to railway standards

Technique

Description

Implementation

Dynamic analysis and testing

Verification of the software through execution and instrumentation of the software elements

Test cases boundary value analysis, unit testing, performance modelling, equivalence classes and input partition testing, structure-based testing

Functional/black-box testing

To verify that the functional requirements are satisfied

Functional tests, boundary value analysis, equivalence classes and input partition testing

Traceability

Ensuring that all requirements are properly met and that no untraceable material has been introduced.

Traceability matrix

Test coverage

Verification of code coverage reached using different criteria

Statement and compound condition

Static analysis

Verification of the software through manual/automated analysis of the Software structure

Boundary value analysis, control flow analysis and walkthroughs/design reviews

  1. The three columns report respectively the technique name, a brief description of the technique, and the actual technique implementation