Supporting methods for detecting and correcting errors in software requirements

本课题的研究目标是1.软件需求规范（SRS）2中的错误分类。分类错误检测方法的建立3.建立检测误差的校正方法4.基于所提出的方法开发了一个原型系统5.评价的方法和原型系统与一个实际的SRS我们进行了研究，在2001年和2002年，采用SRS编写的基于日语的需求语言命名为X-JRDL。我们已经建立了检测和纠正这些语言之一写的SRS中的错误的方法。并基于本文的方法开发了一个原型系统，进行了以下相关研究.建立目视SRS 2中错误判读方法。UML建模中错误检测与纠正方法的建立3.建立了计算机中的错误检测和纠正方法。开发了一个用于检测CNO 5中错误的原型系统。开发了一个原型系统，用于纠正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.