Cobertura estructural del código de objeto para DO-178 C

Aprenda métodos para centrar las pruebas y reducir el esfuerzo redundante al realizar pruebas de cobertura de código de máquina estructural como se describe en DO-178C 6.4.4.2. Los lenguajes fuente de alto nivel, como C++, están en constante evolución. Cuanto más fácil sea para un desarrollador expresarse a través de un lenguaje fuente de alto nivel, más difícil será rastrear el código de máquina equivalente generado por el compilador.

Guiada por ejemplos, esta presentación adopta un enfoque iterativo del proceso de producción de una cobertura estructural completa del código de máquina y muestra las mejores prácticas en acción para reducir el tiempo de comercialización.

Puntos clave:

• Categorizaciones simples para deficiencias estructurales de cobertura de código de máquina.
• Soluciones de ejemplo para categorías comunes de código de máquina no probado.
• Estrategias para minimizar el esfuerzo que implica la depuración del lenguaje de máquina.