X
BLOG

Lanzamos la prueba 10.4.1 de Parasoft C / C ++ centrada en la seguridad y la seguridad funcional

Lanzamos la prueba 10.4.1 de Parasoft C / C ++ centrada en la seguridad y la seguridad funcional Tiempo de leer: 4 minutos
La nueva versión de la prueba Parasoft C / C ++ se centró en el lenguaje C ++, incluido el soporte completo para CERT C ++ y un módulo de informes de cumplimiento dedicado para AUTOSAR. ¡Siga leyendo para obtener más detalles!

¡El otoño de este año fue un momento inspirador para nosotros! Tuvimos muchas oportunidades excelentes para mantener conversaciones interesantes con nuestros clientes actuales y potenciales, incluidas varias empresas automotrices que trabajan en sistemas de conducción automatizada (es decir, conducción autónoma). Lo que hemos aprendido, entre muchas otras cosas, es que el C ++ moderno se está volviendo cada vez más importante. C ++ permite que toda la potencia de las CPU y GPU esté disponible para ejecutar algoritmos de IA complejos, al mismo tiempo que permite el software ingenieros para crear y hacer cumplir una arquitectura adecuada de los sistemas a través de patrones de diseño orientados a objetos.

Pero C ++ también es un lenguaje avanzado y complejo que debe usarse con cuidado para eliminar las construcciones del lenguaje que pueden conducir a un comportamiento indefinido. Es por eso que la alta calidad del código, la seguridad funcional y la seguridad siguen siendo las principales preocupaciones de los equipos que desarrollan sistemas automotrices basados ​​en inteligencia artificial con C ++. 

Para brindar un mejor soporte a los equipos que son innovadores líderes en la industria, nos complace lanzar el último Parasoft C / C ++ 10.4.1, que se centró principalmente en probar el código C ++. El producto ahora tiene soporte completo para el estándar de codificación de seguridad SEI CERT C ++, que ningún otro producto tiene, junto con informes de cumplimiento dedicados y la actualización del analizador para soporte C ++ 17. Además, mejoramos la presentación de infracciones de análisis estático, lo que facilita aún más la comprensión de la causa raíz de los problemas notificados. Para los probadores de unidades, hemos agregado mejoras para crear y editar casos de prueba parametrizados. Y, por supuesto, como de costumbre, tenemos una colección de nuevos compiladores e IDE que ahora son compatibles. ¡Fue un tiempo muy ocupado! 

Soporte completo para CERT C ++

El paquete de cumplimiento de pruebas de Parasoft C / C ++ ahora tiene soporte completo para el estándar de codificación de seguridad SEI CERT C ++. La prueba de Parasoft C / C ++ 10.4.1 admite todas las 83 reglas definidas por el estándar SEI CERT C ++. A diferencia de CERT C, la edición C ++ del estándar no contiene actualmente ninguna recomendación oficial. ¡Pero puede estar seguro de que una vez que se agreguen, los apoyaremos! 

Si compra un paquete de cumplimiento para la seguridad, también obtendrá el módulo de informes dedicado CERT C ++, que le ahorra mucho tiempo al administrar el proceso de cumplimiento. Una de las funcionalidades más interesantes del marco de informes es un marco de evaluación de riesgos automático que le permite concentrar fácilmente los esfuerzos en los problemas más relevantes.  

Con una conjunto completo de verificadores de análisis estático para SEI CERT C ++ e informes de cumplimiento, los equipos que desarrollan con C ++ ahora están armados con una excelente herramienta para eliminar el código vulnerable y lograr el cumplimiento del estándar de seguridad más reconocido para C ++.   

Informes de cumplimiento para AUTOSAR C ++ 14

La versión 10.4.1 también trae informes de cumplimiento dedicados para AUTOSAR C ++ 14. Con un paquete de cumplimiento, los usuarios ahora pueden obtener una vista dinámica de sus procesos de cumplimiento para comprender mejor hasta qué punto están cumpliendo. Un módulo de informes especializado muestra las infracciones de análisis estático agrupadas de acuerdo con todas las categorizaciones definidas en el estándar. Un vistazo rápido a los widgets de cumplimiento es ahora suficiente para tomar decisiones informadas sobre dónde asignar los recursos de desarrollo.  Vea el ejemplo a continuación:

