Serviços de verificação de software de acordo com DO-178C e DO-278A
Processo de verificação de software
Dispomos de técnicos de verificação de software com experiência no processo e em ferramentas de verificação automatizadas.
Temos experiência na verificação de ficheiros de elementos de dados de parâmetros (PDIF) complexos: minimizamos o número de casos de teste necessários para testar todas as combinações possíveis de campos.
Testamos o software no anfitrião, no simulador ou no alvo, reutilizando casos de teste.
Vasta experiência na utilização do VectorCast: fornecemos apoio interno na verificação
A verificação inclui:
- Verificação dos requisitos de software
- Verificação da norma de codificação do software
- Verificação do código-fonte através da análise estática do código
- Integração de software orientada para os requisitos e testes unitários
- Análise estrutural do código de cobertura
- Rastreabilidade dos requisitos e dos casos de teste
- Qualificação de ferramentas de verificação de software
