Project

General

Profile

Feature #4008

CLI: Integrate random DSE test case generation code

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

Status:
Closed
Priority:
Normal
Assignee:
-
Category:
-
Start date:
04/09/2020
Due date:
04/30/2020
% Done:

100%

Estimated time:
6.00 h

Description

Description

In the Spedit project, junit-based functionality was added in a side-branch of AF3 that is able to generate large sets of test cases for the DSE. These test cases were used for validating parts of the DSE in a maven-driven validation environment that executed the junit tests.

Within the HUBCAP project, this code shall be ported to the recent AF3 release. It will be used in an alternate fashion to produce random test cases by a CLI argument. These test cases will be fixed such that subsequent validation will operate on the same data set. By that, the use of maven is also obsolete and a binary AF3 version can be used within the validation itself considering other supporting CLI switches.

Implementation

  • Port the junit test case generation code.
  • Add a CLI handler that triggers the test case generation.
  • Refactor the test case generation code if needed.

Related issues

Follows Feature #3993: Import capability of AF3 Projects by CLI switchesClosed04/08/2020

History

#1 Updated by Alexander Diewald 3 months ago

  • Due date set to 04/09/2020
  • Start date changed from 04/23/2020 to 04/09/2020
  • Follows Feature #3993: Import capability of AF3 Projects by CLI switches added

#2 Updated by Alexander Diewald 3 months ago

  • Due date changed from 04/09/2020 to 04/30/2020
  • % Done changed from 0 to 20
  • Estimated time changed from 1.00 h to 6.00 h

#3 Updated by Alexander Diewald about 2 months ago

  • Status changed from In Progress to Resolved
  • % Done changed from 20 to 100

#4 Updated by Alexander Diewald about 2 months ago

MR:
Kernel: https://git.fortiss.org/af3/af3/-/merge_requests/337
AF3: https://git.fortiss.org/af3/kernel/-/merge_requests/117

Testing:
  • Append the CLI arguments "--gen-dse-testcases --shutdown" to the arguments in the launch configuration.
  • NOTE: AF3 will close itself after generating the test cases.
  • Launch AF3 without the previously added arguments. No error markers shall be present.
  • In each FileProject, there is only a DSE node. The generated models are within it (not visible). You can launch a DSE from the perspective. NOTE: Some problems will be infeasible, so do not be surprised if the DSE reports an unsolvable problem.

#5 Updated by Alexander Diewald about 2 months ago

  • Assignee changed from Alexander Diewald to Marco Volpe

#6 Updated by Alexander Diewald about 1 month ago

  • Assignee changed from Marco Volpe to Johannes Eder

Merged. Can be closed :)

#7 Updated by Johannes Eder about 1 month ago

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

Also available in: Atom PDF