Los informes de cumplimiento también incluyen otra capacidad importante: la generación automática de documentación de cumplimiento. Si su equipo necesita seguir un proceso de cumplimiento más formalizado, le alegrará saber que el módulo de informes de cumplimiento de Parasoft puede generar documentación que se ajuste al estándar MISRA 2016. El Plan de cumplimiento de las pautas (GEP), el Resumen de cumplimiento de las pautas (GEP) y los Informes de desviaciones ahora se pueden preparar e imprimir automáticamente para las auditorías de códigos. ¡Generar automáticamente esta documentación de cumplimiento le ahorrará mucho tiempo!  

Presentación mejorada de infracciones de análisis estático 

El análisis estático puede encontrar errores complejos en su código fuente, pero a veces estos problemas son tan intrincados que es muy difícil entender por qué aparece el problema y cuál es su causa raíz. Para ayudarlo a ahorrar más tiempo en el proceso de revisión de resultados, hemos mejorado la presentación de los hallazgos del análisis estático. Los informes de problemas ahora se anotan con información adicional, como valores de declaraciones condicionales o soportes de datos contaminados, y se utilizan diferentes colores para aumentar la legibilidad. La nueva presentación está disponible en IDE, HTML, informes PDF y en el panel de informes centralizado. Vea a continuación la captura de pantalla de un informe HTML ejemplar que muestra la presentación de nuevas infracciones.

Mejoras en las pruebas unitarias

La creación de pruebas unitarias no siempre es una actividad emocionante, especialmente cuando necesita agregar varios casos de prueba (posiblemente cientos o miles) para probar muchas clases de equivalencia o casos de esquina. Con la nueva versión 10.4.1, puede crear de manera fácil y automática casos de prueba parametrizados que están conectados a una fuente de datos en forma de tabla o archivo CSV. Una vez que se crea el caso de prueba parametrizado, puede saltar a la fuente de datos para un caso de prueba específico y comenzar a agregar parámetros de prueba, lo cual es tan fácil como editar una hoja de cálculo de Excel o un archivo CSV. Esta funcionalidad reduce el esfuerzo requerido para crear lotes más grandes de pruebas, para eliminar la frustración del usuario. 

Nuevos entornos y compiladores

Los usuarios que desarrollan sus sistemas con Wind River Workbench 4.xy VxWorks 7.x ahora pueden instalar el complemento de prueba Parasoft C / C ++ directamente en su IDE y obtener toda la potencia de múltiples técnicas de prueba en su entorno de desarrollo. El soporte dedicado para la última cadena de herramientas de Wind River Workbench incluye integración de proyectos (sin necesidad de pasos de configuración adicionales) y configuraciones de prueba dedicadas para construir y ejecutar pruebas unitarias o monitoreo de aplicaciones para proyectos DKM y RTP. Y, por supuesto, los usuarios de Workbench tienen a su disposición toda la potencia de más de 2000 verificadores de análisis estático en cualquier momento.  

Además del entorno de desarrollo de Wind River, la versión 10.4.1 agrega soporte para otra arquitectura del conjunto de herramientas IAR, RL78, la última versión de Keil MDK-ARM y el compilador GCC 8.

Este fue un momento muy ocupado para nosotros; ahora tenemos que tomar un respiro, preparar nuestro trabajo pendiente y volver a la mesa de dibujo para empezar a trabajar en la próxima versión. Si es un cliente existente, diríjase al Portal del Cliente para actualizar su software. Si es nuevo en Parasoft y desea un prueba gratuita de la prueba Parasoft C / C ++, dirígete hacia   para agarrarlo. 

Pruebas de desarrollo unificadas para aplicaciones C y C ++

Escrito por

Miroslaw Zielinski

Gerente de producto para las soluciones de prueba integradas de Parasoft, las especialidades de Miroslaw incluyen C / C ++, RTOS, análisis de código estático, pruebas unitarias, gestión de la calidad del software para aplicaciones críticas de seguridad y cumplimiento del software con los estándares de seguridad.

Reciba las últimas noticias y recursos sobre pruebas de software en su bandeja de entrada.

Prueba Parasoft