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.
Use Insure ++ para reducir su costo de desarrollo y eliminar largas horas de tediosa depuración.
Cumpla sus plazos identificando los problemas de gestión de la memoria de forma temprana y no en el campo. Lanzamiento de software que funciona como debería a lo largo del tiempo sin depender de ciclos de prueba de larga duración para encontrar errores relacionados con la memoria.
Descubra los defectos asociados con la memoria imposibles de encontrar antes de su lanzamiento, para que no pierda el tiempo persiguiendo los defectos más adelante.
Gane tranquilidad. Detecte todos los defectos relacionados con la memoria durante las pruebas del sistema, mientras todo el código, incluidas las bibliotecas de terceros, está integrado.
Usa lo que tienes. Parasoft Insure ++ se integra con una amplia variedad de marcos y sistemas de construcción. Pruebe y escale dentro de su entorno de desarrollo existente.
Permite realizar análisis de código estático, crear y ejecutar pruebas unitarias y analizar informes de cobertura de código directamente en el IDE de Microsoft Visual Studio. Los usuarios pueden escanear sus proyectos para verificar el cumplimiento de los estándares de seguridad (por ejemplo, MISRA, AUTOSAR) y los estándares de seguridad (por ejemplo, OWASP, CWE, CERT, PCI DSS, UL 2900) y detectar errores reales con análisis estático, identificar regresiones con pruebas unitarias automatizadas y encontrar lagunas en la cobertura del código.
visualstudio.microsoft.comPermite que las herramientas de Parasoft definan el alcance y determinen la autoría durante el análisis de código y la ejecución de pruebas. Además, el código fuente y los metadatos asociados se pueden mostrar en el tablero de informes centralizado de Parasoft, DTP de Parasoft.
git-scm.comPermite a los equipos integrar las pruebas continuas en su infraestructura de CI.
El complemento Parasoft Findings permite que los resultados de las herramientas de análisis y prueba de Parasoft se integren en los informes de Jenkins y en las canalizaciones de compilación y lanzamiento de puerta en función de esos resultados de prueba.
El complemento Parasoft Environment Manager permite la configuración rápida de entornos de prueba virtuales y la ejecución de trabajos de prueba.
jenkins.ioPermite a las organizaciones asociar el riesgo con los requisitos comerciales al correlacionar los hallazgos de análisis estáticos y los resultados de las pruebas con requisitos, historias de usuarios y defectos. Los resultados de las pruebas pueden enviarse a Jira y agregarse dentro de DTP de Parasoft para una trazabilidad bidireccional completa. Además, la creación de nuevos problemas y defectos se puede automatizar en función de la revisión y clasificación de fallas de prueba y violaciones de análisis estático en Parasoft DTP.
atlassian.com/software/jiraPermite el uso de análisis de código estático de Parasoft, marco de pruebas unitarias y motor de cobertura de código junto con cadenas de herramientas GNU. Los usuarios pueden escanear sus proyectos para verificar el cumplimiento de los estándares de codificación como MISRA, AUTOSAR o CERT, identificar errores reales con análisis estático, identificar regresiones con pruebas unitarias automatizadas y encontrar brechas de cobertura de código.
gcc.gnu.orgPermite que las herramientas de Parasoft definan el alcance y determinen la autoría durante el análisis de código y la ejecución de pruebas. Además, el código fuente y los metadatos asociados se pueden mostrar en el panel de informes centralizado de Parasoft.
subversion.apache.org