La solución de Parasoft para la cobertura del código y la trazabilidad de los requisitos proporciona comentarios críticos sobre la integridad y minuciosidad del proceso de prueba, al correlacionar las pruebas y los resultados de la cobertura con los requisitos.
La solución de Parasoft para la cobertura del código y la trazabilidad de los requisitos aprovecha de manera inteligente la información sobre la relación de los resultados de la cobertura del código con los casos de prueba, los cambios realizados en el código y los requisitos para obtener una métrica de cobertura más valiosa. Los informes de cobertura de código se recopilan junto con una comprensión de cómo se relacionan con los casos de prueba y los requisitos, y los informes generados después de la sesión de prueba muestran los informes detallados en el contexto de cada requisito.
La presentación de los resultados de las pruebas de esta manera evita que los usuarios dediquen tiempo y esfuerzo a probar funciones no importantes, sin cubrir los requisitos críticos del sistema. Esta poderosa solución para la trazabilidad de requisitos es esencial para lograr el cumplimiento de los estándares de seguridad funcional, como DO-178B / C, ISO 26262, IEC 61508 y otros.
La forma más pragmática de monitorear la integridad del proceso de prueba es monitoreando las métricas de cobertura. Las métricas de cobertura de código de prueba de Parasoft C / C ++ se pueden utilizar para evaluar la integridad de la prueba a nivel de unidad, integración y sistema, admitiendo todos los tipos importantes de cobertura de código (función, llamada, línea, declaración, bloque, ruta, decisión, condición simple, y MC / DC) y cobertura de objetos / ensamblajes. Los resultados de cobertura están disponibles directamente en el IDE, con vistas convenientes y aspectos destacados en el editor de código fuente, así como en forma de informes estáticos html o pdf, e informes dinámicos a través del panel de informes centralizado de Parasoft.
Los usuarios pueden monitorear aplicaciones ejecutadas de forma nativa en el escritorio, multiplataforma usando simuladores o en hardware embebido real. El módulo de cobertura de prueba de C / C ++ está optimizado para minimizar el impacto en el rendimiento de ejecución y la huella binaria de prueba, lo que lo hace adecuado para su uso con aplicaciones de alta gama basadas en servidor, así como con sistemas muy limitados basados en microcontroladores de 16 bits.
Parasoft correlaciona todos los casos de prueba unitarios creados con la prueba C / C ++, o creados utilizando marcos de prueba unitarios de código abierto (ejecutados con el complemento de prueba C / C ++), con los requisitos. Luego, los usuarios pueden absorber los resultados de la ejecución de las pruebas junto con la información sobre la cobertura del código, para lograr la trazabilidad completa requerida para las aplicaciones críticas para la seguridad.
La prueba Parasoft C / C ++ se puede utilizar para instrumentar la base de código de una aplicación completa para el monitoreo de la cobertura del código. La aplicación instrumentada se puede ejecutar y examinar en función de los procedimientos de prueba definidos en escenarios de prueba manuales. Durante la prueba, los usuarios pueden anotar fácilmente los resultados de la cobertura con la información sobre los escenarios de prueba ejecutados.
Los usuarios pueden ver los resultados de cobertura recopilados del proceso de prueba, junto con la información sobre la correlación entre los casos de prueba y los requisitos. Los informes únicos generados automáticamente de Parasoft que combinan las pruebas unitarias y los resultados de la cobertura de las pruebas del sistema ayudan a los usuarios a determinar la calidad del proceso de prueba para enfocar y optimizar el esfuerzo de prueba.
Al integrarse con el sistema de gestión de requisitos de los usuarios, los usuarios obtienen informes de trazabilidad que muestran la correlación entre los requisitos y:
Los informes de trazabilidad brindan información clara y completa sobre el progreso del desarrollo, y los equipos pueden determinar fácilmente cuántos requisitos ya se implementaron y cuán exhaustivamente se han probado.
Cuando se conecta con Process Intelligence Engine de Parasoft, los usuarios se benefician del análisis de impacto de las pruebas. Para todas y cada una de las pruebas realizadas, incluidas las manuales, a nivel de sistema o basadas en la interfaz de usuario, las pruebas se registran no solo para pruebas / fallas y resultados, sino también para su impacto de cobertura en la base del código. Cada prueba adicional se superpone a esta información existente, creando una imagen completa del éxito y la cobertura de la prueba. A medida que se cambia el código, el impacto es claramente visible en el registro subyacente, destacando las pruebas que ahora fallan o el código que ahora no se ha probado. Elevar esta información en varios grados de detalle permite a los desarrolladores y evaluadores identificar rápidamente lo que necesita ser modificado / arreglado para la próxima ejecución de prueba.
Parasoft correlaciona los requisitos no solo con las pruebas y los resultados de las pruebas, sino también con los requisitos y el código fuente creado para implementar los requisitos. Los usuarios pueden etiquetar el código creado utilizando un esquema flexible y proporcionar esta información al centro de informes, lo que permite informes detallados de prueba y cobertura centrados en un requisito seleccionado, sin la ofuscación que de otro modo vendría del código relacionado con otros requisitos. Esta capacidad permite una visión completa de la calidad, reuniendo los resultados de las pruebas, el análisis de código y la cobertura del código con los requisitos, lo que permite a los equipos comprender mejor las áreas de riesgo, para que puedan enfocar las actividades de remediación.
En lugar de solo ver los resultados de cobertura de las pruebas unitarias, la prueba de Parasoft C / C ++ captura información de cobertura a través de diferentes prácticas de prueba de desarrollo, para proporcionar una vista completa de lo que se probó y lo que no se probó. El panel de análisis e informes de Parasoft también muestra qué pruebas se utilizaron para ejercitar las partes específicas del código base, para que los usuarios tengan una trazabilidad completa. Esto ayuda a los usuarios a comprender cómo volver a probar de manera más eficiente el código base y reutilizar las pruebas para aumentar la cobertura del código.
Con Parasoft, los equipos pueden concentrarse en la cobertura de código para las áreas de desarrollo activo, en lugar de la base de código completa, lo que puede ser especialmente problemático cuando se trabaja con bases de código heredadas. En lugar de intentar únicamente lograr un número de cobertura para todo el código base, Parasoft lo ayuda a identificar las partes del código que están cambiando. El panel de informes de Parasoft correlaciona los datos de la prueba C / C ++ con los cambios observados en la base de código para enfocar al equipo de desarrollo en lograr niveles más altos de cobertura de código para esas partes específicas y modificadas de la base de código. Con Parasoft, puede minimizar el impacto de los cambios administrando de manera eficiente el cambio en sí.
