ストップウォッチの振舞いを例示する次のUMLステートマシン図に対し、整合する状態遷移表を表すために (a) 〜 (c) に入れる組合せとして、最も適切なものはどれか。なお、状態遷移表は、状態
(縱) とイベント (横) を軸として整理するものとする。また、ハイフンは遷移が生じないことを表す。
┌────────┐
│ステートマシン図│
└────────┘
┌─────┐
│状態遷移表│
└─────┘
┌──────┬────┬────┬────┐
│ イベント│ │ │ │
│ │ reset │ stop │ start │
│状態 │ │ │ │
├──────┼────┼────┼────┤
│ (a) │ − │ − │ (c) │
├──────┼────┼────┼────┤
│ (b) │ (a) │ − │ (c) │
├──────┼────┼────┼────┤
│ (c) │ − │ (b) │ − │
└──────┴────┴────┴────┘
a b c
@ 計測中 停止中 結果表示中
A 計測中 結果表示中 停止中
B 結果表示中 停止中 計測中
C 結果表示中 計測中 停止中
D 停止中 結果表示中 計測中
D
状態が「停止中」もしくは「結果表示中」の時に start イベントが発生すると、いずれも「計測中」の状態になるので、状態 (c)は「計測中」であることが判る。
状態が「計測中」の時に stop イベントが発生すると「結果表示中」の状態になるので、状態 (b) は、「結果表示中」であることが判る。
よって、(a) は、「停止中」であることが判る。
V−16 | 目次 | V−18 |