X
BLOG

La prueba de Parasoft C / C ++ 2020.1 ya está aquí

La prueba de Parasoft C / C ++ 2020.1 ya está aquí Tiempo de leer: 6 minutos

Presentamos la primera versión de la prueba Parasoft C / C ++ en 2020: 2020.1! Puede notar que el esquema de control de versiones se ve diferente. En el pasado, todas las herramientas de Parasoft tenían versiones con números incrementales. A partir de este año, las versiones de todos los lanzamientos incluirán el año seguido del número del lanzamiento en ese año.

Durante los últimos meses, nuestro equipo se tomó el tiempo de analizar cómo mejorar las pruebas de C / C ++ para adaptarse mejor a los entornos en evolución. Creamos nuevas funcionalidades y mejoras a las funciones principales existentes. La prueba C / C ++ 2020.1 trae una colección de nuevas y emocionantes funcionalidades.

Soporte para entornos de desarrollo en evolución

La evolución de los entornos de desarrollo se está acelerando. Los sistemas nuevos y avanzados que a menudo se basan en inteligencia artificial requieren una gran cantidad de código fuente, que no se puede desarrollar con las mismas herramientas, metodologías y flujos de trabajo del pasado. Con la prueba 2020.1 de C / C ++, nuestro objetivo era acomodar estos pasos evolutivos y producimos un conjunto de ofertas que hacen precisamente eso.

Extensión de código de Visual Studio para análisis estático

Existe una tendencia entre los equipos de desarrollo a pasar de IDE pesados ​​a editores ligeros y extensibles. En parte porque las grandes bases de código que contienen millones de líneas de código son demasiado difíciles para los IDE tradicionales.

Visual Studio Code es un excelente ejemplo de un editor ligero extensible. En el Encuesta anual para desarrolladores de Stack Overflow para 2019, VS Code dominó por completo la categoría de entornos de desarrollo más populares. Por eso estoy feliz de anunciar Extensión de análisis estático de prueba de C / C ++ para Visual Studio Code Editor.

Si está desarrollando con VSCode, ya no necesita dejar atrás su editor favorito para ejecutar análisis estáticos, revisar resultados o corregir infracciones notificadas.

¿Quizás está tratando de lograr el cumplimiento de MISRA o AUTOSAR C ++? Todo se puede hacer desde VSCode.

La extensión de prueba C / C ++ para VSCode se puede encontrar dentro de la distribución estándar de prueba C / C ++ (archivo vsix) o se puede acceder desde el Mercado de código de Visual Studio. Puede obtener más información sobre las características de la extensión en nuestra próxima publicación de blog de VSCode.

Implementaciones Dockerized

Las implementaciones en contenedores de herramientas de software son el nuevo mantra para los equipos de desarrollo. Usted puede:

  • Admite sin problemas nuevas versiones del compilador.
  • Proporcione parches de seguridad a las bibliotecas.
  • A bordo de 25 nuevos desarrolladores sobre la marcha.

Estas y muchas otras tareas engorrosas y que requieren mucho tiempo se simplifican con los contenedores. Son geniales de muchas maneras.


El lanzamiento de C / C ++ test 2020.1 ofrece una colección de mejoras que facilitan su uso con contenedores Docker.

La prueba C / C ++ admite cualquier compilador que se implemente en el contenedor, así como la implementación de la propia herramienta de prueba Parasoft C / C ++ dentro del contenedor. Es fácil de configurar la prueba de Parasoft C / C ++ para que funcione en un entorno en contenedores para análisis estático y pruebas unitarias. También puede crear una imagen de contenedor que esté lista para ejecutar un análisis estático.

¿Querer aprender más? Consulte nuestro seminario web, Implementaciones en contenedores de cadenas de herramientas de desarrollo integradas.

Extensión de CMake

CMake es probablemente la herramienta más popular para administrar compilaciones y pruebas, empaquetar software e implementarlo en el mundo C / C ++. A los equipos les encanta CMake porque abstrae los objetivos de compilación y genera automáticamente los scripts de compilación para varios motores de compilación. También es importante mencionar que se escala fácilmente para proyectos grandes.

Parasoft C / C ++ test 2020.1 ofrece una extensión CMake, que simplifica la introducción de pruebas de software automatizadas en el proceso de compilación.

El análisis estático también se puede integrar sin esfuerzo con la ayuda de archivos JSON de información de compilación generados por CMake. Aprenda cómo en nuestra publicación de blog, Uso de la prueba Parasoft C / C ++ con CMake para análisis estático.

Prueba de unidad de prueba C / C ++ con CMake ahora es más fácil. Los objetivos de pruebas unitarias especiales que generan automáticamente la infraestructura de prueba necesaria se pueden definir en archivos CMakeLists.txt con una función dedicada que se proporciona con la extensión de prueba C / C ++.

