【技術高度化委員会】状態遷移設計研究会 レガシーコードの蘇生術～リバースモデリングツールREｘSTM for Cのご紹介～

組込みソフトウェア開発の現場では、レガシーコードの複雑化・肥大化やドキュメントの陳腐化に起因する問題が多く起こっている。状態遷移設計研究会では、この問題を解消すべく、以前よりレガシーコードから状態遷移表をリバースモデリングする手法の確立に以前より取り組んでおり、その一環としてリバースエンジニアリングを補助するツール RExSTM for C を開発している。公開に先立ち、このツールの紹介を行う。

山本 椋太名古屋大学 大学院 情報科学研究科

プロフィール 苫小牧工業高等専門学校 情報工学科を卒業し、その後、同・専攻科 電子・生産システム工学専攻に進学する。苫小牧工業高等専門学校では、組込みシステム教材開発に関する研究に携わっていた。現在、名古屋大学大学院情報科学研究科博士課程(前期課程)２年次在学中であり、ソフトウェア工学について研究に携わっている。特に、形式手法を使用したソフトウェアのディペンダビリティ向上に関する研究に携わっている。