Realizar seguimiento de progreso de implementación de requisitos
Puede realizar seguimiento del progreso de implementación de requisitos viendo el estado de la implementación en Requirements Editor. Requirements Toolbox™ comprueba cada requisito funcional de un conjunto de requisitos para ver si tiene un enlace de implementación y agrega los resultados a un estado que refleja el progreso de implementación global del conjunto de requisitos.
En este paso del tutorial, puede ver el estado de implementación para el conjunto de requisitos myAddReqs
, cambiar los tipos de enlace por los enlaces de código de MATLAB® a Implement
y justificar la exclusión de requisitos en myAddTestSpecification
desde el estado de implementación.
Ver estado de implementación
Abra el proyecto myAdd
.
openProject("myAdd");
Abra el conjunto de requisitos myAddReqs
en Requirements Editor.
slreq.open("myAddReqs");
Habilite el estado de implementación. En la sección View, seleccione Show Requirements > Tabular View y, después, seleccione Columns > Implementation Status. Asegúrese de que Requirements Toolbox esté analizando que los requisitos funcionales tienen enlaces de implementación haciendo clic en Refresh.
La barra de estado de implementación vacía indica que los requisitos no tienen enlaces de implementación. Puede ver información detallada sobre el estado de implementación colocando el cursor sobre la barra de estado de implementación para el conjunto de requisitos. La descripción emergente indica que los requisitos no se han implementado.
En Enlazar requisitos a código de MATLAB, se crearon enlaces entre los requisitos y la función myAdd
que los implementa, pero el estado de implementación indica que los requisitos no tienen enlaces de implementación. Cuando se crean enlaces entre requisitos y código de MATLAB, Requirements Toolbox establece el tipo de enlace en Relate
de forma predeterminada. El estado de implementación solo comprueba los enlaces con el tipo establecido en Implement
.
Cambiar tipos de enlace
En Requirements Editor, haga clic en Show Links. Seleccione el primer enlace de myAdd~m.slmx
. En el panel derecho, en Properties, establezca Type en Implements
.
Establezca el tipo de enlace en Implements
para el resto de enlaces del conjunto de enlaces y, luego, guarde el conjunto de enlaces. Vea el estado de implementación actualizado haciendo clic en Show Requisitos.
El color azul de la barra de estado de implementación indica que los requisitos se han implementado. La descripción emergente sobre el estado de implementación indica que cuatro de los requisitos de myAddReqs
tienen enlaces de implementación.
Justificar exclusión de requisitos de prueba
Abra el conjunto de requisitos myAddTestSpecification
en Requirements Editor.
slreq.open("myAddTestSpecification");
Los requisitos de prueba de myAddTestSpecification
no especifican el comportamiento del diseño funcional y, por lo tanto, no es necesario implementarlos. Justifique su exclusión desde el estado de implementación enlazando cada requisito a una justificación. Haga clic con el botón secundario en el requisito 1.1 y seleccione Justification > Link with new Justification for implementation.
Requirements Toolbox añade una jerarquía de justificaciones al conjunto de requisitos myAddTestSpecification
. Repita este paso para los requisitos 1.2 y 2.1-2.4, y, luego, guarde el conjunto de requisitos.
El color azul de la barra de estado de implementación indica que se ha justificado la exclusión de los requisitos desde el estado de implementación. La descripción emergente sobre la implementación para el conjunto de requisitos indica que se ha justificado la exclusión de seis de ocho requisitos del conjunto de requisitos desde el estado de implementación.
Cambiar tipos de requisito
En el estado de implementación, Requirements Toolbox comprueba los enlaces de implementación para los requisitos que tienen el tipo establecido en Functional
. En myAddTestSpecification
, los requisitos con resúmenes Validity checks
y Functional tests
actúan como contenedores de los requisitos de prueba. Sin embargo, los tipos están establecidos en Functional
, de modo que están incluidos en el estado de implementación. Cambie el tipo de requisito de ambos requisitos seleccionando el requisito en Requirements Editor y, en el panel derecho, en Properties, estableciendo Type en Container
. Guarde el conjunto de requisitos.
Requirements Editor excluye los requisitos contenedores desde el estado de implementación. La descripción emergente indica que se han justificado los seis requisitos funcionales del conjunto de requisitos.