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