Contenido principal

Enlazar casos de prueba a requisitos

Si dispone de Simulink® Test™ y Requirements Toolbox™, puede enlazar requisitos a casos de prueba de Simulink. Enlazar requisitos a pruebas permite utilizar el estado de verificación de requisitos para hacer seguimiento del progreso de verificación y verificar que la implementación del requisito se comporta como se esperaba.

Este ejemplo muestra cómo enlazar un caso de prueba a un requisito asociado a un modelo de controlador de un sistema de control de crucero de un automóvil. Después de ejecutar las pruebas, puede ver el estado de verificación en Requirements Editor.

Demostración en vídeo

Para una demostración del ejemplo, vea el vídeo.

Abrir archivos de proyectos

El proyecto CruiseRequirementsExample contiene requisitos, modelos y pruebas para un sistema de control de crucero de un automóvil. En MATLAB®, abra el modelo crs_controller y el archivo de prueba que contiene las pruebas a las que desea asociarlo. En el panel Project, en la carpeta models, abra el archivo crs_controller.slx haciendo clic con el botón secundario en él y seleccionando Open. Después, en la carpeta tests, abra el archivo de prueba DriverSwRequest_Tests.mldatx en Test Manager haciendo clic con el botón secundario en él y seleccionando Open. Los casos de prueba utilizan el modelo crs_controller como el sistema sometido a prueba. Muchos casos de prueba se enlazan a requisitos del conjunto de requisitos crs_req_func_spec.

The DriverSwRequest_Tests test file is shown in the Test Browser. Its single test suite and eight test cases are shown.

En este ejemplo, puede enlazar un caso de prueba a un requisito en el conjunto de requisitos crs_req_func_spec. Abra Requirements Editor. En la pestaña Apps, seleccione Requirements Editor.

The Requirements Editor shows the crs_req_func_spec requirement set. Its four top-level requirements and top-level justification are collapsed.

Requirements Toolbox cargó el conjunto de requisitos crs_req_func_spec cuando se abrió el modelo crs_controller porque los archivos tienen enlaces entre sí. Asegúrese de que Requirements Editor esté analizando que los requisitos funcionales tienen enlaces de verificación haciendo clic en Refresh The button with the circular arrow.

Enlazar requisitos a pruebas

Enlace el requisito que tiene el resumen Resume switch detection al caso de prueba denominado Resume button. Para crear el enlace:

  1. En Test Manager, haga clic en Resume button.

  2. En Requirements Editor, seleccione el requisito con el índice 1.7.

  3. En la sección Links, haga clic en Add Link > Link from Selected Test Case.

El enlace al caso de prueba aparece en el panel derecho, en Links.

Requirement 1.7 is selected in the Requirements Editor. The Properties section is collapsed. Its two implementation links to Simulink blocks and verification link to the Resume button test are shown.

Vaya a la prueba en Test Manager haciendo clic en el enlace Resume button.

Ejecutar pruebas y ver estado de verificación

Ejecute las pruebas en el archivo de prueba DriverSwRequest_Tests. En Test Manager, en el panel Test Browser, seleccione el archivo de prueba DriverSwRequest_Tests. Haga clic en Run.

El panel Results and Artifacts muestra que se han superado siete pruebas y una ha fallado. En el panel Results and Artifacts, amplíe los resultados de la ejecución de la prueba. La prueba Cancel button ha fallado.

The results of the test run are shown in the Results and Artifacts pane. Seven of the tests passed. The Cancel button test is the only failed test.

Vea el estado de verificación de los requisitos en Requirements Editor para los requisitos enlazados a las pruebas. En Requirements Editor, en la sección View, haga clic en Columns > Verification Status. Algunos requisitos no tienen pruebas y otros se han verificado por completo. La barra de la columna Verified muestra la proporción de requisitos secundarios que están asociados a la verificación. El color indica la parte de las pruebas que se ha superado, fallado o no se ha ejecutado.

The requirements verification status for the requirement set is displayed in the Requirements Editor. Requirement 1.7 is selected and the verification status bar is green, indicating that it is verified.

En este ejemplo, el estado de verificación muestra que la prueba que ha enlazado al requisito 1.7 se ha superado y que la prueba enlazada a Cancel Switch Detection ha fallado. Algunos requisitos se verifican parcialmente porque los requisitos secundarios aún no se han verificado, como el requisito 1.8. Para ver un resumen de los requisitos secundarios, apunte a la barra de estado de verificación del requisito principal. Otros requisitos no se han podido verificar porque no están enlazados a un caso de prueba.

Vaya al resultado de la prueba para el requisito 1.7. Seleccione el requisito y, en el panel derecho, en Links, junto a Resume button, haga clic en el botón Passed The button with the check mark. El resultado de la prueba para la prueba enlazada se abre en Test Manager.

Consulte también

Temas