• 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