Pruebas unitarias en host y destino para aplicaciones C y C ++

Las pruebas unitarias son más fáciles y productivas cuando se usan junto con marcos de prueba de stubbing y simulacros. La prueba Parasoft C / C ++ proporciona un módulo poderoso para crear automáticamente stubs y simulacros. Este módulo puede ayudar con las pruebas de inyección de fallas, ayudar a reducir las dependencias del código C / C ++ probado o simplemente eliminar el código fuente aún no implementado. La lógica de stub y simulacro se implementa de manera eficiente utilizando editores gráficos dedicados o escribiendo código.

El marco de prueba de stubbing de C / C ++ no requiere ningún diseño de código especial para aplicar stubs (como funciones virtuales) y es compatible con todos los compiladores, incluidos los compiladores cruzados.

Los informes completos de cobertura de códigos proporcionan automáticamente información sobre la minuciosidad del proceso de prueba de la unidad (y son necesarios para lograr el cumplimiento de los estándares de seguridad funcional). La prueba de Parasoft C / C ++ admite todos los tipos importantes de cobertura de código, incluidos los tipos de cobertura de declaración, rama y MC / DC.

Las vistas de cobertura dedicadas están estrechamente integradas con el editor de código fuente y el explorador de casos de prueba, lo que permite a los desarrolladores comprender rápidamente las brechas de cobertura y enfocar su esfuerzo en función de las áreas de riesgo. La combinación de resultados de cobertura de diferentes sesiones de prueba (incluidas las pruebas a nivel del sistema) permite a los equipos centrar sus pruebas en el código no probado y las pruebas afectadas por cambios de código recientes. El resultado es una reducción del tiempo dedicado a las pruebas.

La prueba Parasoft C / C ++ facilita las pruebas unitarias al simplificar el proceso de creación de casos de prueba. Con su GUI fácil de entender, la prueba Parasoft C / C ++ reduce las barreras técnicas, lo que permite a los evaluadores o al personal de control de calidad, que no necesariamente tienen habilidades de desarrollo profundas, crear pruebas unitarias.

Los usuarios pueden crear fácilmente escenarios de prueba avanzados mediante la definición de una colección de pasos responsables de varios elementos de la implementación del escenario de prueba, como la inicialización de parámetros, la configuración de stubs o la validación de aserción. Los usuarios con grandes vectores de prueba registrados durante una fase de simulación del modelo o durante experimentos del mundo real pueden conectar fácilmente esas fuentes de datos para parametrizar casos de prueba, que obtienen entradas y salidas de prueba directamente desde archivos CSV o hojas de cálculo XLS.

Los desarrolladores que prefieren crear casos de prueba y stubs escribiendo el código fuente en lugar de usar una interfaz gráfica pueden usar las poderosas API de prueba de C / C ++ para definir la lógica de los casos de prueba y el comportamiento de componentes aislados.

Puede utilizar la prueba Parasoft C / C ++ para ejecutar pruebas unitarias en la plataforma host, el simulador de procesador de destino o en el destino integrado. Optimizado para tener una sobrecarga adicional mínima para la huella binaria o los ciclos de proceso, el arnés de prueba de Parasoft C / C ++ se proporciona en forma de código fuente y se puede personalizar si se requieren modificaciones específicas de la plataforma.

Las integraciones dedicadas con depuradores y IDE integrados hacen que el proceso de ejecución de casos de prueba unitaria sea fluido y automatizado. Los entornos compatibles incluyen Green Hills Multi, Wind River Workbench, IAR EW, ARM MDK, ARM DS-5, TI CCS y muchos otros.

El marco de prueba unitario de prueba de Parasoft C / C ++ se diseñó teniendo en cuenta las pruebas de software críticas para la seguridad. Los stubs y casos de prueba con valores para la simulación de software probado se pueden editar con editores gráficos, pero se generan como código fuente. Los usuarios pueden almacenar y revisar los artefactos de prueba creados junto con los archivos del proyecto. La inicialización de las variables y los parámetros de entrada para la simulación del software probado se realiza exactamente de la misma manera que durante la operación del software de producción. Como tal, el marco de prueba de la unidad puede calificarse fácilmente para lograr el cumplimiento de estándares de seguridad como ISO 26262, DO-178B / C, IEC 61508 o EN 50128. La prueba Parasoft C / C ++ está certificada por TÜV SÜD para estos estándares .