モデル検査器とDaikon を用いた表明動的生成改善手法のシステム開発実プロジェクト教材への適用と評価

摘要

Daikon などを用いた表明動的生成において，対象プログラムの実行に必要なテストケースは生成する表明の品質に影響を及ぼす重要な要素である．品質のよいテストケースを自動生成することは表明動的生成において重要である．われわれはこれまでに表明生成に必要なテストケースを静的解析に基づいて生成する手法について提案してきた．提案する手法が実際のシステムに対する適用可能性や，得られる表明の精度や有効性について調査するため，提案する手法をITSpiralで開発されたシステム開発実プロジェクト教材へ適用した．その結果，適用可能性について，36メソッドに対し合計331の表明を生成させることができた．%Test suits are important when we generate assertions by dynamic assertion generator like Daikon because their quality affects that of assertions. We have proposed a method which generates test suits for assertions with better quality utilizing static analysis. This report provides those usefulness by applying our method to a real example (a project of a syllabus management system developed for education in IT Spiral). Our method generates 331 assertions for 36 methods.