鈴木 正人 (SUZUKI, Masato)准教授
情報科学系,セキュリティ・ネットワーク領域
◆学位
博士(工学) 東京工業大学
工学修士 東京工業大学
工学士 東京工業大学
◆職歴
1992 - : - 北陸先端科学技術大学院大学 助手
◆専門分野
ソフトウェア工学
◆研究キーワード
ソフトウェア工学, Software Engineering, ソフトウェアアーキテクチャ/コンポーネント, ソフトウェア開発支援環境(ツール), プログラム理解支援
◆研究課題
コンポーネントを利用した既存ソフトウェアの再構成の研究
レガシーソフトウェアはその設計の硬直性やドキュメントの不足などから機能追加や保守が極めて困難な状態になっているものが多い. 本研究課題ではレガシーソフトウェアをコンポーネントを利用して再構成することにより、低コストで拡張性や信頼性を向上させることを目的とした方法論および支援環境の研究を行う。
履歴を利用したリファクタリングの支援環境
リファクタリングとは、ソフトウェアの機能を変更せずにその構造を変更し、拡張性や信頼性の向上およびバグの混入の可能性を減少させる一連の操作である. リファクタリングを行うにはその対象箇所の発見や操作手順の管理などに問題があり、今まで現場ではあまり用いられていなかった. 本研究課題ではリファクタリングの基本操作を形式化し、対象箇所の発見にはメトリクスを、目標とそれに至るまでの履歴を使用し、分析、改良、パターン化などを通じて総合的なソフトウェアの保守環境の構築をめざす.
大規模ソフトウェアの理解支援環境の研究
ソフトウェアの開発において、現在は既存のソフトウェアの修正改良がそのコストの大部分を占めている。特に規模の大きい(数万行)ソフトウェアにおいては、いわゆる設計と実装(実際のコード)との乖離が多く、コードの構造が複雑で保守を行うためにはその理解に多くの時間を必要とする. 本研究課題ではコードを解析して、利用者が必要とする情報を複数のフィルタを組み合わせて抽出することにより、大規模プログラムの理解を支援する環境/ツールの構築を目標とする.また複数のプログラム言語を対象とし、新しい言語に対する拡張性や、プログラム言語間の変換も視野に入れる.

■研究業績

◆発表論文
SDVerifier: A tool for verification of sequence diagrams using the process algebra CSP
Tomohiro Kaizu, Masato Suzuki, Yoshinao Isobe
Computer Software, 32, 234-252, 2015/01/01
Improving the quality of aspectj application: Translating name-based pointcuts to analysis-based pointcuts
Lin Wang, Tomoyuki Aotani, Masato Suzuki
Proceedings - International Conference on Quality Software, 27-36, 2014/01/01
Feature selection for clustering based aspect mining
Lin Wang, Tomoyuki Aotani, Masato Suzuki
VariComp 2013 - Proceedings of the 4th International Workshop on Variability and Composition, 7-11, 2013/04/15
Interaction awareness for aspect refactoring
Lin Wang, Tomoyuki Aotani, Masato Suzuki
AOAsia 2013: Proceedings of the 8th International Workshop on Advanced Modularization Techniques - AOAsia/Pacific, 15-17, 2013/04/15
Refinement and verification of sequence diagrams using the process algebra CSP
Tomohiro Kaizu, Yoshinao Isobe, Masato Suzuki
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E96-A, 495-504, 2013/01/01
◆Misc
分散環境における耐故障ソフトウェアのためのフレームワーク-Java RMIによる実装-,
信学技報電子情報通信学会FTS研究会, FT99-10, -, 1999
An Implementation of the FTAG Model in Concurrent ML
Fourth Pacific Rim International Symposium on Fault-Tolerant Systems, 4, 229-234, 1997
ソフトウェアプロセス適応のための形式的モデル
コンピュータソフトウェア(日本ソフトウェア科学会), 13, 5, 2-10, 1996
A Formal Description of FTAG for Multi-Processor Systems
Third Pacific Rim International Symposium on Fault-Tolerant Systems, 3, 244-253, 1995
Implementing Fault Tolerance with an Attributed and Functional Model
24th Annual International Symposium on Fault-Tolerant Computing, 244-253, 1994
◆書籍
Architecture and Component Based Approaches for Dependable Distributed Information Systems
SCI 2000, Volume 3, 2000
Implementing Fault Tolerant Software in Distributed Environment
Kluwer Academic Press, Chapter 15, 2000
「コンピュータリテラシ -- 情報環境の使い方--」
東京工業大学全学情報科目実施委員会, 昭晃堂, 2000
Usign a functional language for designing fault tolerant parallel and distributed software
ISAS 98, Volume 1, 1998
A Formal model Description of FTAG for Muiti processor System
PRFTS95, 1995

■担当講義

Study on Practical Architectures for IoT Systems, Software Development Laboratory for Highly, Software Process Design for Highly Dependable Embedded Systems, Software Architecture, 実践的IoTシステムアーキテクチャ論, 高信頼組込みシステム開発演習, 高信頼組込みシステム開発プロセス設計, ソフトウェアアーキテクチャ論

■学外活動

◆所属学会
電子情報通信学会, 日本ソフトウェア科学会, IEEE Computer Society, ACM, 情報処理学会
◆学術貢献活動
ああ
連絡委員 , 情報処理学会