An Internal Consistency Guarantee Method for Component Dynamic Evolution
A dynamic evolution and consistency technology, applied in software testing/debugging, instrumentation, error detection/correction, etc., can solve problems such as lack of consistency analysis
Inactive Publication Date: 2020-12-29
YUNNAN UNIV
View PDF2 Cites 0 Cited by
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
[0005] To sum up, the problems existing in the existing technology are: the internal consistency analysis before and after the dynamic evolution of the existing software components is insufficient; the analysis of the consistency before and after the dynamic evolution from the inside of the component is still rare in this field
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 moreImage
Smart Image Click on the blue labels to locate them in the text.
Smart ImageViewing Examples
Examples
Experimental program
Comparison scheme
Effect test
Embodiment Construction
[0068]In order to make the objectives, technical solutions and advantages of the present invention clearer, the present invention will be further described in detail below in conjunction with embodiments. It should be understood that the specific embodiments described here are only used to explain the present invention, but not to limit the present invention.
[0069]The application principle of the present invention will be further described below in conjunction with the accompanying drawings.
[0070]Such asfigure 1 As shown, the method for guaranteeing internal consistency of component dynamic evolution provided by the embodiment of the present invention includes the following steps:
[0071]S101: Model the component and its correlation, and determine the homomorphic mapping relationship of the class directed graph within the combined component;
[0072]S102: Combining the internal consistency standards of component-based component dynamic evolution, based on the strong simulation theory of ...
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
Login to View More Abstract
The invention belongs to the technical field of software component evolution and discloses a component dynamic evolution internal consistency guarantee method and system. Firstly, the consistency of acomponent before and after dynamic evolution is analyzed in the component, which is rarely seen in the field; secondly, a homomorphic mapping relationship of a directed graph in a graph theory is migrated into an internal class of the component and combined with a strong simulation theory in process algebra, thereby providing support for necessary and sufficient conditions of guaranteeing component dynamic evolution internal consistency, and providing a basis for analysis of a global angle and a local angle of an experiment; and thirdly, a judgment algorithm for the homomorphic mapping relationship of the directed graph of the internal class of the component is proposed. Starting from the sufficient and necessary conditions, internal consistency standards of the component before and afterdynamic evolution are defined; and the sufficient and necessary conditions meeting the consistency are proved through the strong simulation theory of the process algebra and the homomorphic mapping relationship in the graph theory.
Description
Technical field[0001]The invention belongs to the technical field of software component evolution, and particularly relates to a method for guaranteeing internal consistency of component dynamic evolution.Background technique[0002]Component is the basic component of software and also the basic component of software architecture. With the development of software development technology, component-based software development methods have become more mature. Generally speaking, component-based software engineering (component-based software engineering, CBSE) is to integrate required components into the final required system. With the maintenance of the system and changes in user requirements, component evolution cannot be avoided. Whether the evolved component deviates from the pre-evolution component is the essential standard for judging whether the component dynamic evolution is correct or not, and it is also important to ensure the reliability of the component dynamic evolution implem...
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
Login to View More Patent Type & Authority Patents(China)
IPC IPC(8): G06F11/36
CPCG06F11/3608
Inventor 郑明李彤莫启谢仲文林英秦江龙周小煊向文坤何云李响成蕾王晓芳郑交交杨真谛
Owner YUNNAN UNIV