Software reliability testing method and device based on code tracking

A testing method and reliability technology, applied in the field of software reliability testing based on code tracking, can solve the problems of lack of reliability policy tracking, static information is not suitable for detecting reliability policy model and code consistency, etc., to improve maintenance Efficiency, accurate test results, simple technical solutions

Active Publication Date: 2021-07-27
天航长鹰(江苏)科技有限公司
View PDF5 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 software reliability testing method and device based on code tracking, to solve the problem that existing solutions lack oriented tracking of reliability strategies in code, and the extraction of static information is not suitable for detection Consistency between model and code of reliability strategy

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
  • Software reliability testing method and device based on code tracking
  • Software reliability testing method and device based on code tracking
  • Software reliability testing method and device based on code tracking

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0040] The preferred embodiments of the present invention are specifically described below with reference to the accompanying drawings, wherein the accompanying drawings constitute a part of the present application, and together with the embodiments of the present invention, are used to explain the principles of the present invention, but are not used to limit the scope of the present invention.

[0041] A specific embodiment of the present invention discloses a software reliability testing method based on code tracing. like figure 1 As shown, the software reliability testing method based on code tracking includes: in step S102, formally describing the UML sequence diagram and the label migration system LTS respectively; in step S104, tracking the reliability strategy model to the code to obtain reliable reliability policy code, wherein the tracking includes positioning and mapping; in step S106, a log file is obtained based on the reliability policy code instrumentation, wher...

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 software reliability testing method and device based on code tracking, which belongs to the technical field of software testing, and solves the problems that the prior art lacks code tracking and static information extraction is not suitable for detecting the consistency between models and codes. The method includes: tracking the reliability policy model to the code to obtain the reliability policy code, wherein the tracking includes positioning and mapping; obtaining a Log file based on the reliability policy code insertion, wherein the Log file includes the execution path of the reliability policy code Information; build code LTS based on Log file; build reliability policy UML sequence diagram model; convert reliability strategy UML sequence diagram model to model LTS; extract branch path of code LTS as code path, and extract all branch paths of model LTS as the model path; and judging whether the model path matches the code path. Realize code tracking and accurate dynamic consistency checking method between model and code.

Description

technical field [0001] The invention relates to the technical field of software testing, in particular to a code tracking-based software reliability testing method and device. 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 expected design....

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