Seminario web destacado: MISRA C++ 2023: todo lo que necesita saber | Vea ahora

Trazabilidad de requisitos

Verificación y validación de sus requisitos de software

Completando la trazabilidad de sus requisitos

La piedra angular de un proceso de desarrollo de software riguroso son los requisitos y la trazabilidad a los artefactos que proporcionan prueba de una implementación correcta.

Prueba de Parasoft C / C ++ »
Prueba J de Parasoft »
Parasoft dotPRUEBA »
Prueba SOA de Parasoft »
Parasoft Selénic »
DTP de Parasoft »

Beneficios de la trazabilidad de requisitos para verificar y validar sus productos de software

Integre la calidad en las herramientas de planificación

Optimice el ciclo de vida completo del proyecto de software. La trazabilidad de los requisitos de Parasoft con la gestión del ciclo de vida de las aplicaciones (ALM) y las herramientas de planificación ágil le permiten exportar los resultados de las pruebas y automatizar la creación de otros artefactos, como defectos y problemas, en el sistema de registro.

Exponer brechas en la cobertura de la prueba

La trazabilidad de requisitos proporciona la conexión que le permite identificar rápidamente qué casos de prueba actualizar, eliminar o crear cuando los requisitos de software cambian, se eliminan o se crean. La vinculación al código fuente ejercida por cada prueba requerida para aplicaciones críticas para la seguridad le indica claramente qué código se ve afectado e identifica sus brechas en la cobertura de la prueba.

Evalúe rápidamente el impacto de la calidad

A medida que las herramientas de prueba de software automatizadas de Parasoft verifican los requisitos y las historias de usuario, el estado de pasa / falla se captura, registra y correlaciona con los elementos de trabajo. Esto proporciona una métrica crítica para rastrear el progreso general y el estado de la entrega de su software para evaluar los horarios y tomar decisiones comerciales clave.

Cumpla con su estándar de cumplimiento

Los estándares funcionales como ISO 26262, DO-178C, IEC 62304, IEC 61508 y EN 50128 dictan la trazabilidad de los requisitos hasta sus casos de prueba que Parasoft automatiza, eliminando el enfoque manual propenso a errores.

Análisis e informes de requisitos

Obtenga una vista de trazabilidad de requisitos de casos de prueba con el panel de análisis e informes de Parasoft. Los resultados de los casos de prueba, los archivos fuente que se están probando y muchas otras métricas, como la complejidad del código y las violaciones de la codificación, se agregan en un informe y se correlacionan con sus requisitos e historias de usuario.

Creación de defectos automatizada

La combinación de trazabilidad de requisitos y creación automatizada de defectos / problemas proporciona un ciclo de retroalimentación completo para su flujo de trabajo de desarrollo. El equipo crea de manera eficiente nuevos elementos de trabajo después de la identificación de problemas durante la clasificación de fallas de prueba y violaciones de análisis estático.

Herramientas de Parasoft con capacidades de trazabilidad de requisitos

Obtenga la automatización que necesita con el conjunto completo de herramientas de prueba de software de Parasoft. Realice la verificación y validación de requisitos desde el análisis de código y las pruebas unitarias de su código C / C ++, Java y .NET hasta la verificación funcional de las API y las IU web. Los resultados se agregan y la trazabilidad se gestiona a través del panel central de análisis e informes de Parasoft (Parasoft DTP).

Importe requisitos y habilite la trazabilidad de requisitos para satisfacer estándares funcionales como ISO 26262, DO-178C, IEC 62304, IEC 61508 y EN 50128 en verificación y validación de requisitos de software. La integración con Parasoft DTP facilita la trazabilidad de los requisitos totalmente bidireccional para respaldar el cumplimiento de los estándares.

Utilice el conjunto completo de herramientas de prueba de Java para verificar los requisitos, garantizar el cumplimiento de los estándares de la industria y producir código seguro, protegido y sin defectos en cada etapa del ciclo de vida de su desarrollo de software en el entorno de Java.

Automatice una amplia gama de prácticas de calidad de software utilizadas para verificar sus requisitos. El análisis profundo de código descubre problemas de confiabilidad y seguridad. La cobertura del código, la trazabilidad de los requisitos y los informes de cumplimiento automatizados ayudan a lograr el cumplimiento de los estándares de seguridad y las industrias críticas para la seguridad.

Rastree los requisitos y defectos hasta los casos de prueba utilizando la trazabilidad de requisitos bidireccionales de Parasoft SOAtest con Parasoft DTP. De un vistazo, el equipo puede obtener una evaluación objetiva de qué requisitos funcionan como se esperaba y qué requisitos aún deben probarse.

Habilite la trazabilidad de los requisitos de las pruebas de Selenium para trabajar con elementos en la gestión del ciclo de vida de su aplicación (ALM) o el sistema de planificación ágil e informe los datos a Parasoft DTP. Esto proporciona visibilidad de qué tan bien se cubren los requisitos de software con las pruebas y le ayuda a comprender rápidamente la cobertura general de las pruebas.

Obtenga información sobre el flujo de trabajo de trazabilidad de requisitos desde un centro de calidad centralizado en su panel de análisis e informes de Parasoft. Parasoft DTP agrega automáticamente los datos de todas las herramientas de Parasoft, correlaciona los resultados con los elementos de trabajo y se comunica con el sistema de gestión de requisitos original para proporcionar una trazabilidad bidireccional completa de los requisitos.

¿Dónde se utiliza la trazabilidad de requisitos?

