Parasoft C/C++test helps railway software development teams to fully or partially satisfy software development and verification process requirements defined by the EN 50128 standard. When results of the broad range of testing and code analysis types automated through C/C++test are processed in DTP, intelligent analytics are reported that significantly reduce the work required for software verification.
- The EN 50128 standard defines requirements for supporting tools used for development and verification of railway software.
- Parasoft C/C++test can be categorized as tool class T2, which is defined as a tool that “supports the test or verification of the design or executable code, where errors in the tool can fail to reveal defects but cannot directly create errors in the executable software.”
- As required for tools in class T2, C/C++test provides a user’s guide that clearly defines the behavior of the tool and gives instructions on its use.
For a complete list of techniques and measures mandated by the EN 50128 that can be satisfied using Parasoft C/C++test, download the white paper. We’ve included information on how to comply with each technique using Parasoft C/C++test.