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

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

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

intro software analytics

研究トピック

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

構成メンバー

教員・研究員

  • 高田 広章
  • 吉田 則裕

学生

  • 宮木 龍
  • 朱 文青
  • 大野 堅太郎
  • 陳 俊宇
  • 永原 渓太郎