大会名称
2009年 情報科学技術フォーラム(FIT)
大会コ-ド
F
開催年
2009
発行日
2009/8/20
セッション番号
3B
セッション名
モデル検査
講演日
2009/09/02
講演場所(会議室等)
B会場(9号館1F 912教室)
講演番号
B-016
タイトル
ソースコ一ドの解析を利用したモデル検査に基づく欠陥抽出手法の提案
著者名
青木 善貴松浦 佐江子
キーワード
モデル検査, 欠陥, プログラム
抄録
 システム開発は顧客からの要求仕様の正確な理解が必須である。しかし設計者が仕様を正しく理解していても、実際にプログラムを作成するプログラマが仕様を正しく理解していないことは多い。
 そのようにして作成された一見正しいプログラムは、思わぬ所でバグを発生させてシステム開発の納期及びコストを圧迫するため早期発見が望まれるが、
これを発見するためには綿密なテストと多大な工数が必要である。
 本稿では稀有な条件で発生するバグの発見でも、ソースコードを任意に解析し、その結果を直接モデル検査にかけることにより、低コストで実現する手法を提案し、その有効性を確認する。
本文pdf
PDF download (432.2KB)