Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

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 testing reliability policy model and code consistency, etc., to achieve accurate detection Results, the technical solution is simple, and the effect of the high-efficiency detection method

Active Publication Date: 2020-08-04
天航长鹰(江苏)科技有限公司
View PDF7 Cites 3 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] 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.

[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 describe the UML sequence diagram and the label migration system LTS respectively; in step S104, track the reliability strategy model to the code to obtain reliable Reliability policy code, wherein, tracking includes positioning and mapping; in step S106, based on reliability policy code instrumentation to obtain Log file, wherein, Log file includes th...

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, belongs to the technical field of software testing, and solves the problems that in the prior art, code tracking is lacked, and static information extraction is not suitable for detecting the consistency of a model and a code. The method comprises the steps of tracking from a reliability strategy model to the code to obtain a reliability strategy code, wherein tracking comprises positioning and mapping; acquiring a Log file based on reliability strategy code instrumentation, wherein the Log filecomprises execution path information of the reliability strategy code; constructing a code LTS based on the Log file; constructing a reliability strategy UML time sequence diagram model; converting the reliability strategy UML time sequence diagram model into a model LTS; extracting branch paths of the code LTS as code paths, and extracting all branch paths of the model LTS as model paths; and judging whether the model path is matched with the code path. Code tracking and an accurate model and code dynamic consistency checking method are realized.

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 Applications(China)
IPC IPC(8): G06F11/36
CPCG06F11/3684G06F11/3688
Inventor 张莉刘泽伟葛宁张磊田家豪
Owner 天航长鹰(江苏)科技有限公司
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products