Software verification services according to DO-178C and DO-278A
Software Verification Process
We offer software verification engineers experienced in the process and in automated verification tools.
We have experience in verifying complex Parameter Data Item Files (PDIF): we minimize the number of test cases needed to test all possible field combinations.
We perform software testing on host, simulator or target, reusing test cases.
Extensive experience in the use of VectorCast: we provide internal support to verification.
Verification includes:
- Verification of software requirements
- Verification of the software coding standard
- Verification of source code through static code analysis
- Requirements-based software unit and integration testing
- Structural code coverage analysis
- Requirements and test case traceability
- Qualification of software verification tools
