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 |