Method and system for generating verification tests at runtime

A non-transitory computer readable storage medium for generating verification tests at runtime, having stored thereon instructions that when executed by a processor will cause the processor to:

• generate, on a host machine, a validated verification test scenario comprising a plurality of actions in a scheduled performance order to be performed on a DUT;
• receive, by the host machine, a subset of one or more actions to be added to the validated verification test scenario while maintaining the plurality of actions of the validated verification test scenario and the scheduled performance order, to form an amended verification test scenario;
• apply a runtime solver in a verification environment of the DUT on the amended verification test scenario to generate and apply at runtime a test on the DUT wherein inclusion of any action of said subset of one or more actions or an order of performance of said subset of one or more actions in the test is determined at the runtime while maintaining the scheduled performance order;
• and
• verify that the amended verification test scenario complies with system resources of the DUT and the corresponding verification environment and with defined constraints,
• wherein said subset of one or more actions is added between two actions of said plurality of actions that are linked on a graph representation of the validated verification test scenario by an edge.

A system for processing verification tests for generating verification tests at runtime, the system comprising:

• a memory and
• a processor configured to:
• generate, on a host machine, a validated verification test scenario comprising a plurality of actions in a scheduled performance order to be performed on a DUT;
• receive, by the host machine, a subset of one or more actions to be added to the validated verification test scenario while maintaining the plurality of actions of the validated verification test scenario and the scheduled performance order, to form an amended verification test scenario;
• and
• apply a runtime solver in a verification environment of the DUT on the amended verification test scenario to generate and apply at runtime a test on the DUT wherein inclusion of any action of said subset of one or more actions or an order of performance of said subset of one or more actions in the test is determined at the runtime while maintaining the scheduled performance order,
• wherein the subset of one or more actions is added between two actions of said plurality of actions that are linked on a graph representation of the validated verification test scenario by an edge.