講演抄録/キーワード |
講演名 |
2009-11-27 14:10
ソースコード解析を利用したモデル検査に基づく欠陥抽出手法の提案 ○青木善貴・松浦佐江子(芝浦工大) KBSE2009-44 |
抄録 |
(和) |
仕様を正しく理解していない開発者により作成されたプログラムは,思わぬ所に不具合が内在し,システム開発に多大な影響を与える.これを発見するためには多くの工数が必要になる.本稿では稀有な条件で発生する不具合を発見する場合に,網羅的な検査によりその原因を反例として特定することができるモデル検査手法を用いて,低コストでソースコードの欠陥抽出を実現する手法を提案する.2種類の不具合特定パターンを想定し,本手法の有効性を議論する. |
(英) |
The programs made by the developer who doesn't correctly understand the specifications include unexpected bugs, so that they has a large influence on the system development. To discover this, a lot of man-hours are needed. It proposes the technique the low-cost achievement of detecting defects in source codes by using the model inspection technique that can be specified when the occurring trouble is found by covering inspection as the counterexample of the cause. Two kinds of bug patterns are assumed and the effectiveness of the proper move method is discussed. |
キーワード |
(和) |
モデル検査 / バグ / / / / / / |
(英) |
Model Checking / Bug / / / / / / |
文献情報 |
信学技報, vol. 109, no. 307, KBSE2009-44, pp. 79-84, 2009年11月. |
資料番号 |
KBSE2009-44 |
発行日 |
2009-11-19 (KBSE) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
KBSE2009-44 |