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