Supporting methods for detecting and correcting errors in software requirements

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

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.