Project

General

Profile

Bug #4078

DSE Solution Validator Produces Wrong Results for Transformed Artifacts

Added by Alexander Diewald about 1 month ago. Updated about 1 month ago.

Status:
Closed
Priority:
Normal
Assignee:
-
Category:
-
Start date:
10/23/2020
Due date:
% Done:

100%

Estimated time:
2.00 h

Description

Problem Description

While the DseML expression parser & validator produces correct validation results for the solutionsets from backends, the transformed models such as allocation tables always produce a "failing" result.
This behavior results from the ExplorationTargets used for validation are not copied along with the other artifacts that are input to the transformer. Thus, these ExplorationTargets do not point to the objects that are part of the output, but to the object of the input.

Solution

Copy the applied ExplorationTargets with the transformation input artifacts in the corresponding container and use the copied ExplorationTargets for validation.

DSE_Generated_TestCase_2.af3_23 (1.92 MB) DSE_Generated_TestCase_2.af3_23 Alexander Diewald, 10/23/2020 11:43 AM

History

#1 Updated by Alexander Diewald about 1 month ago

MR: https://git.fortiss.org/af3/af3/-/merge_requests/382

Testing:
  • Copy the attached AF3 project to your runtime workspace.
  • Add --validate-dse DSE_Generated_TestCase_2/Generated_DSE_2/Deployment to the arguments of your launch config.
  • Check the produced json-Validation file: Both boolean entries must be true.

#2 Updated by Simon Barner about 1 month ago

  • Status changed from New to Feedback
  • Assignee changed from Simon Barner to Alexander Diewald

There is one RED file.

Testing TBD...

#3 Updated by Alexander Diewald about 1 month ago

  • Status changed from Feedback to Resolved
  • Assignee changed from Alexander Diewald to Simon Barner

#4 Updated by Simon Barner about 1 month ago

  • Assignee changed from Simon Barner to Johannes Eder
  • Priority changed from Urgent to Normal

Tested and merged.

Please close.

#5 Updated by Johannes Eder about 1 month ago

  • Status changed from Resolved to Closed
  • Assignee deleted (Johannes Eder)

Also available in: Atom PDF