状態遷移図から結合テストケースのひな型を作成し、網羅性を確認する