Model validation within workflow execution

Description

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).

Environment

None

Test Case Description

Test step

Expected result

1

Clone MinimumExample test project from the Examples repository using tool of choice and import project into Palladio.

A project "Minimum Example" is available in the project explorer.

2

Open allocation model and remove the contained AllocationContext from the model’s resource container.

The allocationContext is not allocated to any resource container

3

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}'

Activity

Show:
Floriment Klinaku
January 29, 2021, 8:21 AM

Using the Palladio Drop.

Invalidated the model through the tree editor. In the output a warning is shown “[Worker-12: Launching New_configuration] WARN : Found validation problems in the models”, however, the simulation is not paused and a warning message as described in the test case does not appear.

Assignee

Floriment Klinaku

Reporter

Martina Rapp

Priority

Major