ソフトウェア検証-silverbullet.is.konan.pptVIP

ソフトウェア設計検証研究室の紹介 知能情報学部 准教授 新田直也 研究室について 研究室の場所13号館2階 学生実験室 13-217 新田研究室 13-206 Webページhttp://silverbullet.is.konan-u.ac.jp スタッフ准教授 新田直也 研究テーマ ソフトウェア工学を3つの方向から研究しています ソフトウェア動的?静的解析 プログラム理解 アーキテクチャレベルリファクタリング ソフトウェア設計 アーキテクチャ評価?導出支援 リエンジニアリング フォワードエンジニアリング リバースエンジニアリング 研究室の特色 理論よりも実践を重視します． 役に立つ研究を指向しています． ゼミ生全員で1つのソフトウェアの開発に取り組みます． 技術者としての基礎訓練のため． 研究の意義を実感するため． 研究で使えるプロジェクトデータの収集のため． チームとして1つのことに取り組む経験のため． 研究の例（1） ソフトウェア解析手法分担してソフトウェアを開発する場合や，ソフトウェアを再利用する場合に，他人が書いたソフトウェアを理解しなければならない場合があります．本研究では，どこから読んでいけば良いかさえわからないような巨大なソフトウェアを効率よく理解するためのソフトウェア解析手法について取り組んでいます．現在，デルタプロジェクトが進行中です． 研究の例（2）