Source

Domain

C1) Specification

C2) Test

Selection

Criteria

C3) Execution

and Feedback

Manipulation

C4) Feedback integration

C5) Test type, Implementation,

Observability

and Level

[81] -[83]

Production

automation

UML (structure:

system

and context;

interaction,

mainly state

charts: generation

of specific test

cases)

Depending on diagram, extraction

of sequences from interaction diagrams

(transition parameter

variation, path coverage)

Offline

As spec.

IEC 61499

[84]

Production

automation

UML state

charts

Model transformation, path unfolding, path coverage

Offline

As spec.

n.a.

[85]

Production

automation

UML sequence

diagram

Only the specified scenario

Offline

Both SiL and

HiL possible

IEC 61131-3,

unit