A consistency detection method and device for reliability policy model and code

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 improved maintenance efficiency, accurate detection results, The simple effect of technical solutions

Active Publication Date: 2021-07-27
天航长鹰(江苏)科技有限公司
View PDF3 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 more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • A consistency detection method and device for reliability policy model and code
  • A consistency detection method and device for reliability policy model and code
  • A consistency detection method and device for reliability policy model and code

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

No PUM Login to view more

Abstract

The invention relates to a consistency detection method and device for a reliability strategy model and codes, belongs to the technical field of software testing, and solves the problem that existing static information extraction is not suitable for detecting the consistency between models and codes. The method includes: constructing reliability strategy UML sequence diagram model; transforming reliability strategy UML sequence diagram model into model LTS; tracking reliability strategy model to code to obtain reliability strategy code; obtaining Log based on reliability strategy code insertion file, the Log file includes the execution path information of the reliability policy code; build the code LTS based on the Log file; extract all the branch paths of the model LTS as the model path, and extract the branch paths of the code LTS as the code path; and detect the model path and the code path Consistency between ; when the number of code paths is greater than or equal to the number of minimum code paths, the detection result for determining consistency is accurate. Realize an accurate dynamic consistency check method between model and code.

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
no application Login to view more
Patent Type & Authority Patents(China)
IPC IPC(8): G06F11/36
CPCG06F11/3684G06F11/3688
Inventor 张莉刘泽伟葛宁张磊田家豪
Owner 天航长鹰(江苏)科技有限公司
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

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap