Model validation within workflow execution

[larissaschmid]

The test case checks model validation within a user workflow execution.

When the user starts a Simulizar simulation, the executed workflow internally runs a model validation job prior to the actual simulation job. If the simulated model contains any modeling errors, the system notifies the user with a dedicated warning message. The message states the violated invariant(s) and the affected model element(s).

Steps:

Test step	Expected result
Clone MinimumExample test project from the Examples repository using tool of choice and import project into Palladio.https://github.com/PalladioSimulator/Palladio-Example-Models/tree/master/Minimum_Project_Example or: File → New → Other… → New Palladio Project - Sirius → enter name → Next > → Create … using one of the initiator templates. → Minimum Example Template	A project "Minimum Example" is available in the project explorer.
Open allocation model, remove the contained AllocationContext from the model’s resource container and save the edited model.	The allocationContext is not allocated to any resource container
Start simulation by executing launch configuration MinimumExample	The simulation is paused by displaying the following warning message to the user:Message: The 'eachAssemblyContextWithinSystemHasToBeAllocatedExactlyOnce' invariant is violated on 'org.palladiosimulator.pcm.allocation.impl.AllocationImpl@63e23ee1{file:/C:/dev/workspaces/runtime-sandbox-modeling-2020-12-palladio-testing-day/de.uka.ipd.sdq.codegen.simucominstance/model/platform/resource/Minimum_Project/default.allocation#_JiPBICHdEd6lJo4DCALHMw}'