3 0 0 0 OA C/C++シンボリック実行ツールKLEEの適用とCPPUNIT連携ツールの開発
- 著者
- 徳本 晋 上原 忠弘 宗像 一樹 菊地 英幸 江口 亨 石田 晴幸 馬場 匡史
- 雑誌
- 組込みシステムシンポジウム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 のテストコードへ変換するツールについても報告する.
1 0 0 0 OA 拡張UMLによるMATLAB/Simulinkモデルとコード・ライブラリの結合
- 著者
- 新井 正敏 江口 亨 石田 晴幸 吉田 紀彦
- 出版者
- 一般社団法人 システム制御情報学会
- 雑誌
- システム制御情報学会論文誌 (ISSN:13425668)
- 巻号頁・発行日
- vol.30, no.6, pp.228-237, 2017-06-10 (Released:2017-09-15)
- 参考文献数
- 10
- 被引用文献数
- 3
To improve development efficiency, model based techniques have been increasingly applied in embedded systems. For example, MATLAB/Simulink is regularly used for expressing physical phenomena, including signal processing and control systems. While it is very effective in these areas, it lacks object oriented capabilities that have been proven to increase development efficiency in related domains. UML is effective for descriptions of structures using object oriented abstraction, however it cannot express physical phenomenon easily. Furthermore, in conventional software engineering,code-libraries are regularly used to deliver significant development efficiency improvements across a wide range of domains, however neither MATLAB/Simulink nor UML include code-libraries. In this paper, we propose an extended UML to combine an UML model, MATLAB/Simulink models and code-libraries in a single system so as to realize efficient development. In the extended UML, an entire system is defined as a structure that consists of model parts. Each model part is integrated using UML. After generating source codes using UML, additional source code details are added from MATLAB/Simulink models and code-libraries. We demonstrate the efficiency of the extended UML with an experiment that shows behavioral equivalence between the system created with the extended UML and the original simulation model.