Calificación de la herramienta

Automatice fácilmente el proceso de calificación de herramientas

Reduzca los gastos generales asociados con la calificación de herramientas para industrias críticas para la seguridad

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.

Abordar los desafíos de la calificación de herramientas

Genere automáticamente documentación de cumplimiento

Parasoft automatiza la creación de la documentación requerida para calificar la prueba de Parasoft C / C ++ para su uso en industrias críticas para la seguridad al guiar al usuario a través de un flujo de trabajo intuitivo y generar documentación que es fundamental para demostrar la calificación de la herramienta.

Reducir el alcance de lo que se necesita para calificar la herramienta

El primer paso en el flujo de trabajo eficiente de Parasoft es seleccionar los casos de uso específicos y las capacidades de la prueba de Parasoft C / C ++ que se utilizan en el proyecto de software, para reducir el alcance general de lo que necesita ser calificado y agilizar el proceso de calificación.

Ejecutar pruebas automáticamente

Aunque el proceso de calificación de herramientas no se puede automatizar al 100%, el flujo de trabajo único de los kits de calificación de Parasoft lo hace lo más sencillo posible, lo que reduce los esfuerzos de prueba manuales y ejecuta pruebas automatizadas para casos de uso seleccionados.

Kits de calificación de herramientas de Parasoft

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:

  • Descripción general del método de evaluación
  • Definición de la cadena de herramientas que se está evaluando
  • Determinación del impacto de la herramienta
  • Determinación del nivel de clasificación de la herramienta

¡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:

  • La definición de la herramienta tal como se ha utilizado para la calificación.
  • El kit de calificación aplicado
  • Los casos de prueba ejecutados y sus resultados
  • El análisis de casos de prueba con resultado no igual a PASS
  • El proceso de calificación ejecutado y los artefactos relevantes

¡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:

  • Clasificación analizando los posibles errores de las herramientas y funcionalidades utilizadas.
  • Calificación eventual, para excluir algunos errores potenciales.
  • Uso seguro de la prueba Parasoft C / C ++ de acuerdo con este manual de seguridad de la herramienta, incluida la comprobación de actualizaciones de errores conocidos.

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:

  • Manual de usuario y guía de introducción para el kit de calificación
  • Documentación del proceso de V&V para el Kit de calificación
  • Unidad de Automatización de Pruebas: el módulo del Kit de Cualificación responsable de automatizar el proceso de ejecución de los Casos de Prueba de Validación
  • Casos de prueba de validación: la colección de fragmentos de código C / C ++ con configuración adicional y definición de resultados esperados, para validar las características de la prueba Parasoft C / C ++ (Requisitos operativos de la herramienta).

Benefíciese del enfoque Parasoft

Dedique menos tiempo a la calificación de herramientas y más tiempo a desarrollar nuevas funciones.

Optimice la calificación de herramientas con un enfoque integrado

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.

Facilite la calificación de herramientas con automatización adicional

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.

Aproveche la automatización para hacer que la recalificación sea una brisa

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.