Testing items

Safety-critical system

General system

Lower system

KUa

IUb

UUc

KU

IU

UU

IU

UU

Data boundary

d

Δe

f

Process boundary

Δ

Δ

Format & interface

Δ

Δ

Safety

Δ

Δ