付録

付録 付録1：【状態遷移テスト】 1-1．状態遷移テストに対するテスト対象の要求仕様 ・歩行者用信号の要求仕様 ①歩行者用ボタン押下後，10 秒後に信号が赤から青に変化する．(タイマ①) ②青に変化後，15 秒後に青点滅に変化する．(タイマ②) ③青点滅に変化後，5 秒後に赤に変化する．(タイマ③) ・車道側信号の要求仕様 ①歩行者用ボタン押下後，4 秒後に信号が青から黄に変化する．(タイマ④) ②黄に変化後，3 秒後に赤に変化する．(タイマ⑤) ③赤に変化後，25 秒後に青に変化する．(タイマ⑥) 歩行者用信号制御の状態遷移図を付図１，状態遷移表を付表２，車道用信号の状態遷移 図および表を付図２と付表２に示す． 付表１．歩行者用信号の状態遷移表 イベント 状態 タイマ①開始 タイマ②開始 - 青 - ‐ - 赤 - タイマ③開始 - 青点滅 上段：アクション 下段：遷移先の状態 ボタン押下 タイマ完了 赤 青点滅 青 青 青点滅 赤 ボタン押下／ タイマ①開始 タイマ完了／ タイマ②開始 タイマ完了／ タイマ完了／ タイマ③開始 付図１．歩行者用信号の状態遷移図 付表２．車道用信号の状態遷移表 イベント 状態 - ‐ - 青 - タイマ⑥開始 - 赤 タイマ④開始 タイマ⑤開始 - 黄 上段：アクション 下段：遷移先の状態 ボタン押下 タイマ完了 赤 黄 青 青 黄 赤 ボタン押下／ タイマ④開始 タイマ完了／ タイマ⑥開始 タイマ完了／ タイマ完了／ タイマ⑤開始 付図２．車道用信号の状態遷移図

なお，状態遷移図の記載にあたり，今回は付図３の記述としている． 状態1 状態2 イベント／ アクション 付図３．状態遷移図の記載例 車道用信号と歩行者用信号の統合後の状態遷移 赤 赤 赤 青 赤 黄 青 赤 _点滅青 赤 ボタン押下／ タイマ①、④開始 タイマ④完了／ タイマ⑤開始 タイマ⑤完了／ タイマ⑥開始 タイマ①完了／ タイマ②開始 タイマ②完了／ タイマ③開始 タイマ③完了／ タイマ⑥完了／ 歩行者 車道 信号 信号 状態の定義 付図４．車道用信号と歩行者用信号を統合した状態遷移図

No.4 No.5 No.1 No.3 No.2 No.1 No.4

青 黄 赤 赤 赤 赤 青 上段：車道用信号 赤 赤 赤 青 青点滅 赤 赤 下段：歩行者用信号 付図５．ボタン押下からの状態の流れ 信号の状態 歩行者用 車道用 タイマの状態 歩行者用 車道用 赤 赤 タイマ⑥ 青 黄 青 タイマ② 青 タイマ③ 青点滅 タイマ④ タイマ⑤ タイマ① 赤 10秒 15秒 5秒 4秒 3秒 25秒 付図６．ボタン押下からの状態遷移のタイミングチャート

付録2：【決定表テスト】 2-1．決定表テストに対するテスト対象の仕様 ・メニュー表示に関する仕様 ログイン成功後に以下のメニューが表示されること． ①ログイン権限別にメニューが表示されること． ②所属部署別にメニューが表示されること． ③ログイン権限は掛け持ちできないが、所属部署は掛け持ちできる． ※ログイン画面のテストは終了しているものとする． 付表３．権限別・部署別表示メニュー 付図７．ログイン画面からメニュー画面表示