プログラムがスイッチを制御します。
プログラムには3つのボタンがあります。
- スイッチをオンにするには「オン」、オンになっていた場合はオンにします。
- スイッチをオフにするには "OFF"、オフになっている場合はオフのままにします。
- スイッチの状態を変更するには「Toggle」（オフの場合はオンにし、オンの場合はオフにする）
次の図は、プログラムの状態図を示しています（状態のみマークされています。
矢印は遷移の可能性を示しており、意図的にラベルなしのままになっています。

状態遷移図の遷移の何パーセントがテストの対象となることが保証されているか
上記のケース？
注：対象となる遷移の数は、スイッチの初期状態によって異なります。最小値を探す
報道事件。