著者

徳本 晋 上原 忠弘 宗像 一樹 菊地 英幸 江口 亨 石田 晴幸 馬場 匡史

雑誌

組込みシステムシンポジウム2011論文集

巻号頁・発行日

vol.2011, pp.23-1-23-8, 2011-10-12

---

KLEE は LLVM 中間コードを対象としてシンボリック実行をすることができるツールである.C/C++ で書かれたプログラムは llvm-gcc や clang などのコンパイラで LLVM ビットコードにコンパイルできるため,C/C++ プログラムの検証ツールとして KLEE は期待されている.今回,2 つのプログラムについて KLEE を適用し,それにより検出したバグとその特徴を紹介するとともに,KLEE のバグ検出能力について考察する.また,他の商用 C/C++ 検証ツールで対象プログラムを解析したときの結果と,KLEE を使った場合との比較について報告する.さらに KLEE 適用時の課題を解決すべく,KLEE で生成したテストケースを CPPUNIT のテストコードへ変換するツールについても報告する.

著者

野村 佳秀 木村 功作 栗原 英俊 山本 里枝子 山本 晃治 徳本 晋

雑誌

ソフトウェアエンジニアリングシンポジウム2011論文集

巻号頁・発行日

vol.2011, pp.1-6, 2011-09-06

---

近年,センサーやスマートフォンなどの普及に伴い,多数のイベントデータがリアルタイムに大量に発生している.このような大規模なイベントデータを分析しリアルタイムに処理するサービスを,DFD (Data Flow Diagram) を用いた実装に依存しないフローを使って定義することによって,双方の処理を統合的に記述する手法を提案する.またこの手法を実現する開発環境のプロトタイプによって,実際に分析作業からサービス開発までの作業を分析者,開発者で明確に分離が可能になり,サービス実施までの期間を大幅に短縮できることを示した.