本研究の目的はMVCアーキテクチャに基づくWebアプリケーションのビューを実装したページ生成プログラムに対して高品質なテストを効率良く行う事である．本研究では，ページ生成プログラムのテストのための3つのカバレッジと，それぞれのカバレッジを十分に満たすテストシーケンスの生成手法，テスト結果の自動判定手法を提案する．Webアプリケーションのページとページ遷移による外的な振る舞いをページモデルとして定義し，その各ページをページ仕様として記述する．ページモデルを用いてカバレッジを十分に満たすテストシーケンスとテスト結果の判定スクリプト，入力データ項目を自動生成するツールを試作した．本ツールが生成した入力データ項目にテストデータを埋める事によって，Canoo Webテストを用いたテストの自動実行およびテスト結果の自動判定が可能である．中規模アプリケーションに対して本ツールを用いてテストする事によって本手法がページ生成プログラムのテスト効率向上に有効である事を確認した．