Analysis method and system for system functional behavior consistency in software evolution

A software evolution and system function technology, applied in the field of software evolution, can solve problems such as inconsistency, high cost of resources and time, system deviation from functional goals, etc., and achieve the effect of simple understanding, easy understanding, and understanding

Active Publication Date: 2018-03-13
YUNNAN UNIV
View PDF2 Cites 2 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0006] To sum up, the problems existing in the existing technology are: the resource and time costs required for software evolution in a changeable environment are high; the behavior state of the existing software system before and after evolution does not satisfy the consistency, resulting in the evolution of the system Deviating from the established functional goals, causing unknowable problems;
[0008] The method of finding the inconsistency of the theoretical model through methods such as the cloud domain and other documents, and then modifying it to finally maintain the evolutionary consistency requires relatively high requirements on related technologies and hardware, and is not easy to operate

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
  • Analysis method and system for system functional behavior consistency in software evolution
  • Analysis method and system for system functional behavior consistency in software evolution
  • Analysis method and system for system functional behavior consistency in software evolution

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0063] In order to make the object, technical solution and advantages of the present invention clearer, the present invention will be further described in detail below in conjunction with the examples. It should be understood that the specific embodiments described here are only used to explain the present invention, not to limit the present invention.

[0064] The application principle of the present invention will be further described below in conjunction with the accompanying drawings.

[0065] figure 1 , the embodiment of the present invention provides a kind of system function behavior consistency analysis method in software evolution comprising the following steps:

[0066] S101: Obtain a state transition diagram representing all behavioral states of the entire system by converting the Petri net of the component system;

[0067] S102: Then starting from the system behavior layer, analyze the constraints used to ensure the consistency of system evolution.

[0068] One....

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 belongs to the field of software evolution technology and discloses an analysis method and system for system functional behavior consistency in software evolution. According to the method, Petri-net is adopted to perform formalized modeling on a to-be-evolved software system; a corresponding system Petri-net model is converted into a state transition diagram (Petri-net reachability graph), wherein each state in the state transition diagram is a corresponding system behavior state; and then system evolution consistency analysis is performed based on the state transition diagram. Through the method, whether consistency is guaranteed before and after evolution is analyzed starting from a system behavior layer rather than a component behavior layer. Compared with direct analysisof the system Petri-net model, the method is simpler and easy to understand; and the system can perform software dynamic configuration and update with as small cost as possible at an operating moment.

Description

technical field [0001] The invention belongs to the technical field of software evolution, and in particular relates to a method and system for analyzing the consistency of system function behavior in software evolution. Background technique [0002] Constructivity and evolution are two basic characteristics of software. In the era of rapid development of this science and technology now, the computer software of the present invention is also undergoing major changes, changing with each passing day. Along with the constant change of factors such as user's demand, operation environment, software system needs to make corresponding change in operation to adapt to new demand and environment, and this just means that the software of the present invention needs to constantly evolve to reach new requirement and then can continue to be used. Software evolution is divided into static evolution and dynamic evolution: static evolution means that the entire software system stops runnin...

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): G06F8/65G06F8/71G06F9/448
CPCG06F8/65G06F8/71
Inventor 郑交交秦江龙李彤林英谢仲文莫启王晓芳成蕾刘妙杨真谛郑明李响
Owner YUNNAN 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
Try Eureka
PatSnap group products