Test mutation has the goal of covering the system behavior as completely as possible with as few test sequences as necessary. New tests are generated based on the test model (input) by applying test mutations.

This workflow takes a digital twin, requirements and potentially pre-existing test cases as input and delivers a validated model and reports on functional and robustness tests.

The concretized test cases, monitor definitions and the system under test (configured digital twin) are inputs for this activity, where the system is executed in a monitoring-enriched environment. This environment makes use of formally defined monitors to ensure that properties of the continuous outputs (e.g., motor speed, current, voltage) of the system under test hold. This is an application of the Test Oracle Observation at Runtime method (as part of Monitoring Enriched Test Execution). A test result report is written as output of this activity.