ソフトウェア要求仕様のデータベース化に関する研究

1997 Fiscal Year Annual Research Report

• Project/Area Number: 08680381
• Research Institution: Ritsumeikan University
• Principal Investigator: 大西 淳 立命館大学, 理工学部, 教授 (50160560)
• Keywords: ソフトウェア要求定義 / ソフトウェア要求仕様 / 仕様データベース / ソフトウェア開発

Research Abstract

膨大なソフトウェア要求仕様から参照すべき箇所を的確に引き出すとともに分かりやすく提示すること、および要求変更の支援を目標としたソフトウェア要求仕様のデータベース化に関する研究を平成8年度と9年度の2年間に渡って進めた。
我々は要求フレームと名付けた要求を表現するためのモデルとそれに基づいた要求言語を開発しているが、要求フレームモデルは容易に関係データモデルに変換可能であり、要求文は動詞を関係とする関係表のタプルに変換できる技術を確立しており、平成8年度はタプル単位での検索や保守ができるような手法の確立と、要求仕様のためのデータベースに対する質問言語の設計と検索システムの設計を進め、質問言語の処理系を試作した。
平成9年度は
1.平成8年度に確立した要求仕様データベースのタプル単位での検索や保守手法のシステム化
2.ビジュアルに表現された要求のデータベース化のための手法の確立
3.日本語で記述された要求から得られるデータベースとビジュアルな要求から得られるデータベースをマージし、整合性をとる手法の確立
4.上記の2つの手法に基づいた処理系の試作
5.具体例を適用することによる、手法と試作した処理系の有用性の評価
を行なった。

Research Products

• [Publications] Atsushi Ohnishi: "Visual Software Requirements Language based on Communication Model" Proc.REFSQ'97. 119-130 (1997)
• [Publications] 大西 淳, 他: "UML法におけるモデル整合性検証支援手法" 情報処理学会オブジェクト指向'97シンポジウム論文集. 120-127 (1997)
• [Publications] 大西 淳: "オ-ディオ・ビジュアルな要求仕様化技法" 情報処理学会研究報告. 97. 95-102 (1997)
• [Publications] Atsushi Ohnishi, et al.: "Visual Software Requirements Definition Environment" Proc.21st COMPSAC'97. 624-629 (1997)
• [Publications] Atsushi Ohnishi: "Software Requirements Definition for Specification Database" Proc.APSEC'97. 521-522 (1997)
• [Publications] 大西 淳, 他: "誤りを含んだ要求仕様の検出と解消" 日本ソフトウェア科学会ソフトウェア工学基礎(FOSE)論文集. 4. 83-86 (1997)