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

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