Obtenga compatibilidad completa con MISRA C 2023 en la nueva versión de prueba de Parasoft C/C++. Únase a nuestro seminario web el 8 de junio.
Con el marco completo de Parasoft C/C++test para C++ y Pruebas de unidad C, los desarrolladores obtienen todo lo que necesitan para crear, ejecutar y mantener pruebas. Al integrarse con los principales IDE, las características de prueba unitaria de Parasoft C/C++test incluyen análisis de cobertura de código multimétrico, un poderoso marco de creación de stubbing y simulación de C, y ejecución automatizada multiplataforma. Estas características son fáciles de usar, reducen la carga de implementar el marco de pruebas unitarias y mejoran la productividad de los desarrolladores.
Con una combinación de editores gráficos y vistas convenientes, la prueba Parasoft C / C ++ es utilizada por desarrolladores que desean construir y ejecutar rápidamente sus casos de prueba, y por probadores que se benefician de sus editores gráficos.
Los módulos de pruebas unitarias en Parasoft C/C++test incluyen Test Case Explorer, Test Case Editor, Stubs View y Coverage View, que se unen para simplificar la creación de pruebas unitarias y los resultados del análisis. Los usuarios pueden descubrir rápidamente código C/C++ no probado, ubicar expectativas de llamadas de código auxiliar no satisfechas y encontrar afirmaciones fallidas. Puede realizar correcciones directamente desde las vistas en las que se encuentra el problema.
Los usuarios optimizan sus esfuerzos de prueba analizando los resultados de la cobertura combinada (de pruebas anteriores, compilación por compilación) que presentan datos generados a partir de pruebas a nivel de sistema y unidad. La Vista de cobertura se puede sincronizar con el Explorador de casos de prueba para presentar datos filtrados para cualquier selección arbitraria de casos de prueba.
Adecuado para su uso en grandes organizaciones y en pequeños equipos. Los usuarios pueden revisar su trabajo directamente en el IDE o agregar esfuerzos basados en pruebas de todo el equipo para un posterior procesamiento posterior, informes y análisis avanzados a través de la interfaz web de Parasoft. A partir de ahí, los equipos pueden generar informes interactivos con trazabilidad entre los requisitos, la fuente y los casos de prueba.
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 .
Otras herramientas almacenan valores de entrada para casos de prueba y stubs en un formato propietario como una colección de valores. Esto es fundamentalmente diferente de la inicialización de la variable en producción. Con la prueba Parasoft C / C ++, los casos de prueba se almacenan como código fuente. Los valores para los parámetros de código probados también se inicializan en el código fuente, más cerca del proceso de inicialización de parámetros en el código de producción, lo que lo hace más adecuado para probar código crítico para la seguridad.
Además de estar certificado de forma independiente para su uso en proyectos críticos para la seguridad por TÜV SÜD, Parasoft C/C++test también proporciona kits de calificación específicos de la industria que reducen drásticamente la cantidad de tiempo y esfuerzo necesarios para lograr la calificación de herramientas para estándares como ISO 26262, ISO 21434, DO 178B/C, IEC 61508 y EN 50128.
Utilice Parasoft C/C++test para pruebas de aislamiento puras (donde una función probada está completamente rodeada de stubs) y pruebas de integración (en las que los componentes probados interactúan con otros módulos de software reales). Puede verificar los mismos casos de prueba en modo de aislamiento e integración, y comparar los resultados en busca de posibles diferencias. Cambiar el modo de prueba es una operación simple. Solo requiere la especificación de la ubicación de los nuevos stubs.
