Contenido principal

Identificar y solucionar deficiencias de trazabilidad

Para considerar completa la trazabilidad de requisitos de un conjunto de requisitos, cada requisito funcional del conjunto debe tener un enlace de implementación y verificación. Además de utilizar el estado de implementación y verificación para realizar un seguimiento del progreso, puede identificar y visualizar las deficiencias de trazabilidad del proyecto utilizando matrices y diagramas de trazabilidad.

En este paso del tutorial, puede visualizar un diagrama de trazabilidad de los requisitos del proyecto con el objetivo de ver sus enlaces a diseños y pruebas, usar una matriz de trazabilidad para ver pruebas no enlazadas, solucionar las deficiencias de trazabilidad creando enlaces y visualizar la trazabilidad completada.

Visualizar la trazabilidad de requisitos

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 archivo de prueba tMyAdd y el conjunto de requisitos myAddTestSpecification.

open tMyAdd
slreq.open("myAddTestSpecification");

En Requirements Editor, seleccione el requisito que tiene el ID Req5. En la sección Analysis, haga clic en Traceability Diagram.

The traceability diagram for requirement 2.1 shows that the requirement links to a justification for implementation and the test tNeg for verification.

La ventana Traceability Diagram muestra que el requisito tiene tanto un enlace de implementación como uno de verificación.

Abra la función myAdd y el conjunto de requisitos myAddReqs.

open myAdd
rs = slreq.open("myAddReqs");

Visualice el diagrama de trazabilidad para el requisito 1.

The traceability diagram shows that requirement 1 links to the myAdd function for implementation.

La ventana Traceability Diagram muestra que el requisito solo tiene un enlace de implementación.

Identificar deficiencias de trazabilidad

Cree una matriz de trazabilidad que examine los enlaces entre los conjuntos de requisitos y el archivo de prueba tMyAdd:

  1. En Requirements Editor, haga clic en Traceability Matrix.

  2. En la ventana Traceability Matrix, haga clic en Add.

  3. En el cuadro de diálogo Select Artifacts, haga clic en Select Multiple Artifacts.

  4. En la ventana Configure Matrix, añada myAddReqs.slreqx y myAddTestSpecification.slreqx al lado izquierdo de la matriz haciendo clic con el botón secundario en el nombre del archivo en el panel Available Artifacts y seleccionando Add to the left.

  5. Añada tMyAdd.m a la parte superior haciendo clic con el botón secundario en el archivo y seleccionando Add to the top.

  6. Elimine cualquier artefacto adicional de la matriz de trazabilidad haciendo clic en ellos con el botón secundario y seleccionando Remove Artifacts.

  7. Genere la matriz haciendo clic en Generate Matrix.

The Configure Matrix window has the myAddReqs requirement set and the myAddTestSpecification on the left, and the tMyAdd test file on top.

Filtre la matriz para que muestre únicamente los requisitos funcionales a los que les faltan enlaces seleccionando estos filtros en Filter Panel:

  • Left > Type > Functional

  • Left > Link > Missing Links

De forma similar, muestre únicamente las funciones de prueba a las que les faltan enlaces aplicando estos filtros:

  • Top > Type > Function

  • Top > Link > Missing Links

Resalte las filas y columnas que no tengan enlaces haciendo clic en Highlight Missing Links en la barra de herramientas.

The requirements in the myAddReqs requirement set do not have links to tests in the tMyAdd test file. The tests tInput, tAdd, and tOutput do not have links to requirements in either requirement set.

Resolver deficiencia de trazabilidad

Resuelva las deficiencias de trazabilidad entre el conjunto de requisitos myAddReqs y el archivo de prueba tMyAdd creando enlaces entre estos requisitos y las funciones de prueba. Mantenga pulsado Ctrl para seleccionar las celdas que corresponden a estas filas y columnas:

  • Requisito Take two inputs y función de prueba tInputs

  • Requisito Add the inputs y función de prueba tAdd

  • Requisito Output the result y función de prueba tOutput

Haga clic en Create Link en la barra de herramientas. En el cuadro de diálogo Create Link, haga clic en Create.

The traceability matrix shows links between 3 of the 4 requirements and the 3 tests.

Para enlazar el último requisito no enlazado, borre el filtro Top > Link > Missing Links. Cree un enlace entre el requisito Inputs should be finite y la función de prueba tFinite.

The mouse points to the cell corresponding to the requirement that has the summary Inputs should be finite and the test tFinite.

Guarde el conjunto de enlaces. En Requirements Editor, haga clic en Save > Save All.

Visualizar la trazabilidad completada

Vuelva a abrir el diagrama de trazabilidad para el requisito 1 en el conjunto de requisitos myAddReqs.

req = find(rs,Index=1);
slreq.generateTraceabilityDiagram(req)

Actualice el diagrama de trazabilidad haciendo clic en Analyze.

The traceability diagram shows that requirement 1 now has a verification link to tInputs.

La ventana Traceability Diagram muestra que ahora el requisito tiene tanto un enlace de implementación como uno de verificación.

Consulte también

Apps

Clases

Funciones

Temas