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

Software quality demand modeling and inference method

A technology of software quality and reasoning methods, applied in the direction of program control devices, etc., can solve problems such as modeling and reasoning tools that are difficult to meet quality requirements

Inactive Publication Date: 2013-11-20
PEKING UNIV
View PDF3 Cites 4 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0004] The purpose of the present invention is to provide a software quality requirements modeling and reasoning method to solve the problem that the existing various modeling and reasoning tools are still difficult to meet the quality requirements, support the automatic reasoning of the formula model, and support the implementation of policy decisions

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
  • Software quality demand modeling and inference method
  • Software quality demand modeling and inference method
  • Software quality demand modeling and inference method

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0015] The present invention will be described in further detail below in conjunction with the accompanying drawings and specific embodiments.

[0016] In order to solve the problems existing in the prior art, the software quality requirement modeling and reasoning method of the present invention provides a software quality requirement-oriented formal modeling, automatic reasoning and analysis platform rΣ.

[0017] In the present invention, rΣ assumes that the modeling, automatic reasoning and analysis of software quality requirements are carried out under the requirement engineering method oriented to the goal, and the software quality requirements are refined according to the tree decomposition structure. In order to better understand the use of tools, we first introduce several related concepts:

[0018] NFR Softgoal (NFR Softgoal): It is a kind of soft goal that captures software quality requirements from the perspective of goals, such as reliability, security, accuracy an...

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

The invention provides a software quality demand modeling and inference method which is used for providing software quality demand oriented formalized modeling, automatic inference and an analysis platform r sigma. The method includes the following steps: setting a related concept, performing graphical modeling, clicking an r sigma drawing area, selecting a corresponding modeling element, clicking a canvas to generate the corresponding modeling element, performing formalized modeling, designing according to semantics and grammar of a target modeling language sigma orienting to software quality demand, performing strategy assessment to determine whether an implementation strategy is an acceptable strategy or not, performing strategy exploration to check all possible combinations of design options and classify strategies according to satisfied states of root nodes, and performing model extension to capture incidence relations among different modeling results. By the method, quality demand modeling results in a text format can be generated; no man-machine interaction is needed; in addition, multi-objective decisions of a quality demand implementation strategy are supported, and mutual dependent relationships among models can be captured.

Description

technical field [0001] The invention belongs to the technical field of software, and in particular relates to a software quality requirement modeling and reasoning method suitable for the modeling, reasoning, analysis and design decision-making process of the software quality requirement. Background technique [0002] With the continuous expansion and deepening of the software application field, the influence of software on various activities of human society is increasing day by day. In the process of software development, quality requirements are a factor that cannot be ignored. It is generally accepted that quality requirements and associated implementation strategies have a significant impact on software design decisions and architecture. Moreover, the satisfaction of quality requirements is also an important reason for users to choose the final software product. Therefore, how to effectively model, analyze quality requirements and select appropriate implementation str...

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): G06F9/44
Inventor 金芝魏博张伟赵海燕
Owner PEKING UNIV
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