Supporting methods for detecting and correcting errors in software requirements

支持检测和纠正软件需求中的错误的方法

• 批准号: 13680427
• 负责人: OHNISHI Atsushi
• 金额: $ 0.9万
• 依托单位: Ritsumeikan University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2001
• 资助国家: 日本
• 起止时间: 2001 至 2002
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-13680427/
• 关键词: requirements definition; requirements specification; software specification; software development; ソフトウェア開発; 要求工学; 要求仕様; 仕様変更; 仕様の誤り検出

The goals of this research project are1. Classification of errors in Software requirements specification (SRS)2. Establishment of detecting methods for the classified errors3. Establishment of correcting methods for the detected errors4. Development of a prototype system based on the proposed methods5. Evaluation of the methods and prototype system with a practical SRSWe have proceeded the research in 2001 and 2002 by adopting SRS written with Japanese-base requirements language named X-JRDL. We have established methods of detecting and correcting errors in SRSs written with one of these languages. We have also developed a prototype system based on our methods.We proceed the following related researches.1. Establishment of method for interpreting errors in visual SRS2. Establishment of detecting and correcting method of errors in UML diagrams3. Establishment of detecting and correcting method of errors in scenarios4. Developing prototype system for detecting errors in scenario5. Development of prototype system for correcting errors in UML diagrams.These results are published in international conferences and transactions of major computing societies.

本研究项目的目标是1。软件需求规范(SRS)中错误的分类2.建立对分类错误的检测方法3.建立对检测到的错误的纠正方法。基于提出的方法开发了一个原型系统。用一个实际的SRS对方法和原型系统进行了评估我们在2001年和2002年采用了用日语基本需求语言X-JRDL编写的SRS进行了研究。我们已经建立了检测和纠正用这些语言之一编写的SRSS中的错误的方法。在此基础上开发了一个原型系统。我们进行了以下相关研究。视觉错误解释方法的建立建立了检测和纠正UML图中错误的方法。场景错误检测和纠正方法的建立4.开发了场景错误检测原型系统。用于纠正UML图中错误的原型系统的开发。这些结果发表在国际会议和主要计算学会的会刊上。

项目成果

Takeshi Sumi, Harumi Watanabe, Atsushi Ohnishi: "Supporting Method for verifying the consistency between UML models with stereotypes"IPSJ Transaction. Vol. 43, No. 6. 1554-1562 (2002)

Takeshi Sumi、Harumi Watanabe、Atsushi Ohnishi：“验证 UML 模型与构造型之间一致性的支持方法”IPSJ Transaction。

鷲見 毅 他: "ステレオタイプによるUMLモデル間の整合性検証支援手法"情報処理学会論文誌. 43. 1554-1562 (2002)

Takeshi Sumi 等人：“UML 模型之间基于 Stereotype 的一致性验证支持方法”，日本信息处理学会汇刊 43. 1554-1562 (2002)。

Atsushi Ohnishi: "Visual Software Requirements Specification Technique based on Communication Model"IEICE Transaction on Information and Systems. E85-D・4. 615-622 (2002)

Atsushi Ohnishi：“基于通信模型的可视化软件需求规范技术”IEICE E85-D·4（2002）。

大西 淳: "UMLにおけるモデル整合性検証システム"電子情報通信学会論文誌. J84-D-I・6. 671-681 (2001)

Jun Onishi：“UML 中的模型一致性验证系统”电子信息通信工程师协会学报 J84-D-I・6（2001 年）。

鷲見 毅, 大西 淳: "ステレオタイプによるUMLモデル間の整合性検証支援"情報処理学会オブジェクト指向シンポジウム2001論文集. 25-34 (2001)

Takeshi Sumi、Jun Onishi：“使用构造型支持 UML 模型之间的一致性验证”日本信息处理学会面向对象研讨会 2001 年论文集 25-34 (2001)。