Automatic Assertion Generation using Model Checking and Daikon and its Application to a Real Example
| Autor: | Kobayashi, Kazuki, Okano, Kozo, Kusumoto, Shinji |
|---|---|
| Jazyk: | japonština |
| Rok vydání: | 2011 |
| Předmět: | |
| Zdroj: | 電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス. 111(168):81-86 |
| ISSN: | 0913-5685 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|