¡Descubre GoogleTest, con certificación TÜV y la tecnología Agentic AI para pruebas de C/C++!
Obtenga los detalles »
Contenido recomendado
WEBINAR
Los equipos de desarrollo de software embebido modernos se enfrentan a una presión cada vez mayor para entregar software con mayor rapidez, manteniendo al mismo tiempo los más altos estándares de calidad, seguridad y cumplimiento normativo. A medida que el código generado por IA, la creciente complejidad de C/C++, las aplicaciones aceleradas por GPU y las cadenas de herramientas en constante evolución se integran en el desarrollo diario, las organizaciones necesitan flujos de trabajo de verificación más inteligentes y automatizados que abarquen el desarrollo, las pruebas, el cumplimiento normativo y las canalizaciones de CI/CD.
Vea a los expertos de Parasoft hablar sobre las últimas innovaciones en C/C++test y C/C++test CT 2026.1. Mediante demostraciones prácticas, verá cómo los flujos de trabajo asistidos por IA, el análisis estático mejorado, la compatibilidad ampliada con estándares y las integraciones más amplias del ecosistema ayudan a los equipos a mejorar la productividad de los desarrolladores, fortalecer la calidad del software y optimizar las actividades de verificación. Descubra cómo un enfoque de verificación unificado puede ayudar a acelerar el desarrollo manteniendo la confianza en el cumplimiento normativo para el software crítico para la seguridad.
Descubrirás:
Esta versión de Parasoft C/C++test y C/C++test CT ayuda a los equipos de software embebido a automatizar la verificación, aprovechar los flujos de trabajo basados en IA e integrar las actividades de calidad y cumplimiento de forma más fluida en el desarrollo diario. El resultado es una entrega más rápida de software más seguro y conforme a las normativas.
Uno de los mayores desafíos que enfrentan los equipos de desarrollo no es solo encontrar defectos de software e infracciones de estándares de codificación, sino corregirlos de manera eficiente. Este desafío está creciendo con el auge de la generación de código asistida por IA. Si bien la IA puede acelerar el desarrollo, el código que produce no siempre es correcto. compatible con estándares como MISRA C/C++ o AUTOSAR C++14, lo que aumenta el esfuerzo necesario para revisar y corregir el software.
Parasoft C/C++test 2026.1 introduce flujos de trabajo de corrección asistidos por IA, impulsados por AI Skills. Estas capacidades especializadas proporcionan a los agentes de IA acceso estructurado a los datos de verificación de Parasoft, la guía de estándares de codificación y el conocimiento de verificación de software integrado, lo que permite recomendaciones de corrección más precisas y que cumplen con los estándares de cumplimiento.
A medida que la IA ayuda a los desarrolladores a escribir código más rápido, la verificación debe mantenerse al día. En lugar de investigar manualmente cada infracción, los desarrolladores pueden usar las capacidades de la IA para recibir orientación específica sobre cómo corregirlas y generar propuestas de actualización de código, manteniendo el control total sobre la revisión y aprobación de los cambios.
El resultado es una reducción del tiempo dedicado a abordar los hallazgos del análisis estático, una mayor productividad del desarrollador, revisiones de código más rápidas y una mayor confianza en cumplimiento de las normas de codificación.
Con C/C++test 2026.1, compatibilidad con el estándar de codificación VVSG 2.0. Asignaciones a enumeraciones de debilidades comunes (CWETambién se han mejorado. Estas mejoras ayudan a los equipos a detectar vulnerabilidades con mayor antelación, comprender mejor los riesgos de seguridad, fortalecer el cumplimiento normativo y mejorar la preparación para las auditorías.
Esto resulta especialmente beneficioso para las organizaciones que deben cumplir con requisitos de seguridad específicos. Los equipos pueden identificar con mayor facilidad las infracciones de los estándares de codificación y las vulnerabilidades de seguridad que podrían afectar al cumplimiento, a la vez que generan evidencia para la certificación y las auditorías. Los mapeos mejorados de CWE ayudan a los equipos a comprender cómo se relacionan los hallazgos con las vulnerabilidades de software conocidas, lo que permite priorizar mejor las acciones correctivas y lograr una mayor alineación con las mejores prácticas de seguridad del sector.
A medida que las organizaciones adoptan tecnologías integradas avanzadas como la IA y la robótica, el software se distribuye cada vez más entre CPU y GPU. NVIDIA CUDA se ha convertido en una herramienta clave para muchas aplicaciones de alto rendimiento. Sin embargo, las herramientas de análisis estático tradicionales suelen tener dificultades con las estructuras de programación propias de las GPU, lo que genera resultados inexactos o defectos no detectados.
C/C++test 2026.1 se expande Compatibilidad con análisis estático para CUDA C y C++Esto permite una mejor comprensión del lenguaje CUDA y de las estructuras de programación específicas de la GPU. El resultado es un análisis más preciso, menos tiempo dedicado a falsos positivos y una mayor visibilidad de los defectos y vulnerabilidades en las aplicaciones CUDA.
Ahora, las organizaciones pueden aplicar las mismas prácticas de verificación de seguridad, protección y calidad tanto en sistemas basados en CPU como en sistemas acelerados por GPU, lo que crea un proceso de verificación más consistente y escalable. Esto es importante dado el creciente uso de GPU en sectores como el automotriz, el aeroespacial y la automatización industrial.
La complejidad del código tiende a aumentar con el tiempo, lo que dificulta el mantenimiento del software, encarece su verificación y complica su comprensión. Esto también representa un desafío para el código generado por IA, donde la complejidad puede acumularse rápidamente si no se supervisa.
C/C++test 2026.1 introduce una nueva función de informes de complejidad de código. Los equipos pueden generar informes HTML detallados que ofrecen visibilidad de las métricas de complejidad en todo el código fuente sin necesidad de la solución independiente Parasoft DTP. Esto permite a los equipos identificar posibles problemas con antelación, controlar la deuda técnica y tomar mejores decisiones sobre la refactorización.
Esta visibilidad cobra cada vez más importancia con el código generado por IA. Contar con información tanto del código escrito por humanos como del generado por IA ayuda a mantener la calidad del software a largo plazo. Estos informes pueden generarse localmente por los desarrolladores o automáticamente en los flujos de CI/CD, lo que permite una monitorización continua durante todo el ciclo de vida del desarrollo de software.
Con el tiempo, las supresiones de análisis estático pueden acumularse. Si bien muchas eran válidas al momento de su implementación, los cambios en el código, la evolución de los estándares y las actualizaciones del proyecto pueden hacerlas innecesarias. Esto genera costos de mantenimiento y dificulta la confianza en los registros de supresión.
C/C++test 2026.1 introduce una nueva función para identificar supresiones no utilizadas directamente en los informes de análisis estático. Los equipos pueden encontrar y eliminar rápidamente las supresiones que ya no son necesarias, manteniendo así configuraciones de análisis limpias y precisas. Esto ahorra tiempo en la gestión de supresiones obsoletas, mejora la confianza en los resultados del análisis estático y facilita la presentación de pruebas de cumplimiento para las auditorías.
Al evaluar soluciones de verificación, la compatibilidad con las herramientas de desarrollo es una preocupación fundamental para los equipos de desarrollo de sistemas embebidos. Las herramientas de verificación deben integrarse de forma natural en los entornos de desarrollo existentes, sin requerir esfuerzos de integración adicionales ni obligar a los equipos a modificar su forma de desarrollar software.
C/C++test 2026.1 continúa ampliando su compatibilidad con una amplia gama de compiladores modernos y entornos de herramientas. Esto ayuda a las organizaciones a modernizar su ecosistema de desarrollo sin perder su proceso de verificación actual. Los equipos pueden adoptar versiones más recientes de compiladores, admitir arquitecturas de destino adicionales e integrar Parasoft fácilmente en sus flujos de trabajo existentes, reduciendo el riesgo de desarrollo y simplificando la adopción.
C/C++test CT añade funcionalidades para equipos de desarrollo que requieren alta seguridad, como cobertura de código estructural, trazabilidad de requisitos e informes de cumplimiento. Puede combinarse con C/C++test para una estrategia de verificación unificada.
Para la versión 2026.1, C/C++test CT continúa ampliando el soporte para la Certificación TUV de GoogleTestTambién incluye soporte adicional para entornos de compilación modernos como GCC 12 y 15, y Clang 20 y 21, así como para compiladores específicos de TI y Tasking. Esto ayuda a reducir el esfuerzo y el riesgo asociados con la cualificación de herramientas.
Lograr una cobertura de condición/decisión modificada (MC/DC) puede ser un desafío. Encontrar las brechas de cobertura suele ser la parte fácil; comprender por qué existen y cómo crear casos de prueba para solucionarlas es la verdadera dificultad.
C/C++test CT 2026.1 amplía sus capacidades de verificación asistida por IA para automatizar muchas de estas actividades. Ahora puede analizar las brechas de cobertura de MC/DCPermite identificar condiciones no cubiertas y resultados de decisiones, recomendar vectores de prueba faltantes, generar casos de prueba específicos y ayudar con la justificación de la cobertura. Esto ayuda a los equipos a dedicar menos tiempo al análisis manual de informes, acelerar la creación de pruebas, mejorar la coherencia de la evidencia de cumplimiento y alcanzar los objetivos de cobertura de manera más eficiente.
Esto resulta especialmente valioso para las organizaciones que desarrollan software bajo estándares como ISO 26262, DO 178C e IEC 61508, donde la cobertura MC/DC es fundamental.
Para reducir las fricciones en el proceso de desarrollo, las capacidades de verificación se están acercando al lugar donde se desarrolla el software. Cambiar entre entornos de desarrollo integrados (IDE), paneles de control y herramientas de análisis puede resultar engorroso.
Parasoft está entusiasmado con su Integración con JetBrains CLionGracias a esta integración, los equipos pueden acceder a las capacidades de análisis estático de Parasoft directamente en el IDE CLion. Esto permite identificar defectos, vulnerabilidades de seguridad e infracciones de los estándares de codificación sin salir de CLion. La verificación se integra en el flujo de trabajo diario de desarrollo, lo que facilita la identificación y resolución temprana de problemas, reduce los cambios de contexto y mejora la productividad.
Esta integración se alinea con la estrategia de IA de Parasoft, que combina flujos de trabajo IDE modernos con análisis y corrección asistidos por IA para acelerar la resolución de problemas, manteniendo al mismo tiempo la calidad y las expectativas de cumplimiento.
Este seminario web también muestra un flujo de trabajo de integración continua (CI) impulsado por IA que corrige automáticamente las infracciones del análisis estático. Cuando un desarrollador abre una solicitud de extracción, la canalización de CI activa el análisis estático. Si se detectan infracciones, se le indica a un agente de IA que las corrija automáticamente. El agente aplica las correcciones en una rama independiente, creando confirmaciones con descripciones para facilitar su revisión. A continuación, abre otra solicitud de extracción para que el desarrollador combine las correcciones.
Este flujo de trabajo utiliza las habilidades de C++test disponibles en GitHub. El agente puede corregir todas las infracciones o una por una. La demostración mostró un fallo en el pipeline debido a infracciones, pero el agente de IA las corrigió con éxito, generando una solicitud de extracción de corrección automática. Tras fusionarla, el pipeline se ejecutó correctamente, lo que indica que el código estaba limpio y listo para integrarse en la rama principal.
