General template¶ ↑
optional preconditions
optional trigger
the system name
shall system response
.
Normal behavior¶ ↑
The system name
shall system response
.
Unwanted behavior¶ ↑
If optional preconditions
trigger
, then the system name
shall system response
.
Event-driven, When¶ ↑
When trigger
the system name
shall system response
.
State-driven, While¶ ↑
While in a specific state
the system name
shall system response
.
Option, Where¶ ↑
Where feature is included
the system name
shall system response