2004 Fiscal Year Annual Research Report
汎セキュリティー要求仕様を統合したシステム設計法およびその支援系に関する研究
| Project/Area Number |
14380175
|
|---|
| Research Institution | The University of Electro-Communications |
|---|
Principal Investigator |
前川 守 電気通信大学, 大学院・情報システム学研究科, 教授 (10126162)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
大須賀 昭彦 (株)東芝, 研究開発センター, 特任研究員
小林 良岳 電気通信大学, 大学院・情報システム学研究科, 助手 (20345424)
中山 健 電気通信大学, 大学院・情報システム学研究科, 助手 (40296348)
|
|---|
| Keywords | 汎セキュリティー / システム設計法 / ソフトウェアコンポーネント / 仕様抽出 / 協調的信頼性評価 |
|---|
| Research Abstract |
本年度は、次の事項を行うとともに、これまでの研究を総括した:
1.ソースコードおよび実行過程の観察に基づいた汎セキュリティー仕様推測支援システムオブジェクト指向言語Javaで書かれたプログラムを対象として、ソースコードおよび実行過程の観察に基づき、インタラクティブに仕様を推測するプロトタイプシステムを完成させ評価を行った。仕様の表現は、記述力の豊かさという観点だけでなく、人間の理解し易さも重視した。実装はJavaの開発統合環境であるEclipseのプラグインとして行い、実行過程の観察にはアスペクト指向のツールを援用した。
2.ソフトウェア・コンポーネントのための用例蓄積・検索システムソフトウェア・コンポーネントを組み合わせてシステムを作成する場合を想定し、多数の既存コンポーネントを有効に活用するための支援システムを完成させ、評価を行なった。自然言語による機能説明書への依存を低減し、利用者に使用意図(作成しようとするシステムの仕様)を初期段階から形式的に表現させる負担を軽減することを目標とした。コンポーネントの典型的な使用例を蓄積し、種々の条件で検索・提示することで、意図された機能を容易に把握できるようなインタラクティブな環境を提供した。
3.P2Pを利用したソフトウェア・モジュールの信頼性情報の協調的共有機構いわゆるプラグインやドライバなどの信頼性情報を、多くの個別のシステムにおける障害履歴を協調的に収集・解析するための基盤となる機構を設計・実装した。
|
Research Products
(6 results)
