Eureka AIR delivers breakthrough ideas for toughest innovation challenges, trusted by R&D personnel around the world.

Method for detecting software features on basis of system requirement model

A detection method and model technology, applied in the field of software feature detection based on requirement models, can solve problems that have not yet appeared, increase software development costs, and conceptual symbols are too abstract.

Inactive Publication Date: 2010-10-27
WUHAN UNIV
View PDF0 Cites 14 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

But the disadvantage is that the concept symbol is too abstract, it needs to have a good mathematical foundation and strict special training before it can be mastered and used, and it may increase the cost of software development
[0088] However, there is no technical solution for software feature detection for the requirement model generated by this new requirement modeling method based on viewpoint and behavior.

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
  • Method for detecting software features on basis of system requirement model
  • Method for detecting software features on basis of system requirement model
  • Method for detecting software features on basis of system requirement model

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0168] After the system requirements model that meets the design requirements of the software system is established through the demand modeling method based on viewpoints and software behaviors, the technical solution provided by the present invention can be used to discover the inconsistencies of viewpoints in the system demand model, that is, the system effectiveness; and to verify the software Whether the behavior can be performed as expected, that is, the effectiveness of the software's behavior.

[0169] The demand modeling method based on viewpoint and software behavior is especially suitable for providing system demand model for the development of complex software system. The main feature of a complex software system is that its related problem domain is quite complex and involves more related personnel. Therefore, in the process of viewpoint construction, although each viewpoint is relatively independent, the demand information between different viewpoints may overlap. T...

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 method for detecting software features on the basis of a system requirement model. The system requirement model consists of the viewpoint behavior model of all the viewpoints in a system; the viewpoint behavior model consists of all the scene behavior models in the viewpoint; the scene behavior models are formed by combining all the effective behaviors in the scene according to the relations among the behaviors; and the method is characterized by checking the consistency in the viewpoints of the system requirement model and verifying the effectiveness of the behaviors thereof, more particularly, the consistency in the viewpoints of the system requirement model is checked by converting the behavior model expression of the viewpoint behavior model into the expression of a dynamic operation semantic model and judging whether the viewpoint behavior models of two viewpoints are equivalent by observation, and the verification of the effectiveness of the behavior is achieved by converting the system requirement model into an equivalent dynamic operation semantic model, expressing the software features related to the effectiveness of the behavior as the sequential logic formula and carrying out the automatic detection according to the dynamic operation semantic model and the sequential logic formula to obtain the verification result of the effectiveness of the behavior.

Description

Technical field [0001] The invention belongs to the field of software development technology and tools, and particularly relates to a software characteristic detection method based on a demand model. Background technique [0002] For software development, if an error occurs in the requirements phase, it will increase the software development cost and development time or cause the development work to fail. In order to reduce the errors in the demand phase, it is an important and essential work to check the demand model of the software system in the demand phase. The detection of the demand model is based on the formal or semi-formal description of the demand model, inferring and verifying the nature of the software system to determine whether the demand model is consistent and meeting the user's requirements. In the actual development of software, in order to better understand the requirements, especially the requirements of complex software systems, it is often necessary for sof...

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): G06F11/36
Inventor 陈曙袁梦霆吴怀广毋国庆
Owner WUHAN UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Eureka Blog
Learn More
PatSnap group products