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.
Los estándares de seguridad funcional como IEC 61508 y sus derivados requieren que las organizaciones demuestren que el software y los requisitos de seguridad se cumplen y se prueban completamente. Durante más de 30 años, Parasoft ha ayudado a las organizaciones a seguir dichos estándares a través de las mejores prácticas requeridas, como pruebas unitarias, cobertura de pruebas, métricas de software, trazabilidad y análisis de código estático con soporte integrado para MISRA, CERT y otros estándares de codificación de la industria de automatización.
El conjunto de herramientas integrado de Parasoft proporciona a los equipos una forma práctica de prevenir, exponer y corregir errores para garantizar que su código C y C ++ funcione como se espera y cumpla con los requisitos. Para promover una solución rápida, cada problema detectado se prioriza en función de asignaciones de gravedad configurables, se asigna automáticamente al desarrollador que escribió el código relacionado y se distribuye a su IDE con enlaces directos al código problemático y una descripción de cómo solucionarlo. Para el desarrollo integrado y multiplataforma, puede utilizar la prueba C / C ++ en flujos de prueba y análisis de código basados en host y en destino.
La prueba Parasoft C / C ++ ayuda a los equipos de desarrollo de software de automatización industrial a satisfacer los requisitos del proceso de desarrollo y verificación de software definidos por la norma IEC 61508. Cuando se procesan los resultados de la amplia gama de tipos de análisis de código y pruebas automatizados mediante la prueba C / C ++, se informa de análisis inteligentes que reducen significativamente el trabajo requerido para la verificación del software.
Parasoft C/C++test ayuda a las organizaciones a lograr el cumplimiento del código con los estándares de codificación para mejorar la calidad del código, con la mayor cantidad de verificadores (reglas) integrados en el mercado para verificar el cumplimiento de estándares como MISRA C 2023, MISRA C 2012, MISRA C++ 2008, AUTOSAR C++14, HIC++ y más.
Para lograr las mejores prácticas de codificación segura y el cumplimiento del código de seguridad, la prueba Parasoft C / C ++ proporciona el soporte más completo para verificadores incorporados que verifican el cumplimiento de estándares de seguridad como CERT C, CERT C ++, UL 2900, CWE y más.
“MISRA”, “MISRA C” y el logotipo del triángulo son marcas comerciales registradas de The MISRA Consortium Limited. © The MISRA Consortium Limited, 2021. Todos los derechos reservados.
Parasoft minimiza el costo del proceso de cumplimiento de estándares de codificación al proporcionar informes dedicados. Los informes de cumplimiento brindan al usuario una vista dinámica del proceso de cumplimiento, lo que ayuda a priorizar los resultados de las violaciones del análisis estático de acuerdo con las agrupaciones y categorizaciones del estándar de codificación original.
La documentación de cumplimiento es necesaria para demostrar el cumplimiento. Generarlo automáticamente ahorra a los equipos un tiempo valioso cuando los informes y la documentación generados cumplen con el estándar MISRA 2020, que es muy popular en las industrias de automatización.
La prueba de Parasoft C / C ++ detecta problemas complejos similares al tiempo de ejecución al principio de la etapa de desarrollo al analizar las rutas de ejecución a través del código y encontrar posibles errores. Además de más de 2500 reglas y verificadores, Parasoft facilita a los equipos la verificación de las pautas de codificación específicas de la organización con un editor especial para crear verificadores personalizados para extender (o reemplazar) las reglas integradas que se proporcionan con la herramienta. Con la prueba Parasoft C / C ++, los usuarios no tienen que escribir ningún script, y las pautas de codificación específicas de la organización pueden automatizarse completamente para reemplazar el proceso manual de verificación de cumplimiento.
Las vistas convenientes de las pruebas de Parasoft C / C ++ y los editores gráficos reducen el esfuerzo manual de la creación y el mantenimiento de casos de prueba de unidad con un marco de prueba de unidad diseñado teniendo en cuenta las pruebas de software críticas para la seguridad. Se pueden crear stubs y casos de prueba con valores para la estimulación del software probado como código fuente o con editores gráficos con capacidades de generación de código fuente. Los usuarios pueden almacenar y revisar los artefactos de prueba creados junto con los archivos del proyecto. La inicialización de las variables y los parámetros de entrada para la estimulación del software probado se realiza exactamente de la misma manera que durante la operación del software de producción, lo que hace que el método sea confiable y robusto.
Las pruebas unitarias son mucho más fáciles y productivas si se usan junto con un marco de stubbing / burla. El poderoso módulo de prueba de Parasoft C / C ++ para crear stubs y simulacros ayuda en las pruebas de inyección de fallas, reduce las dependencias del código probado y permite a los usuarios eliminar fácilmente el código fuente aún no implementado.
La prueba Parasoft C / C ++ admite todas las métricas de cobertura que normalmente se requieren al desarrollar software crítico para la seguridad (declaración, rama, MC / DC, función, llamada, ruta, condición simple, línea y bloque), mostrando los resultados de cobertura de código de todos niveles de prueba, incluida la unidad, la integración y la prueba a nivel del sistema.
La prueba C / C ++ reduce el tiempo necesario para analizar los resultados de la cobertura y encontrar los huecos en el proceso de prueba. Los desarrolladores pueden revisar los resultados de la cobertura del código dentro del IDE con vistas dinámicas y filtrar los resultados según la métrica, la función / método o el caso de prueba específico.
Parasoft se integra con los sistemas de gestión de requisitos para proporcionar informes de trazabilidad que muestran la correlación entre los requisitos y lo siguiente:
Los informes de trazabilidad proporcionan información clara y completa sobre el progreso del desarrollo. Los equipos pueden determinar fácilmente cuántos requisitos ya se implementaron y cuán exhaustivamente se prueban.
La prueba Parasoft C / C ++ se puede integrar con herramientas de desarrollo basadas en modelos como Matlab / Simulink o IBM Rational Rhapsody, verificando que el código fuente generado a partir de los modelos cumpla con los estándares de codificación y realizando una validación dinámica utilizando conjuntos de datos de los motores de simulación. y luego presentar los resultados de la cobertura del código.
La prueba Parasoft C / C ++ está certificada por TÜV SÜD como adecuada para su uso al desarrollar software crítico de seguridad con el estándar IEC 61508. Para proyectos con un mayor nivel de riesgo, el kit de calificación de pruebas de Parasoft C / C ++ automatiza una parte importante del proceso de calificación de la herramienta, lo que reduce la cantidad de trabajo manual y elimina esta distracción de los equipos de software.
Una herramienta de soporte de calificación dedicada guía a los usuarios a través de todos los pasos necesarios para calificar la herramienta, automatizando la mayoría del tedioso trabajo manual requerido para calificar la herramienta, incluida la ejecución de los casos de prueba del exhaustivo conjunto de pruebas que se proporciona junto con el kit de calificación, y generación de los informes finales necesarios para documentar el proceso de calificación.
Reduzca el costo de desarrollar software de alta calidad sin sacrificar el tiempo de comercialización.
La prueba Parasoft C / C ++ satisface varios requisitos de prueba de software enumerados en IEC 61508. La amplitud de la solución se traduce en un menor esfuerzo de configuración y aprendizaje. Los desarrolladores no tienen que aprender varias herramientas y pueden concentrarse en sus actividades principales. Los integradores de herramientas o los arquitectos ahorran el tiempo que de otro modo dedican a implementar interfaces entre herramientas para intercambiar datos y generar informes uniformes.
La prueba Parasoft C / C ++ está diseñada teniendo en cuenta las aplicaciones críticas para la seguridad. Al realizar pruebas unitarias o monitoreo de la memoria en tiempo de ejecución, todos los componentes necesarios para construir el binario de prueba, incluidos los casos de prueba para el código probado, la estimulación y los stubs, se expresan en forma de código fuente y se pueden versionar e inspeccionar. Al expresar todos los artefactos de prueba en forma de código fuente, la prueba C / C ++ asegura que el estado de la memoria antes de ejecutar las pruebas se construye de la misma manera que en el sistema de producción.
La prueba Parasoft C / C ++ es compatible con un kit de calificación IEC 61508 dedicado que cumple con los requisitos estándar para el proceso de calificación de la herramienta. En lugar de simplemente proporcionar asistencia de calificación en forma de colección de casos de prueba y plantillas para scripts e informes que requieren mucha personalización, la herramienta de soporte de calificación automatizada de Parasoft guía a los usuarios a través de todos los pasos necesarios para calificar la herramienta y automatiza la mayoría del tedioso trabajo manual requerido para calificar la herramienta. Esto incluye ejecutar los casos de prueba del exhaustivo conjunto de pruebas proporcionado, así como generar los informes finales necesarios para documentar el proceso de calificación.