ERTL組込みリアルタイムシステム研究室

ソフトウェア解析グループ

組込みソフトウェア開発を支援することを目的として、自然言語処理技術を利用した要求仕様書分析ツールや、プログラムからの設計モデル抽出ツールの研究を行っています。

intro software analytics

研究トピック

  • 自然言語処理技術を利用した要求仕様書分析ツール
  • プログラムからの設計モデル抽出ツール
  • ファジングツールの定量的評価
  • 記号実行ツールの定量的評価

構成メンバー

教員・研究員

  • 高田 広章
  • 吉田 則裕
  • 山本 椋太

学生

  • 小林 倫也
  • 宮木 龍
  • 朱 文青
  • 大野 堅太郎