La trazabilidad de los requisitos demuestra que cada fase del proceso de desarrollo satisface los requisitos de cada fase posterior. Sin embargo, esta es solo la mitad de la imagen. Nada de esta trazabilidad demuestra que se cumplan los requisitos. Eso requiere pruebas. Parasoft ofrece un conjunto completo de herramientas de prueba de software que ofrece verificación de requisitos y necesidades de validación para todas las industrias.

Automotriz

La solución de prueba de desarrollo de Parasoft integra múltiples tecnologías de prueba en una sola herramienta, lo que la hace perfecta para verificar y validar sus requisitos. Fácil de adoptar, las herramientas de Parasoft ayudan a los equipos a cumplir con los estándares automotrices como MISRA y AUTOSAR C++ 14. El estándar de proceso ISO 26262 dicta que se produzca una matriz de trazabilidad, que nuestra solución personalizada de informes de cumplimiento y análisis avanzado le ayuda a lograr.

Militar & Defensa

Los equipos de desarrollo pueden verificar y validar mejor los requisitos de acuerdo con los estándares de proceso DO-178A y DO-178B / C, niveles de software A - D con la ayuda de Parasoft. Ofrecemos muchas de las técnicas de prueba de software enumeradas y las integramos con la gestión del ciclo de vida de las aplicaciones (ALM), la gestión del control de fuente (SCM) y las soluciones de generación de informes que ayudan a satisfacer los requisitos de trazabilidad y certificación.

Dispositivos médicos

Automatice una amplia gama de prácticas de prueba de software con la solución de prueba de desarrollo de dispositivos médicos integrada de Parasoft[TK1] [RC2] . Desde el análisis de código y las pruebas unitarias (para C, C++, Java, C# y VB.NET) hasta la verificación funcional de las API y las UI web, la suite de Parasoft permite la verificación y validación automatizadas de sus requisitos de software y la realización de la matriz de trazabilidad de requisitos que requiere la norma de seguridad funcional IEC 62304.

Aviación Civil

La trazabilidad de los requisitos en la aviación civil es fundamental. Parasoft ofrece tecnologías de prueba de software como prueba de unidad de análisis estático y cobertura de código estructural en los distintos niveles de abstracción (declaración, rama, MC/DC y ensamblaje) para verificar y validar sus requisitos de aviónica. Las empresas confían en DO-178C, que exige una matriz de seguimiento de requisitos que la solución DTP de Parasoft ayuda a satisfacer.

Automatización Industrial

Los equipos de desarrollo para el desarrollo de la automatización industrial pueden verificar y validar sus requisitos de software utilizando la automatización de pruebas de software de Parasoft. Realice análisis estático, pruebas unitarias, cobertura de código, pruebas del sistema y más. Logre el cumplimiento de IEC 61508 con la ayuda de Parasoft para cumplir con la matriz de trazabilidad de requisitos exigida por la norma.

Carril

Parasoft, una solución unificada y automatizada de prueba de software para la industria ferroviaria, brinda soporte para estándares de procesos de seguridad como EN 50128 y otros requisitos reglamentarios (CERT, CWE, MISRA y AUTOSAR C++ 14). Verifique y valide sus requisitos de software con las soluciones de Parasoft, y ayude a realizar la matriz de trazabilidad de requisitos requerida para el cumplimiento.

Finanzas

Asegurarse de que todos sus requisitos de software e historias de usuario hayan sido probados es clave en la industria de servicios financieros. A medida que aumenta el alcance y la complejidad del código, es importante en el acelerado ciclo de vida ágil actual que se verifiquen todos los requisitos.

Gobierno

Verifique y valide sus requisitos altamente confidenciales y clasificados. Las herramientas de prueba automatizadas de Parasoft se integran con las herramientas de planificación ALM y Agile utilizadas en los procesos modernos de DevSecOps para ofrecer software seguro y de alta calidad para las necesidades gubernamentales complejas de hoy. Nuestras soluciones de informes y análisis ayudan a completar los mandatos de la matriz de trazabilidad de requisitos por muchos de los estándares de proceso que las agencias gubernamentales deben cumplir.

Aténcion Médica & Seguro

El software en la industria de la salud debe cumplir con estrictas especificaciones y demostrar la verificación y validación de los requisitos. El fracaso puede significar literalmente una situación de vida o muerte. El conjunto de herramientas de Parasoft ofrece soluciones de prueba automatizadas para ayudar a garantizar que se prueben las nuevas innovaciones o capacidades que abarcan desde la prestación de atención hasta el procesamiento de seguros, brindan seguridad al paciente y mantienen sus datos seguros.

Hospitalidad & Viajes

Las aplicaciones de hostelería utilizadas por viajeros de negocios y de placer deben proporcionar una buena experiencia de usuario para tener éxito. Es imperativo cumplir con todos los requisitos del cliente. Parasoft ofrece unidades, API, UI y otras tecnologías de prueba para garantizar la verificación de los requisitos críticos de su negocio.

Comercio minorista y electrónico

Verifique y valide la calidad del software con un enfoque de diseño seguro. Realice pruebas de seguridad con anticipación y con frecuencia para verificar minuciosamente cualquier problema potencial y aumentar la velocidad de entrega del software. Parasoft agrega datos de análisis de código, pruebas unitarias, pruebas funcionales, pruebas manuales y resultados completos de cobertura de código para ayudar a completar la matriz de trazabilidad de requisitos definida en sus herramientas de planificación ágil y ALM.

Telecomunicaciones

Aborde los cambios constantes que experimenta la industria de las telecomunicaciones con el conjunto completo de soluciones de prueba de software de Parasoft. Estas soluciones de prueba verifican y validan los requisitos. Obtenga ayuda para realizar una matriz de trazabilidad de requisitos para garantizar la confiabilidad y solidez de este código altamente complejo.

“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.