Realizar seguimiento del progreso de verificación de requisitos
Puede realizar seguimiento del progreso de verificación de requisitos viendo el estado de la verificación en Requirements Editor. Requirements Toolbox™ comprueba cada requisito funcional de un conjunto de requisitos para determinar si tiene un enlace de verificación y agrega los resultados a un estado que refleja el progreso de verificación de todo el conjunto de requisitos.
En este paso del tutorial, puede ver el estado de verificación del conjunto de requisitos myAddTestSpecification, ejecutar las pruebas de MATLAB® enlazadas y ver los requisitos verificados.
Ver estado de verificación
Abra el proyecto myAdd2, que es similar al proyecto myAdd, pero que contiene versiones actualizadas de los archivos que ha cambiado en pasos anteriores.
openProject("myAdd2");Abra el conjunto de requisitos myAddTestSpecification en Requirements Editor.
slreq.open("myAddTestSpecification");En la sección View, seleccione Columns > Verification Status. Asegúrese de que Requirements Toolbox esté analizando que los requisitos funcionales tienen enlaces de verificación haciendo clic en Refresh.
El color amarillo de la barra de estado de verificación indica que los requisitos tienen enlaces de verificación, pero que no se han ejecutado las pruebas. La barra de estado completa indica que todos los requisitos del conjunto de requisitos tienen enlaces de verificación. Los requisitos contenedores 1 y 2 están excluidos del estado de verificación.
Ejecutar pruebas de MATLAB
El archivo de prueba tMyAdd.m contiene pruebas asociadas a los requisitos del conjunto de requisitos myAddTestSpecification. Abra el archivo de prueba.
open tMyAddVerifique los requisitos ejecutando las pruebas de MATLAB asociadas. En Requirements Editor, haga clic con el botón secundario en el conjunto de requisitos myAddTestSpecification y seleccione Run Tests. En el cuadro de diálogo Run Tests, asegúrese de que las pruebas están seleccionadas y, luego, haga clic en Run Tests.
Ver requisitos verificados
En Requirements Editor, el color verde de la barra de estado de verificación indica que se han superado las pruebas, lo que verifica los requisitos funcionales del conjunto de requisitos.
