Requirements Toolbox

 

Requirements Toolbox

Cree, enlace y valide requisitos para diseños y pruebas

Cree y organice los requisitos

Defina requisitos con texto enriquecido, atributos personalizados y palabras clave. Organice jerarquías de requisitos para especificar funcionalidades en el nivel de sistema o en un nivel inferior.

Integre herramientas de requisitos de terceros

Importe y vea requisitos de otras fuentes, tales como IBM® DOORS®, IBM DOORS Next, Microsoft® Word o Microsoft Excel®. Utilice Requirements Interchange Format (ReqIF™) para intercambiar requisitos con herramientas que admitan este formato, tales como Siemens Polarion® ALM™ o Jama Connect™.

Realice el seguimiento de requisitos hasta diseños, código y pruebas

Cree un hilo digital para enlazar requisitos, elementos de modelos, código de MATLAB, diccionarios de datos, casos de prueba y arneses de pruebas. Realice el seguimiento hasta herramientas de requisitos externas. Incluya enlaces en informes de generación de código de Embedded Coder.

Modele requisitos formales

Especifique requisitos formales utilizando expresiones lógicas con el bloque Requirements Table (3:53) en Simulink. Utilice simulación para validar los requisitos formales y realizar un análisis de exactitud, coherencia, constancia e integridad. Enlace requisitos formales con modelos de diseño para verificar la conformidad. Genere pruebas con Simulink Design Verifier enlazadas con los requisitos correspondientes.

Trabaje conjuntamente con requisitos y diseño

Utilice Requirements Perspective para ver, crear y organizar requisitos directamente en los editores de Simulink, System Composer o Stateflow. Cree enlaces arrastrando y soltando, sin necesidad de modificar el modelo; utilice insignias para localizar los enlaces en el modelo, y anote los requisitos en los diagramas.

Analice la cobertura de requisitos

Identifique deficiencias en la implementación y las pruebas, requisitos ausentes y errores de diseño. Utilice la matriz de trazabilidad para revisar los enlaces entre conjuntos de requisitos, modelos y pruebas de gran tamaño, y solucione las deficiencias agregando enlaces.

Identifique el impacto de los cambios

Analice el impacto de los cambios en requisitos o casos de prueba de Simulink Test revisando los elementos enlazados resaltados. Cree un diagrama de trazabilidad para visualizar y acceder a los elementos enlazados.

Genere informes de requisitos

Cree informes configurables que incluyan enlaces, información sobre cambios, y estado de implementación y verificación. Utilice estos informes para revisiones de diseño y documentación.

Realice un seguimiento de requisitos hasta código y pruebas de MATLAB

Cree, gestione y navegue por enlaces de trazabilidad entre líneas de código de MATLAB, información de requisitos en documentos externos y casos de prueba con MATLAB Test. Destaque la trazabilidad en el editor de MATLAB e identifique brechas en la implementación o las pruebas.

“En proyectos anteriores, realizabamos el análisis de cobertura de requisitos manualmente, basado en una evaluación subjetiva. Simulink, Simulink Coverage y Requirements Toolbox nos permitieron automatizar el análisis y nos proporcionaron métricas de cobertura objetivas, lo que nos ayudó a abreviar la revisión de requisitos para la certificación en un 30%”.

Massimiliano Campagnoli, Alenia Aermacchi

Obtenga una versión de prueba gratuita

30 días de exploración a su alcance.


¿Tiene interés en comprar?

Obtenga información sobre precios y explore productos relacionados.

¿Es estudiante?

Es posible que su centro educativo ya ofrezca acceso a MATLAB, Simulink y otros productos complementarios mediante una infraestructura Campus-Wide License.