要求分析では，システムを使用するユーザやサブシステムの相互関係に着目し，システムの機能要求を含む振る舞いをユースケースとして分析する．本研究では，要求分析モデルをUMLのユースケース図，アクティビティ図，クラス図を用いて定義する．初期段階の要求分析モデルの品質が全体の開発に影響することから，要求分析モデルを定義する段階でその妥当性を確認する必要がある．そこで，テストケースとして各サブシステムの状態遷移モデルを定義し，要求分析モデルから自動抽出した状態遷移モデルと比較するツールを開発する．これにより，システムが識別すべき状態の観点から要求分析モデルが十分妥当であるかを確認する為の手法を提案する．