[R-T4.3-7] Present verification result
v-yussupov opened this issue · 1 comments
v-yussupov commented
| ID | R-T4.3-7 |
|---|---|
| Section | WP4: Modeling Environment |
| Type | FUNCTIONAL_SUITABILITY |
| User Story | As a QoS Engineer/Software Designer, if my RADON model violates hard constraints in the CDL I would like to see a graphical explanation of which constraints are violated and by which parts of the RADON model. |
| Requirement | Given a RADON model which does not comply with a set of hard constraints, the graphical modelling tool should be able to graphically represent the explanation generated by the verification tool. |
| Extended Description | For example highlighting which nodes are involved in the violation and which constraints are violated. |
| Affected Tools | GRAPHMODEL_TOOL |
| Means of Verification | Manual testing in the IDE. |
| Dependency | T4.1 |
v-yussupov commented
Solved via GMT's diff feature in the context of eclipse#465 and eclipse#523