状態遷移表リバースエンジニアリング抽出ツールREｘSTM for C のオープンソース化

組込みシステム技術協会 応用技術調査委員会 状態遷移設計研究WGでは、2014年度よりC言語ソースコードから状態遷移表を抽出する手法とツールの開発を進めてきた。本講演では、その手法のおよび手法を実装したツールRExSTM for C について概説する。REｘSTMはオープンソースソフトウェア化を進めており、その状況やダウンロード方法についても述べる。また、日頃のWGでの活動やツール開発までの議論についても紹介する。