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

○

○

○

○

Δ

Δ