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

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

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

intro software analytics

研究トピック

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

構成メンバー

教員

  • 高田 広章
  • 吉田 則裕

学生

  • 山本 椋太
  • 清水 貴裕
  • 都築 夏樹