60 likes | 158 Views
Requirements tracking. B. Polgár, BME May 27, 2010, Oxford, MOGENTES Meeting. Req. to UML model elements. The MOGENTES T est G eneration W orkflow. Req. to Simulink model elements?. ?. Test cases covering selected model elements (state or transition in state machines). ?. ?. ?.
E N D
Requirements tracking B. Polgár, BME May 27, 2010, Oxford, MOGENTES Meeting
Req. to UML model elements The MOGENTES Test Generation Workflow Req. to Simulink model elements? ? Test cases covering selected model elements (state or transition in state machines) ? ? ?
Traceability between basic elements (MTID, RdID, MID, R1, 1) (MTID, RdID, MID, R1, 2) (MTID, RdID, MID, R1, 5) (MTID, RdID, MID, R2, 3) … (TrID, MID, IMID, 1, a) (TrID, MID, IMID, 2, a) (TrID, MID, IMID, 2, b) (TrID, MID, IMID, 2, d) …
Traceability support in the framework • Storage of elementary traceability information • Retrieval of trace chains • Forward or backward
Current tool interface • Output in xml format • UI for visualization
Open issues • Assigning requirements to model elements • one-to-one / one-to-many / many-to-many? • how? • completeness? • is a requirement fully satisfied by the assigned model elements? • what if req. cannot be assigned to model elements? • what type of model elements are supported? • Assigning test cases to model elements • ok • determining the related test cases for req.s is ok • what is the relation to the coverage of the req.?