Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

System and method for generating high-quality formal executable software feature requirements

A technology for software requirements and informal requirements, applied in requirements analysis, special data processing applications, instruments, etc., and can solve problems such as limited intellectual models, information loss, and time-consuming

Active Publication Date: 2013-09-11
GM GLOBAL TECH OPERATIONS LLC
View PDF10 Cites 3 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

The translation from natural language requirements to formal executable requirements can be subjective and may involve loss of information
The analysis currently used to make the process more objective and preserve information is time consuming
For example, such analysis includes manual review requirements and is limited by mental models

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • System and method for generating high-quality formal executable software feature requirements
  • System and method for generating high-quality formal executable software feature requirements
  • System and method for generating high-quality formal executable software feature requirements

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0053] As needed, detailed embodiments are disclosed herein. It must be understood that the disclosed embodiments are exemplary only and may be embodied in various and alternative forms and combinations thereof. As used herein, the word "exemplary" is used broadly to refer to an implementation serving as a description, example, model, or example. The figures are not necessarily to scale and some features may be exaggerated or minimized to show details of particular components. In other instances, well-known components, systems, materials or methods that would be known by those of ordinary skill in the art have not been described in detail so as not to obscure the present invention. Therefore, specific structural and functional details disclosed herein are not to be considered limiting, but merely a basis for the claims and a representative basis for teaching one skilled in the art.

[0054] system

[0055] refer to figure 1 , the requirement analysis system 100 includes a ...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

A systems and a method for generating high-quality formal executable software feature requirements are provided. Specifically, provided are the system and method for generating formal software requirements using an informal requirements document having informal requirements and annotations associated with the informal requirements. The system and method extract syntax from the annotations and generate artifacts as a function of the syntax.

Description

technical field [0001] The general technical field is software development, and more specifically systems and methods for generating software feature requirements. Background technique [0002] The process of generating software feature requirements includes obtaining natural language requirements and converting them into formal executable requirements. The conversion from natural language requirements to formal executable requirements may be subjective and may involve loss of information. The analysis currently used to make the process more objective and preserve information is time consuming. For example, such analysis includes manual review requirements and is limited by mental models. Contents of the invention [0003] Various embodiments overcome the deficiencies of the prior art by providing systems and methods for generating software feature requirements that gradually and trackably convert natural language requirements into formal executable requirements. The sy...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
Patent Type & Authority Applications(China)
IPC IPC(8): G06F17/22
CPCG06F8/10G06F40/151G06F40/169G06F40/211
Inventor A.查卡瑞潘尼劳M.G.迪克西特R.塞图
Owner GM GLOBAL TECH OPERATIONS LLC
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com