| 講演名 | 2011-07-30 モデル検査器とDaikonを用いた表明動的生成改善手法のシステム開発実プロジェクト教材への適用と評価 小林 和貴, 岡野 浩三, 楠本 真二, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 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. |
| キーワード(和) | アサーション / テスト / 自動生成 / Daikon / インバリアントカバレッジ / 実プロジェクト |
| キーワード(英) | Assertion / testing / automated generation / Daikon / invariant-coverage / real-example |
| 資料番号 | SS2011-26,KBSE2011-23 |
| 発行日 |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 2011/7/22(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | モデル検査器とDaikonを用いた表明動的生成改善手法のシステム開発実プロジェクト教材への適用と評価 |
| サブタイトル（和） | |
| タイトル（英） | Automatic Assertion Generation using Model Checking and Daikon and its Application to a Real Example |
| サブタイトル（和） | |
| キーワード(1)（和/英） | アサーション / Assertion |
| キーワード(2)（和/英） | テスト / testing |
| キーワード(3)（和/英） | 自動生成 / automated generation |
| キーワード(4)（和/英） | Daikon / Daikon |
| キーワード(5)（和/英） | インバリアントカバレッジ / invariant-coverage |
| キーワード(6)（和/英） | 実プロジェクト / real-example |
| 第 1 著者 氏名（和/英） | 小林 和貴 / Kazuki KOBAYASHI |
| 第 1 著者 所属（和/英） | 大阪大学大学院情報科学研究科 Graduate School of Information Science and Technology, Osaka University |
| 第 2 著者 氏名（和/英） | 岡野 浩三 / Kozo OKANO |
| 第 2 著者 所属（和/英） | 大阪大学大学院情報科学研究科 Graduate School of Information Science and Technology, Osaka University |
| 第 3 著者 氏名（和/英） | 楠本 真二 / Shinji KUSUMOTO |
| 第 3 著者 所属（和/英） | 大阪大学大学院情報科学研究科 Graduate School of Information Science and Technology, Osaka University |
| 発表年月日 | 2011-07-30 |
| 資料番号 | SS2011-26,KBSE2011-23 |
| 巻番号（vol） | vol.111 |
| 号番号（no） | 169 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |