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