4A-1
非同期通信仕様を表すプロトコル状態マシンからの試験ケース生成方式の提案と評価
○川崎将人，大塚　亮，後沢　忍（三菱）
試験対象との入出力手順仕様を表現する形式としてプロトコル状態
マシンがある。試験対象との非同期通信仕様を表すプロトコル状態
マシンを元に、適切なパラメータ値および時刻に入力イベントを発
生させ、適切なパラメータ値および時刻で出力イベントが発生する
ことを検証する試験ケースを生成する方式を提案する。