| 講演名 | 2012-01-23 開発現場を想定したモデル検査に基づくプログラムの欠陥抽出手法 青木 善貴, 松浦 佐江子, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 筆者はシステム開発業務に携わってきた中で開発経験の浅い開発要員の不具合対応が開発プロジェクトのコスト(工数)やスケジュールを圧迫するのを見てきた.そのため不具合からソースコードの欠陥を発見に関して経験の豊富な要員と浅い要員が混在する開発現場において,安定した不具合対応ができる仕組みが必要と考えた.経験の豊富な要員は経験的にヒットする確率が高いテストケースがわかるため効率的な検査ができるが経験の浅い要員にはこれができない.不要なテストケースを省き正しいテストケースを導きだす仕組みがあれば経験の浅い要員でも効率的な欠陥の発見ができると考え,今回開発現場においてモデル検査の技術を用いた不具合原因の特定を行う手法の技術的実現性の検証を行った. |
| 抄録(英) | The author has seen the trouble correspondence of the program developer with a shallow experience press the cost of the development project (man-hour) and the schedule in having been involved in the system development business. There is a development site where the worker with a great level difference of the skill that finds the defect of the source code from trouble exists together. Experienced workers and inexperienced worker exist together on the development site. Therefore, the mechanism of a method for detecting defects is necessary. Experienced workers can do an efficient inspection because it understands the test case with high probability of becoming a hit experiencing. However, the inexperienced worker cannot do this. Because even it is expected that the inexperienced worker can find an efficient defect if there is a mechanism that a correct test case is derived by omitting an unnecessary test case, the technical viability of the technique for specifying the cause of trouble that used the technology of the model checking on the development site was verified this time. |
| キーワード(和) | モデル検査 / バグ / UPPAAL / 抽象化 |
| キーワード(英) | Model Checking / Bug / UPPAAL / Abstraction |
| 資料番号 | KBSE2011-60 |
| 発行日 |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 2012/1/16(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 開発現場を想定したモデル検査に基づくプログラムの欠陥抽出手法 |
| サブタイトル（和） | |
| タイトル（英） | A Method for Detecting Defects of Program Based on Model Checking Techniques for Development Site |
| サブタイトル（和） | |
| キーワード(1)（和/英） | モデル検査 / Model Checking |
| キーワード(2)（和/英） | バグ / Bug |
| キーワード(3)（和/英） | UPPAAL / UPPAAL |
| キーワード(4)（和/英） | 抽象化 / Abstraction |
| 第 1 著者 氏名（和/英） | 青木 善貴 / Yoshitaka Aoki |
| 第 1 著者 所属（和/英） | 日本ユニシス株式会社 Nihon Unisys, Ltd. |
| 第 2 著者 氏名（和/英） | 松浦 佐江子 / Saeko Matsuura |
| 第 2 著者 所属（和/英） | 芝浦工業大学システム理工学部電子情報システム学科 Shibaura institute of technology Department of electronic information system College of Systems Engineering and Science |
| 発表年月日 | 2012-01-23 |
| 資料番号 | KBSE2011-60 |
| 巻番号（vol） | vol.111 |
| 号番号（no） | 396 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |