GIHOZの使い方：状態遷移テストのテストケースの作成方法

日頃からテスト技法ツールGIHOZをご利用いただき誠にありがとうございます。

状態遷移テストはテスト対象の状態の変化を図や表で整理することで一覧性を高め、抜け漏れのないテストケースを作成する技法です。

この記事では状態遷移テストの作り方をご紹介します。

状態遷移図の作成方法

GIHOZの状態遷移図は、状態を表す四角形、状態の遷移を表す矢印、遷移を引き起こすイベント（矢印上にイベントの名称を記載）から構成されます。

例えば、ストップウォッチの状態の遷移を状態遷移図で整理してみましょう。仕様は以下の通りです。

ストップウォッチには、スタートボタン、ストップボタン、リセットボタンの3つのボタンがある
ストップウォッチは最初は時間の計測をせずに停止している
ストップウォッチが停止しているときに、利用者がスタートボタンを押すと時間の計測を開始する
ストップウォッチが時間の計測をしているときに、利用者がストップボタンを押すと計測を一時停止する
ストップウォッチが一時停止しているときに、利用者がスタートボタンを押すと時間の計測を再開する
ストップウォッチが一時停止しているときに、利用者がリセットボタンを押すと計測していた時間をリセットして計測を停止する

状態遷移図を作成するには、まず状態を識別します。上記の仕様を読むと、「停止している状態」「時間を計測している状態」「一時停止している状態」の3つの状態があることが分かります。GIHOZでは、状態遷移図の編集エリアでダブルクリックすることで新しい状態を作成できます。

次に、イベントと遷移を識別して状態遷移図に矢印を追加します。仕様の3～6に記載されている内容に基づいて状態遷移図を作成すると、次のようになります。GIHOZでは、ある状態から別の状態までマウスでドラッグアンドドロップすることで、遷移の矢印を引くことができます。遷移の矢印の上にイベントの文字列を入力できます。

このように仕様を状態遷移図に整理することで、状態から状態への遷移に必要なイベントが一目でわかります。

状態遷移表・テストケースの作成方法

GIHOZでは状態遷移図から、状態遷移表とテストケースをワンクリックで自動生成することができます。テストケースの網羅基準としては、0スイッチ～3スイッチを任意で選択できます。

スイッチの数値は、ある状態から別の状態への遷移において、途中で経由する状態の数を表します。0スイッチの場合、途中で他の状態は経由せずに「状態1→状態2」という遷移を網羅するようにテストケースを生成します。1スイッチの場合、途中に1個の状態を経由して、「状態1→状態2→状態3」という遷移を網羅するようにテストケースを生成します。

今回の例で生成される状態遷移表とテストケースは、それぞれ以下の通りです。状態遷移表は、状態とイベントをマトリクスにした形式と、遷移前の状態と遷移後の状態をマトリクスにした形式の、2種類が生成されます。

指定したスイッチ数のテストケース以外に、「無効遷移を含めた全遷移テストケース」が生成されます。「イベントが発生しても状態が変化しない」ということも含めてテストしたい場合、「無効遷移を含めた全遷移テストケース」をご利用ください。

0スイッチテストケース～3スイッチテストケースは、テストケースの生成時に指定したものが生成されます。スイッチ数をいくつにすべきかについては、決まった答えはありませんので、テストの重要度やリスクに応じてご検討ください。GIHOZでは各スイッチ数のテストケースを簡単に生成できますので、一通り生成してテストケースの件数を見ながら実際にテストで使うテストケースを検討する、といった使い方も可能です。