状態遷移モデル記述言語stmcを用いた組込みソフトウェアのためのモデルレベルデバッグツールの開発

摘要

モデル駆動開発を活用するためにはモデル記述や変換の他に，開発を支援する機能の充実が重要となる．中でもターゲットの動作をモデルに基づいて操作し設計のミスを明らかにするデバッガは基本的な要素である．本研究では状態遷移図によるモデル記述構文を持つプログラミング言語stmcを対象にしたgdbと共調できるモデルレベルデバッガを開発した．ESSロボットチャレンジでの開発事例における不具合事例を用いてモデルレベルのデバッグ機能の効果について評価を行い実装の方式について検討を行った．