Research on Software Requirements Specification Database

软件需求规格数据库研究

• 批准号: 08680381
• 负责人: OHNISHI Atsushi
• 金额: $ 1.41万
• 依托单位: Ritsumeikan University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 1996
• 资助国家: 日本
• 起止时间: 1996 至 1997
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-08680381/
• 关键词: Requirements Definition; Requirements Specification; Specification Database; Software Development

The author proposes a method to build a relational database of software requirements specifications (SRSs) from textual and visual SRSs automatically. The author has been developing a requirements model named Requirements Frame, a text-base requirements language and a visual requirements language based on the model in order to improve the quality of SRSs. Since Requirements Frame can be transformed into relational data model, each of requirement sentences can be regarded as a tuple of relational table.The author has been developing both a query language and a relational database management system for an SRS database. One of the features of the SRS DB system is to show an answer with a requirement sentence as an example/counter-example. This feature contributes to verify the SRS from a developer's own viewpoint. Another feature is to detect changed requirements in modification of the SRS.This feature contributes to effective maintenance of the SRS.We have developed prototypes and validated our method with some examples.

提出了一种从文本和可视化的软件需求规格说明自动建立软件需求规格说明关系数据库的方法。为了提高软件需求系统的质量，作者开发了一个需求模型--需求框架，并在此基础上开发了一个基于文本的需求语言和一个可视化需求语言。由于需求框架可以转化为关系数据模型，因此每个需求语句都可以看作是一个关系表的元组，作者为SRS数据库开发了一个查询语言和一个关系数据库管理系统。SRS DB系统的一个特点是用一个需求句子作为例子/反例来显示答案。该特性有助于从开发人员自己的角度验证SRS。另一个功能是在SRS的修改中检测更改的需求。这个功能有助于SRS的有效维护。我们已经开发了原型，并通过一些例子验证了我们的方法。

项目成果

Atsushi OHNISHI,Hideaki SUGIMOTO: "Detection and Elimination of Erroneous Software Specifications (in Japaneses)" Proc.4th Foundation of Software Engineering (FOSE) Workshop. Vol.4. 83-86 (1997)

Atsushi OHNISHI、Hideaki SUGIMOTO：“错误软件规范的检测和消除（日语）”Proc.4th Foundation of Software Engineering (FOSE) Workshop。

Atsushi Ohnishi: "Visual Software Requirements Language based on Communication Model" Proc.REFSQ'97. 119-130 (1997)

Atsushi Ohnishi：“基于通信模型的可视化软件需求语言”Proc.REFSQ97。

Atsushi Ohnishi: "Software Requirements Specification Database Based on Requiremeents Frame Model" Proc.IEEE ICRE'96. 221-228 (1996)

Atsushi Ohnishi：“基于需求框架模型的软件需求规范数据库”Proc.IEEE ICRE96。

Atsushi OHNISHI,Norihiro TOKUDA: "Visual Software Requirements Definition Environment" Proc.IEEE 21st International Computer Software and Applications Confrernce (COMPSAC). 624-629 (1997)

Atsushi OHNISHI、Norihiro TOKUDA：“可视化软件需求定义环境”Proc.IEEE 第 21 届国际计算机软件和应用程序会议 (COMPSAC)。

Atsushi Ohnishi, et al.: "Visual Software Requirements Definition Environment" Proc.21st COMPSAC'97. 624-629 (1997)

Atsushi Ohnishi 等人：“可视化软件需求定义环境”Proc.21st COMPSAC97。