本研究報告ではWebアプリケーションの動的ページが生成 するページの遷移に関する仕様を記述できるモデルを定義し、コードカバレッジに 基づくテスト技法を提案する。
WebアプリケーションはServletなどのサーバサイド技術を用いた柔軟なシステムで
ある。そのため、動的なページ生成の繰り返しによるページ遷移の組合せは膨大であり、Webアプリケーションが仕様通りに動作するかどうか判断できない。
そこでこの問題を解決するため、本報告では定義したモデルから得られる入力に関
する仕様に基づいて入力パターンを生成し、動的ページから生成されるページをコー
ドカバレッジにより解析可能な数に抑えた。この手法を用いてWebアプリケーショ
ンが仕様通りに動作するかどうかテストする技法を提案する。