Servicios de verificación software conforme a DO-178C y DO-278A
Proceso de Verificación de software
Ofrecemos técnicos de verificación software con experiencia en el proceso y en herramientas automatizadas de verificación
Tenemos experiencia en verificación de Parameter Data Item Files (PDIF) complejos: minimizamos el número de casos de prueba necesarios para probar todas las posibles combinaciones de campos
Realizamos pruebas de software en host, simulador o target, reutilizando casos de prueba
Amplia experiencia en el uso de VectorCast: proporcionamos soporte interno a la verificación
La verificación incluye:
- Verificación de los requisitos software
- Verificación del estándar de codificación software
- Verificación del código fuente mediante análisis estático de código
- Pruebas unitarias y de integración de software basadas en requisitos
- Análisis de cobertura estructural de código
- Trazabilidad de requisitos y de casos de pruebas
- Cualificación de herramientas de verificación software
