QuARS: A Tool for Analyzing Requirements

Abstract : Numerous tools and techniques are available for managing requirements. Many are designed to define requirements, provide configuration management, and control distribution. However, there are few automatic tools to support the quality analysis of natural language (NL) requirements. Ambiguity analysis and consistency and completeness verification are usually carried out by human reviewers who read requirements documents and look for defects. This clerical activity is boring, time consuming, and often ineffective. This report describes a disciplined method and a related automated tool that can be used for the analysis of NL requirements documents. The tool, called the Quality Analyzer for Requirements Specifications (QuARS), makes it easier to extract structured information and metrics for detecting linguistic inaccuracies and defects. QuARS allows requirements engineers to perform an initial parsing of requirements by automatically detecting potential linguistic defects that can cause ambiguity problems at later stages of software product development. The tool also provides support for the consistency and completeness analysis of the requirements.

[1]  Ivy Hooks,et al.  WRITING GOOD REQUIREMENTS , 1994 .

[2]  Alistair Cockburn,et al.  Writing Effective Use Cases , 2000 .

[3]  Luisa Mich,et al.  Market research for requirements analysis using linguistic tools , 2004, Requirements Engineering.

[4]  Donald Firesmith,et al.  Specifying Good Requirements , 2003, J. Object Technol..

[5]  Daniel M. Berry,et al.  AbstFinder, a prototype abstraction finder for natural language text for use in requirements elicitation: design, methodology, and evaluation , 1994, Proceedings of IEEE International Conference on Requirements Engineering.

[6]  Norbert E. Fuchs,et al.  Specifying Logic Programs in Controlled Natural Language , 1995, ArXiv.

[7]  Jean-Raymond Abrial,et al.  The B-book - assigning programs to meanings , 1996 .

[8]  Luisa Mich,et al.  Ambiguity Measures in Requirements Engineering , 2022 .

[9]  Björn Regnell,et al.  Evaluating automated support for requirements similarity analysis in market-driven development , 2001 .

[10]  M. Pursley.  Report Documentation Page Form Approved Omb No. 0704-0188 Please Do Not Return Your Form to the above Address. 1. Report Date (dd-mm-yyyy) Final Technical Report Receiver Statistics for Cognitive Radios in Dynamic Spectrum Access Networks Onr , 2007 .

[11]  Felix Redmill,et al.  Safety-critical Systems: Current issues, techniques and standards , 1993 .

[12]  Erik Kamsties,et al.  Taming Ambiguity in Natural Language Requirements , 2005 .

[13]  Linda H. Rosenberg,et al.  Automated Analysis of Requirement Specifications , 1997, Proceedings of the (19th) International Conference on Software Engineering.

[14]  Vincenzo Gervasi,et al.  Processing natural language requirements , 1997, Proceedings 12th IEEE International Conference Automated Software Engineering.

[15]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[16]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.