Impulsar las pruebas unitarias de creación

La creación de pruebas unitarias productivas siempre ha sido un desafío. El cumplimiento de los estándares de seguridad funcional exige software de alta calidad, lo que impulsa la necesidad de conjuntos de pruebas que afecten y produzcan estadísticas de alta cobertura de código. Los equipos requieren casos de prueba unitaria que les ayuden a lograr una cobertura de código del 100%.

Esto es más fácil dicho que hecho. Analizar ramas en el código y tratar de encontrar razones por las que ciertas secciones de código no están cubiertas sigue robando ciclos a los equipos de desarrollo.

La innovación de Parasoft resuelve el problema

El lanzamiento de la prueba C / C ++ introduce la nueva funcionalidad que ayuda a resolver las brechas de cobertura en el código. Parasoft descubrió cómo utilizar el análisis de código estático avanzado (análisis de flujo de control y datos) para encontrar valores para los parámetros de entrada necesarios para ejecutar líneas específicas de código descubierto.


Seleccione la línea de código que desea cubrir y el asesor de cobertura le dirá qué valores de entrada, variables globales y llamadas externas necesita para estimular el código y obtener cobertura.

Parasoft presentó esta capacidad en el Embedded World 2020 evento, y fue muy bien recibido por la audiencia de la conferencia, así como por los profesionales de la industria que visitaron nuestro stand.

Priorización automática de los resultados del análisis estático basada en el aprendizaje automático

Uno de los mayores desafíos en la adopción del análisis estático es la capacidad de distinguir las violaciones importantes de las menos importantes. Los problemas críticos deben abordarse primero. Los hallazgos de baja prioridad o ruidosos deben ignorarse o la reacción debe posponerse hasta que se aborden los resultados críticos.

En la versión 2020.1 de prueba de C / C ++, Parasoft presenta una funcionalidad innovadora basada en AI y ML para mejorar el análisis estático con una capacidad de priorización automatizada. La funcionalidad amplía las capacidades centrales de DTP de Parasoft al aprender de la interacción del desarrollador con los resultados del análisis estático y aplica el modelo entrenado para priorizar automáticamente las infracciones detectadas recientemente.

Esta innovación permite a las organizaciones mejorar de inmediato la productividad al reducir el esfuerzo manual en su esfuerzo por la calidad del software y asegurarse de que dedican su valioso tiempo a lo más importante.

Actualización de MISRA C: 2012 Enmienda 2

MISRA C: 2012 sigue siendo el estándar de codificación más popular para el lenguaje de programación C. Se actualizó recientemente para admitir la evolución del lenguaje C. MISRA C: 2012 Enmienda 2 ahora admite el estándar de codificación C11 y C18.

La enmienda 2 adopta el enfoque restrictivo y prohíbe el uso de las nuevas extensiones de lenguaje, que aún no se han analizado completamente por su impacto en la seguridad; hay nuevas pautas para ello. Se esperan pautas más específicas en el futuro.

Parasoft es el primer proveedor que admite MISRA C: 2012 Enmienda 2. El lanzamiento de la prueba C / C ++ 2020.1 cubre todo el nuevo conjunto de pautas.

Marco de pruebas unitarias mejorado para soportar mejor las pruebas de código de nivel de kernel

Los dispositivos integrados con varios sensores y actuadores se están volviendo cada vez más complicados y el código fuente de los controladores también se está volviendo complejo. Muchos equipos luchan por construir el proceso de prueba que les permitiría certificar sus proyectos de seguridad funcional.

Recibimos múltiples solicitudes para ayudar a automatizar el proceso. Nuestro marco de prueba de unidades mejorado se utilizó con éxito para probar el código del kernel de Linux y LynxOS 178.

Conjunto de reglas AUTOSAR C ++

La prueba Parasoft C / C ++ proporciona una cobertura del 100% para las pautas automatizadas requeridas y se encuentra en la posición de liderazgo en el soporte del estándar de codificación AUTOSAR C ++. Parasoft continúa trabajando en algunas fichas para la categoría parcialmente automatizada.

Esta es la categoría del estándar que no se puede reemplazar por completo con el análisis estático (por la naturaleza de las pautas), pero hay mucho espacio donde la herramienta puede ayudar y reducir la cantidad de gastos generales manuales. La versión 2020.1 de la prueba Parasoft C / C ++ trae cinco nuevos verificadores para el estándar de codificación C ++ más importante.

Preparación para la prueba C / C ++ 2020.2

Con la actual crisis de salud mundial, todos vivimos un momento excepcional en la historia. La gente de Parasoft trabajó duro desde sus oficinas en casa para entregar con éxito la versión 2020.1 de C / C ++ text con todas las características que prometimos. Seguimos concentrados y ya hemos comenzado a trabajar en la próxima versión. 2020.2 llegará en octubre. ¡Manténganse al tanto!

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