| 研究概要 |
高信頼性ソフトウェアの開発工程を形式的仕様の獲得フェーズと仕様からプログラムへの自動変換フェーズに分けて考え,実用規模の高信頼性ソフトウェアを開発するための研究を行ってきた.
前年までに,形式的仕様の獲得手法の研究として,代数的仕様の類似性に基づいて,与えられた仕様と類似した仕様を部品データベースに保存されている既存のソフトウェア部品の仕様群から柔軟に検索するための研究を行った.そして,仕様からプログラムへの自動変換に関する研究として,部品データベースに蓄えられた仕様と対応づけられたプログラムの再利用法を提案し,そのプロトタイプシステムを実装した.また,既存のソフトウェアを利用して仕様からプログラムへの自動変換を行うには,柔軟なソフトウェア部品をデータベースに蓄える必要があるが,そのための細粒度ソフトウェアリポジトリに関する研究を行った.
本年はこれまでの研究成果をふまえ,仕様からプログラムへの自動変換に関する研究を中心に行ってきた.まず,自動変換を支援するための研究として,仕様とプログラムの対応のパターンを調べ,そのパターンを用いたプログラム生成法の研究と既存のソフトウェアからプログラムパターンを抽出,蓄積し,応用するための研究を行った.また,既存のソフトウェアからプログラム部品を抽出する方法の研究を行った.また,既存のソフトウェア部品を与えられた仕様に適合させるための変更法を関する研究を行った.
また,関連研究として,代数的仕様の効率的な検証のための項書換え系に関する研究やソフトウェア部品の解析に関する研究などを行った.
|
