Únase a nosotros el 30 de abril: Presentación de la prueba CT de Parasoft C/C++ para pruebas continuas y excelencia en el cumplimiento | Regístrese ahora
Prueba de Parasoft C/C++ y prueba de C/C++ CT
Prueba de Parasoft C/C++ y prueba de C/C++ CT
Detecte defectos temprano y ahorre dinero integrando la prueba Parasoft C/C++ en el desarrollo de software de aplicaciones integradas de seguridad y protección críticas. Garantice el cumplimiento de diversos estándares de codificación, protección y seguridad funcional.
Eleve la calidad del código y aumente la productividad del desarrollo integrando Parasoft C/C++test CT en el proceso de CI/CD. Automatice el proceso de prueba y garantice el cumplimiento de los estándares de seguridad funcional para aplicaciones integradas de seguridad y protección críticas.
C/C++test es una poderosa solución de automatización de pruebas de software para la seguridad y confiabilidad de aplicaciones C y C++. Estrechamente acoplado con IDE populares como Eclipse y MS Visual Studio, la prueba Parasoft C/C++ ofrece una solución de prueba unificada con análisis estático, pruebas unitarias, cobertura de código estructural y trazabilidad de requisitos para entregar código C y C++ de alta calidad.
Los equipos pueden automatizar el proceso de prueba integrando la prueba C/C++ en la canalización de CI/CD con su interfaz de línea de comandos.
C/C++test CT es una solución escalable diseñada para equipos grandes y pequeños con necesidades de cumplimiento en seguridad de software de aplicaciones C y C++. A diferencia de las herramientas tradicionales restringidas a IDE o GUI específicos, C/C++test CT se integra perfectamente en diversos flujos de trabajo de CI/CD y entornos de escritorio.
Se integra naturalmente con marcos de prueba unitarios de código abierto populares como GoogleTest, Boost.Test, CppUnit y soluciones personalizadas. Estos se mejoran aún más con la cobertura de código, la trazabilidad de requisitos y las capacidades de generación de informes de C/C++test CT. La versatilidad de C/C++test CT elimina las dependencias de IDE, lo que lo hace compatible con contenedores y una valiosa extensión para VS Code. Tiene certificación TÜV para su uso en el desarrollo de sistemas críticos para la seguridad.
Prueba C / C ++ |
Prueba C/C++ CT | |
Capacidades | Análisis estático Cobertura de código (solo pruebas unitarias) Prueba unitaria (marco de propiedad) Pruebas de requisitos (con marco propietario) | Cobertura de código (para sistemas, integración y pruebas unitarias) Integración de prueba de Google (y otro marco de código abierto) Pruebas de requisitos (con prueba de Google) |
Usar modelos | Primaria: integraciones IDE Secundaria: Línea de comando, CI/CD | Primario: Línea de comando, CI/CD Secundario: integraciones IDE |
Integraciones IDE | eclipsar | Visual Studio Code (para cobertura de código) |
Instaladores | Complementos de Eclipse/Visual Studio (cremallera) Standalone (cremallera) | Standalone (cremallera) |
Integración de proyectos | Requiere proyectos Eclipse o Visual | No requiere ningún proyecto relacionado con IDE Fácil de integrar en CMake o Bazel |
Prueba C / C ++
Análisis estático
Cobertura de código (solo pruebas unitarias)
Prueba unitaria (marco de propiedad)
Pruebas de requisitos (con marco propietario)
Primaria: integraciones IDE
Secundaria: Línea de comando, CI/CD
eclipsar
Visual Studio
Visual Studio Code (para análisis estático)
Complementos de Eclipse/Visual Studio (cremallera)
Standalone (cremallera)
Requiere proyectos Eclipse o Visual
Prueba C/C++ CT
Cobertura de código (para sistemas, integración y pruebas unitarias)
Integración de prueba de Google (y otro marco de código abierto)
Pruebas de requisitos (con prueba de Google)
Primario: Línea de comando, CI/CD
Secundario: integraciones IDE
Visual Studio Code (para cobertura de código)
Standalone (cremallera)
No requiere ningún proyecto relacionado con IDE
Fácil de integrar en CMake o Bazel
CAPACIDADES DE PRUEBA C/C++
La prueba C/C++ de Parasoft es la solución de prueba de software totalmente integrada para industrias integradas críticas para la seguridad. Sus capacidades de prueba de software automatizadas también están diseñadas para los entornos Agile DevOps de alta velocidad actuales.
Se integra estrechamente en su IDE de C y C++, canalización de CI/CD e implementaciones en contenedores para detectar defectos antes y exigir automáticamente el cumplimiento de los estándares de la industria.
Aplique el conjunto más completo de técnicas de análisis de código fuente (análisis basado en patrones, análisis de flujo de datos, interpretación abstracta, métricas, etc.) y verifique la calidad del código con los últimos estándares de la industria, como MISRA C 2023, MISRA C++ 2023, AUTOSAR C++. 14 y más.
Aísle funciones de código o unidades de código mediante stubping, donde los desarrolladores pueden crear rápidamente pruebas unitarias sólidas y/o generar automáticamente pruebas unitarias que garanticen la seguridad y confiabilidad del código. Ejecute estas pruebas en cualquier entorno de destino multiplataforma, host, virtual o de hardware.
Recopile la cobertura del código como parte del proceso de integración continua (CI) y el flujo de trabajo del escritorio del desarrollador. Por lo general, esto se realiza mediante pruebas unitarias, pruebas del sistema, pruebas manuales y todos los demás métodos de ejecución de pruebas utilizados, incluidas las pruebas en el hardware de destino.
Supervise su aplicación en ejecución, detectando problemas relacionados con el tiempo de ejecución, como pérdidas de memoria, daños en la memoria, lectura de memoria no inicializada y desbordamientos del búfer que podrían provocar problemas de estabilidad, comportamiento impredecible y vulnerabilidades de seguridad. Utilice configuraciones de prueba predefinidas para admitir aplicaciones nativas e integradas con asignaciones de memoria estilo C (malloc o gratuita).
Aplique el conjunto más completo de técnicas de análisis de código fuente (análisis basado en patrones, análisis de flujo de datos, interpretación abstracta, métricas y más) y verifique la calidad del código con los últimos estándares de la industria, como CERT C, CERT C++, CWE, OWASP y otros.
Automatice el análisis estático, las pruebas unitarias y la cobertura de códigos para satisfacer los estándares de seguridad funcional con la prueba C/C++ certificada por TÜV SÜD. También automatice los requisitos de verificación y validación definidos en estándares de procesos como automoción (ISO 26262, ISO 21434), militar/aeroespacial (DO-178C DAL-A), médico (IEC 62304), automatización industrial (IEC 61508), ferrocarril (EN 50128). ), y otros.
Los paneles de informes dinámicos basados en la web de Parasoft DTP incluyen informes de cumplimiento, widgets personalizables, navegación de código fuente, filtrado avanzado y análisis avanzados. DTP también completa y automatiza la trazabilidad de requisitos entre casos de prueba en C/C++, el código y requisitos en herramientas ALM como Polarion, Codebeamer, Jama y Jira.
El soporte de aplicaciones críticas para la seguridad implica integraciones con un conjunto completo de cadenas de herramientas de compilación, hardware de destino, control de fuente, herramientas de gestión de requisitos, soluciones ágiles y más. Integre estrechamente en los IDE de C y C++, canalizaciones de CI/CD e implementaciones en contenedores más populares para detectar defectos antes y exigir automáticamente el cumplimiento de los estándares de la industria.
Haga clic a continuación para iniciar una visita autoguiada de la prueba de Parasoft C / C ++. Descubra cómo Parasoft lo ayuda a lograr las demandas de cumplimiento en análisis estático, pruebas unitarias, cobertura de código estructural y más.
Ahorre tiempo y dinero encontrando y solucionando defectos antes para evitar problemas más complicados y costosos en el futuro.
Cumpla con los estándares de su industria y genere automáticamente informes de verificación mediante la automatización de pruebas.
Mejorar la productividad. Aproveche nuestra IA y aprendizaje automático para reducir la carga de sus equipos y garantizar que los problemas de diseño graves se aborden primero.
Prueba de Parasoft C / C ++ 2023.2
Los equipos de desarrollo entregan código de mayor calidad y son más productivos con Parasoft C/C++test 2023.2, que incluye un aumento del 25 % en el rendimiento del análisis estático.
CAPACIDADES DE PRUEBA DE CT DE C/C++
Parasoft C/C++test CT es una solución esencial diseñada específicamente para grandes equipos dedicados al desarrollo de aplicaciones C y C++ críticas para la seguridad. Diseñado para la automatización de pruebas y el cumplimiento continuo de objetivos de cobertura de código, pruebas unitarias y trazabilidad de requisitos.
C/C++test CT amplía los flujos de trabajo de desarrollo con cobertura de código al integrarse con marcos de prueba unitarios e IDE propietarios. La cobertura de código de línea, declaración, condición simple, decisión, rama, función, llamada y MC/DC se puede integrar estrechamente con marcos de prueba unitarios propietarios como GoogleTest e IDE como VS Code.
Vincule todos los casos de prueba creados utilizando marcos de pruebas unitarias de código abierto con sus requisitos. A continuación, verifique los resultados de la ejecución de la prueba con la cobertura del código del caso de prueba para lograr la trazabilidad completa requerida para las aplicaciones críticas para la seguridad.
Automatice la cobertura de códigos y la trazabilidad de requisitos para satisfacer los estándares de seguridad funcional con CT de prueba C/C++ certificado por TÜV SÜD para automoción (ISO 26262, ISO 21434), militar/aeroespacial (DO-178C DAL-A) y médico (IEC 62304). , automatización industrial (IEC 61508), ferroviaria (EN 50128) y otros.
Demuestre el cumplimiento de los informes generados automáticamente por Parasoft DTP. El panel web de DTP complementa la prueba CT de C/C++ con informes de cobertura, gráficos y tendencias, destacando áreas que requieren pruebas adicionales. Luego, los equipos pueden priorizar los esfuerzos en función de las brechas de cobertura y la funcionalidad crítica. La combinación de informes completos y pruebas C/C++ de trazabilidad de requisitos de CT con pruebas de cobertura de código infunde confianza en la seguridad y confiabilidad del software entregado.
Con su diseño liviano y su intuitiva interfaz de línea de comandos, C/C++test CT se integra con los principales marcos de pruebas unitarias de código abierto, como GoogleTest, CPPUnit y más. Es una solución de prueba optimizada que se conecta perfectamente a los procesos de CI/CD existentes, lo que permite a los equipos mejorar la cobertura del código y garantizar la trazabilidad de los requisitos con una facilidad y eficiencia incomparables, revolucionando el desarrollo de aplicaciones integradas críticas para la seguridad.
Haga clic a continuación para iniciar un recorrido autoguiado por la prueba CT de Parasoft C/C++. Descubra cómo Parasoft lo ayuda a lograr las demandas de cumplimiento en la cobertura de códigos estructurales, trazabilidad de requisitos y más
Aumente la productividad y satisfaga los requisitos de cumplimiento en torno a la cobertura del código estructural mediante la implementación de pruebas CT de C/C++ dentro de marcos de pruebas unitarias como GoogleTest.
Integre perfectamente tanto en los entornos de escritorio de los desarrolladores como en los flujos de trabajo de CI/CD modernos para automatizar las pruebas de software durante el desarrollo de software.
Desbloquee una gran cantidad de datos invaluables presentados a través de paneles dinámicos y gráficos detallados con el sistema de informes central integrado basado en web incluido con C/C++test CT.
INTEGRACIONES
Parasoft C/C++test y Parasoft C/C++test CT se integran con una variedad de marcos de pruebas unitarias de código abierto, IDE, soluciones ALM y sistemas de compilación/CI.
Cumplimiento de C/C++
Verifique que las aplicaciones cumplan con diversos estándares de seguridad funcional, protección y codificación. Generar automáticamente la documentación requerida para demostrar el cumplimiento.
Satisfaga perfectamente los estándares de seguridad funcional específicos de la industria para el desarrollo de C y C++ con pruebas continuas, desde la detección de defectos hasta el análisis estático, pruebas unitarias y evaluación de riesgos mediante la cobertura de código.
Integre un flujo de trabajo de desarrollo consciente de la seguridad para ayudar a satisfacer los estándares de seguridad líderes en la industria mediante análisis estático para la detección de vulnerabilidades, pruebas unitarias sólidas para garantizar la resiliencia del código y una cobertura integral del código para la evaluación de riesgos.
Automatice la vinculación de requisitos y casos de prueba cruciales para completar la matriz de trazabilidad de requisitos exigida para la certificación de aplicaciones críticas para la seguridad.
Entregue código C y C++ seguro, confiable y compatible con Parasoft.
puntoPRUEBA 
DTP 
jprueba 
Prueba SOA 
Virtualizar 
Asegurar ++ 
CTP 
Selenico 
