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.
La calificación de herramientas es un proceso obligatorio para el desarrollo de software crítico para la seguridad. Kits de calificación de Parasoft para Parasoft C / C ++test Automatizar el proceso de creación de la documentación de respaldo requerida para la calificación de herramientas de análisis estático, pruebas unitarias y requisitos de cobertura, reduciendo tanto el potencial de error humano como el tiempo necesario para realizar la calificación de la herramienta.
La calificación de la herramienta es obligatoria para las organizaciones que desarrollan software para aplicaciones críticas para la seguridad, que cumplen con estándares como DO-178B / C (aeroespacial), ISO 26262 (automotor), IEC 62304 (médico), EN-50128 (ferrocarril) e IEC 61508 (seguridad funcional). Estos estándares requieren que las organizaciones proporcionen evidencia de que las herramientas de software utilizadas para desarrollar su código son adecuadas para su uso en la aplicación crítica para la seguridad que exige.
Parasoft admite el proceso de calificación conforme a DO-178B/C y DO-330 con el kit de calificación de herramientas automatizado, para todos sus niveles de software y Parasoft C/C++test es Certificación TÜV SÜD para estándares ISO 26262 (automoción), IEC 62304 (médico), EN 50128 (ferrocarril) e IEC 61508 (seguridad funcional) para todos los niveles ASIL y SIL. No se necesita ninguna calificación adicional de la herramienta ya que el certificado proporcionado es más que suficiente, sin embargo, la opción de Realice una calificación por validación, utilizando el kit de calificación de herramientas automatizadas de Parasoft que siempre está disponible.
Aprobar la herramienta para su uso es normalmente un proceso formal de documentación pesada, que requiere una completación manual que requiere mucho tiempo y es propensa a errores humanos. Para resolver este problema, los kits de calificación de herramientas de Parasoft para Parasoft C / C ++test incluir una asistente de herramientas automatizado que automatiza el proceso de calificación en sí mismo, guiando a la organización a través del proceso de calificación y reduciendo significativamente el esfuerzo manual tedioso y propenso a errores de calificación. Lea más a continuación.
El kit de calificación de herramientas de Parasoft aprovecha la automatización para guiar a los usuarios a través del siguiente flujo de trabajo:
1. Especificar los casos de uso y las capacidades que se utilizarán en el proyecto, reduciendo el alcance de las capacidades necesarias para la calificación.
2. Mapear rápidamente los problemas conocidos en la herramienta que está calificando con las características de la herramienta que está usando en el desarrollo y definir las acciones de mitigación apropiadas.
3. Planificación y captura de los resultados de los esfuerzos de prueba manual, simplificando la gestión de los esfuerzos manuales.
4. Ejecución de pruebas automatizadas, eliminando el tiempo y los errores humanos asociados con la captura de resultados de pruebas automatizadas.
5. Reunir todos los datos y generar los documentos críticos necesarios para demostrar la calificación de la herramienta.
¡Sí! El Informe de clasificación de herramientas determina la calificación necesaria y presenta la clasificación del nivel de seguridad máximo para la prueba Parasoft C / C ++ en función de los casos de uso seleccionados por el usuario.
El contenido de este documento consta de cuatro partes:
¡Sí! El documento del Plan de calificación de la herramienta describe cómo se calificará la prueba Parasoft C / C ++ para su uso en un proyecto de desarrollo relevante para la seguridad.
El método de calificación aplicado se basa en la “validación de la herramienta” y este documento contiene la descripción de los procesos de calificación, la base para las verificaciones de cumplimiento estándar que se han realizado y documentado en documentos separados.
Los objetivos de validación se derivan de los requisitos de los estándares de seguridad y de los posibles errores críticos de la herramienta identificados para los casos de uso de la herramienta en el Informe de clasificación de herramientas (TCR). El objetivo de la validación de la herramienta es proporcionar evidencia suficiente de la ausencia de estos errores potenciales críticos en los casos de uso de la herramienta.
¡Sí! El documento Informe de calificación de herramientas demuestra que la prueba C / C ++ ha sido calificada de acuerdo con el Plan de calificación de herramientas (TQP).
Una vez que el usuario ha calificado la prueba Parasoft C / C ++ para su uso en un proyecto de desarrollo relevante para la seguridad, se puede utilizar de acuerdo con el Manual de seguridad de la herramienta.
Este documento describe los resultados de la calificación:
¡Sí! Este documento describe cómo la prueba Parasoft C / C ++ debe utilizarse de forma segura, es decir, conforme a las normas de seguridad (DO-178B / C, EN 50128, IEC 61508, ISO 26262) en proyectos de seguridad crítica.
La seguridad de las herramientas se logra en tres pasos:
Además de las plantillas de informes automatizados (Informe de clasificación de herramientas, Plan de calificación de herramientas, Informe de calificación de herramientas y Manual de seguridad de herramientas), el Kit de calificación de Parasoft incluye:
Dedique menos tiempo a la calificación de herramientas y más tiempo a desarrollar nuevas funciones.
Los kits de calificación de Parasoft cubren todas las capacidades de la prueba de Parasoft C / C ++, cumpliendo no solo con el análisis estático, sino también con las pruebas unitarias y los requisitos de cobertura para el software crítico para la seguridad al mismo tiempo. Sin esto, los usuarios deben calificar individualmente varias herramientas en su cadena de herramientas, lo que resulta en una duplicación significativa de esfuerzos.
A diferencia de los kits de calificación estáticos proporcionados por otros proveedores, la herramienta de soporte de calificación de Parasoft genera automáticamente los informes apropiados en función de las características y capacidades que se utilizan en el proyecto de software. Al centrarse en la funcionalidad importante para el proyecto, los usuarios pueden minimizar la documentación manual requerida, reduciendo el potencial de error humano en la preparación de la documentación.
Cuando Parasoft lanza un nuevo parche de la prueba de Parasoft C / C ++, los usuarios pueden volver a ejecutar rápidamente la calificación contra la compilación y volver a calificar la herramienta para su uso con un esfuerzo mínimo. Esto significa que los usuarios pueden aprovechar las actualizaciones y mejoras de la prueba C / C ++ sin tener que preocuparse por todos los detalles de la calificación de la herramienta una vez más.