Reliability strategy model and code consistency detection method and device
A detection method and reliability technology, which is applied in the field of consistency detection between reliability strategy models and codes, can solve problems that are not suitable for detecting the consistency between reliability strategy models and codes, and achieve accurate detection results, simple technical solutions, and The effect of efficient detection methods
Active Publication Date: 2020-07-31
天航长鹰(江苏)科技有限公司
View PDF11 Cites 0 Cited by
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
[0005] In view of the above analysis, the embodiment of the present invention aims to provide a reliability policy model and code consistency detection method and device to solve the problem of extracting and comparing existing pure static information, which is not suitable for detecting reliability policy models and codes. problem of consistency
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
[0039] Preferred embodiments of the present invention will be described in detail below in conjunction with the accompanying drawings, wherein the accompanying drawings constitute a part of the application and together with the embodiments of the present invention are used to explain the principle of the present invention and are not intended to limit the scope of the present invention.
[0040] A specific embodiment of the present invention discloses a consistency detection method between a reliability policy model and a code. Such as figure 1 As shown, the consistency detection method between the reliability policy model and the code includes: in step S102, formally describe the UML sequence diagram and the label migration system LTS respectively; in step S104, based on separating The extracted reliability strategy aspect model obtains the key information of the reliability strategy UML sequence diagram model to construct the reliability strategy UML sequence diagram model, ...
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 relates to a reliability strategy model and code consistency detection method and device, belongs to the technical field of software testing, and solves the problem that existing staticinformation extraction is not suitable for detecting the consistency of a model and a code. The method comprises the following steps: constructing a reliability strategy UML time sequence diagram model; converting the reliability strategy UML time sequence diagram model into a model LTS; tracking the reliability strategy model to the code to obtain a reliability strategy code; obtaining a Log filebased on reliability strategy code instrumentation, wherein the Log file comprises execution path information of the reliability strategy code; constructing a code LTS based on the Log file; extracting all branch paths of the model LTS as model paths, and extracting branch paths of the code LTS as code paths; detecting the consistency between the model path and the code path; and when the numberof the code paths is greater than or equal to the minimum number of the code paths, determining that the consistency detection result is accurate. According to the invention, an accurate dynamic consistency checking method for the model and the code is realized.
Description
technical field [0001] The invention relates to the technical field of software testing, in particular to a consistency detection method and device for reliability policy models and codes. Background technique [0002] Software reliability refers to "the ability of software to perform the required functions under limited conditions within a given period of time". In the requirements description phase of a software system, system requirements are usually described as functional requirements and non-functional requirements. As an important part of non-functional requirements, reliability requirements describe the reliability constraints of the system. Reliability design is to formulate decisions and provide solutions for reliability requirements, and it is a mechanism to ensure that the system can operate normally when it encounters a failure. [0003] In the design stage, modeling based on reliability design provides guidance and basis for code developers to realize the exp...
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 IPC IPC(8): G06F11/36
CPCG06F11/3684G06F11/3688
Inventor 张莉刘泽伟葛宁张磊田家豪
Owner 天航长鹰(江苏)科技有限公司