DocumentCode :
2377194
Title :
NASA software tools for high-quality requirements engineering
Author :
McCoy, James R.
Author_Institution :
Software Assurance Technol. Center, NASA Goddard Space Flight Center, Greenbelt, MD, USA
fYear :
2001
fDate :
2001
Firstpage :
69
Abstract :
Extensive research has been conducted on writing quality software requirements in a natural language, resulting in the development of guidelines for writing effective requirements and a tool for evaluating them. Concepts from this application, the Automated Requirements Measurement (ARM) tool, which scans a requirements document for specific key words and phrases that impact the quality of the requirements, were then applied to the area of systems safety, resulting in the creation of the Safety Critical Analysis Tool (SCAT). Current research states that use cases provide a more methodological basis for specifying and managing quality functional requirements than the traditional natural language approach. Therefore, the Requirements Use case Tool (RUT) was developed to provide a template and repository for high-quality use cases. The paper describes the contribution to generating high-quality requirements made by each of these three tools
Keywords :
formal specification; formal verification; natural languages; software tools; NASA software tools; automated requirements measurement tool; high-quality requirements engineering; natural language; quality functional requirements; requirements use case tool; safety critical analysis tool; systems safety; Application software; Area measurement; Guidelines; NASA; Natural languages; Quality management; Safety; Software quality; Software tools; Writing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Engineering Workshop, 2001. Proceedings. 26th Annual NASA Goddard
Conference_Location :
Greenbelt, MD
Print_ISBN :
0-7695-1456-1
Type :
conf
DOI :
10.1109/SEW.2001.992657
Filename :
992657
Link To Document :
بازگشت