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