X
BLOG

¡Lanzamos la prueba de Parasoft C / C ++ 10.4.2!

¡Lanzamos la prueba de Parasoft C / C ++ 10.4.2! Tiempo de leer: 3 minutos
La nueva versión de la prueba Parasoft C / C ++ incluye mejoras en el análisis estático, compatibilidad con AUTOSAR C ++ 14 versión 18.10 y un módulo de cobertura de código mejorado. Qué significa todo esto? Lea más a continuación.

El 29 de enero, los consorcios MISRA y AUTOSAR anunciaron una fusión de los dos estándares de codificación más populares para el desarrollo de C ++ crítico para la seguridad, aclarando dos cosas fundamentales:

  • AUTOSAR C ++ 14 se actualizará para reflejar los cambios en el lenguaje C ++, introducido en C ++ 17
  • No habrá dos estándares de codificación competitivos en el mercado para el desarrollo orientado a la seguridad en C ++

Esta es una excelente noticia para el creciente número de organizaciones que desarrollan sistemas críticos para la seguridad en C ++, que ahora pueden invertir con confianza en sus procesos de cumplimiento de AUTOSAR C ++ 14 porque el futuro del estándar está bien definido.  

Con la expectativa de que ocurriera esta fusión, Parasoft invirtió fuertemente en mejorar el soporte para las pautas de codificación AUTOSAR C ++ 14. El último lanzamiento de Parasoft C / C ++test trae un paquete de cumplimiento automotriz actualizado y mejoras en el rendimiento del análisis estático. Los equipos que trabajan con grandes bases de código ahora pueden mejorar su productividad mediante ciclos de retroalimentación más cortos y la capacidad de revisar los resultados recientemente después de que se cambió el código fuente.

En el lado de las pruebas en tiempo de ejecución, trabajamos para ayudar a nuestros clientes a recopilar métricas de cobertura de código de las pruebas a nivel de aplicación / sistema. Un módulo de cobertura de código mejorado simplifica el proceso de configuración, permite a los usuarios recopilar todo tipo de métricas de cobertura de pruebas de sistema / integración / unidad y admite fusionarlas para generar informes unificados.

¡Lea más abajo!

El paquete de cumplimiento automotriz ahora es compatible AUTOSAR C ++ 14 Versión 18.10

El paquete de cumplimiento automotriz de pruebas de Parasoft C / C ++ ahora es compatible con la última versión de AUTOSAR C ++ 14 Coding Standard. La versión más reciente, 18.10, se lanzó en octubre de 2018 e introduce mejoras significativas con respecto a las ediciones anteriores de las pautas de codificación. Hay nuevas pautas agregadas al estándar, y  algo las pautas tienen nuevos ID. Equipos planificar la migración a la última edición de las directrices de codificación Debería reservar algo de tiempo para analizar las mejoras en la norma para evitar sorpresas al revisar los informes de cumplimiento.   

La nueva versión de prueba de C / C ++ brinda la mejor cobertura para el estándar de codificación AUTOSAR disponible en el mercado, combinada con informes de cumplimiento dedicados. Esta poderosa solución ayuda a las organizaciones a crear un código compatible con AUTOSAR C ++ 14 a acelerar el proceso para lograr el cumplimiento. El marco de informes ayuda a administrar el proceso de cumplimiento y genera automáticamente la documentación de cumplimiento conforme al estándar “MISRA 2016”, lo que reduce significativamente la sobrecarga manual de las actividades de cumplimiento. 

Rendimiento mejorado del análisis estático

Con la versión 10.4.2 de la prueba C / C ++, el motor de análisis estático responsable de monitorear el cumplimiento de las reglas basadas en patrones ahora está optimizado para reducir el tiempo de análisis en compilaciones incrementales y acortar los ciclos de retroalimentación entre la modificación del código y la revisión de los resultados del análisis estático.

La mejora responde al tamaño cada vez mayor de las bases de código y al uso cada vez mayor de sistemas de compilación avanzados como Bazel, que utilizan en gran medida el almacenamiento en caché de todo el equipo y un enfoque incremental para compilar el código fuente. Se espera que los ciclos de retroalimentación más cortos mejoren al desarrollador productividad, ya que pueden reaccionar antes a los problemas informados mientras el código modificado todavía está fresco en su mente. Estas optimizaciones se diseñaron para la implementación de CI / CD, pero los usuarios que trabajan en el IDE también pueden beneficiarse de ellas y experimentar un análisis abreviado. 

Mejoras para recopilar cobertura de código a partir de pruebas de aplicaciones

Para ayudar a nuestros usuarios a monitorear de manera efectiva la minuciosidad de sus pruebas de nivel de integración / sistema, hemos mejorado la prueba Parasoft C / C ++ módulo de cobertura de código para soportar mejor los sistemas de construcción complejos. Los usuarios ahora pueden seleccionar la ruta de configuración simplificada sin crear un proyecto dedicado en el IDE para preparar el binario instrumentado. La prueba C / C ++ ahora proporciona un peso ligero utilidad de cobertura de código que puede integrarse fácilmente en cualquier sistema de compilación y utilizarse para preparar binarios de prueba. La construcción de cobertura generada se puede ejercer con un conjunto de escenarios de prueba de un usuario, y los registros de cobertura recopilados se pueden fusionar para obtener la imagen completa de los resultados de cobertura del código. Además, los usuarios pueden combinar los resultados de cobertura de código del sistema, la integración y las pruebas a nivel de unidad para obtener una imagen completa de sus esfuerzos de prueba.  

Los informes se pueden generar automáticamente utilizando la interfaz de línea de comandos o cargarse en IDE para el análisis de los desarrolladores y cerrar las brechas con pruebas de unidades puntuales. La solución mejorada utiliza componentes de prueba C / C ++ previamente existentests para proporcionar la forma más efectiva de lograr el 100% de la cobertura de código para las métricas populares de la industria, comenzando por la cobertura de declaraciones, pasando por la cobertura de bloqueo, llamada y condición, y terminando en la métrica de cobertura MC / DC.

Buscando into el futuro 

Nuestras últimas tres versiones se centraron principalmente en mejorar el análisis estático. Trabajamos para hacer que nuestros verificadores de análisis estáticos sean más precisos, eficientes en el tiempo y para brindar a nuestros usuarios la mejor cobertura para los estándares de codificación de seguridad más importantes del mercado. ¡Estamos recibiendo muy buenos comentarios! Los clientes aprecian especialmente la amplia cobertura de CERTMISRAAUTOSAR - un factor crítico a la hora de seleccionar una nueva herramienta de análisis estático en un mercado muy competitivo.  

Mirando hacia el futuro cercano, invertiremos algo más de tiempo en las capacidades de pruebas dinámicas de las pruebas C / C ++, especialmente las examen de la unidad estructura. Tenemos una colección de innovaciones en cola en nuestra cartera de pedidos que están pidiendo a gritos que se implementen. No podemos dejarlos esperando demasiado ... ¡espere algunas cosas interesantes para probar unidades en el otoño de este año!

Obtenga una solución de prueba de desarrollo unificada de C y C ++ para proyectos de software integrados y críticos para la seguridad

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