大会名称
2010年 情報科学技術フォーラム(FIT)
大会コ-ド
F
開催年
2010
発行日
2010/8/20
セッション番号
4B
セッション名
モデル検査・検証・信頼性
講演日
2010/09/08
講演場所(会議室等)
B会場(総合学習プラザ1F 第6講義室)
講演番号
B-022
タイトル
ソースコード解析を利用したモデル検査に基づく欠陥抽出手法による組込みシステムの検証
著者名
青木 善貴松浦 佐江子
キーワード
モデル検査, バグ
抄録
 仕様を正しく理解していない開発者により作成されたプログラムは,思わぬ所に不具合を内在しシステム開発に多大な影響を与える.我々はこうした不具合を,網羅的な検査によりその原因を反例として特定することができるモデル検査手法を用いて,低コストでソースコードの欠陥抽出を実現する手法を提案してきた.
 今回,適用事例として組込みシステムを取り上げる.これはハードウェアの特性により入出力値に想定外の誤差が生じるため,不具合の再現が困難で原因の特定が難しい.走行競技用の自律型・ライントレース・ロボットの走行制御プログラムに対して,本研究の手法を適用して原因及び解決方法を検討・確認し,手法の有用性を確認する.
本文pdf
PDF download (920.1KB)