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

Automatic detection method for program unaccessible paths

A technology of automatic detection and program path, applied in the direction of software testing/debugging, etc., can solve problems such as difficulty in expressing complex data, inefficiency, difficulty, etc., and achieve the effect of easy promotion and application, low technical threshold and high degree of automation

Inactive Publication Date: 2016-03-30
FUJIAN UNIV OF TECH
View PDF2 Cites 15 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

The present invention is based on relatively simple state search technology in theory, which is usually based on more complex mathematical theories than the prior art, effectively reducing the difficulty of technology application and promotion; providing a complete and highly automated program that cannot Reach path detection method; solve the reachability detection problem of control flow graph; solve the difficulty and inefficiency of static analysis technology in processing more complex programs; solve the problem of static analysis technology in the process of processing multi-branch programs , it is difficult to express the problem of composite data

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
  • Automatic detection method for program unaccessible paths
  • Automatic detection method for program unaccessible paths
  • Automatic detection method for program unaccessible paths

Examples

Experimental program
Comparison scheme
Effect test

Embodiment 1

[0054] Such as figure 1 An automatic detection method for a program unreachable path is shown, and the steps are as follows:

[0055] 1. Convert the computer program to be tested into a control flow graph.

[0056] 2. Use the program model generation algorithm (algorithm 1) to convert the control flow graph into a formal model (that is, program model) including three elements of "state, transition, and label".

[0057] 3. Obtain the properties to be verified through accessibility analysis.

[0058] 4. Input the automaton model of the program and the properties to be verified into the model checking tool to obtain the set of unreachable states.

[0059] 5. From the unreachable state set, through the unreachable path search algorithm (Algorithm 2), obtain the unreachable path set.

[0060] The once-taken value of all variables in the program is called the program state:

[0061] Definition 1 Program variables The variables defined in the program are called program variables,...

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 present invention discloses an automatic detection method for program unaccessible paths. The method comprises the steps of: converting a to-be-detected computer program into a control flow diagram; and converting the control flow diagram into a program model, performing accessibility analysis to obtain unaccessible states, automatically detecting the unaccessible states to obtain an unaccessible state set, and then obtaining an unaccessible path set according to the unaccessible state set. The automatic detection method for the program unaccessible paths is based on a state searching technology being simple in theory, and effectively lowers the technology application and promotion difficult when being compared with the prior art usually based on complex mathematical technology; the detection method for the program unaccessible paths is complete and has high automatization degree; the problem of accessibility detection of the control flow diagram is solved; problems of difficulties and low efficiency of a static analysis technology in processing of complex programs are solved; and the problem that the static analysis technology has difficult in expressing compound data in processing a multi-branch procedure is solved.

Description

technical field [0001] The invention belongs to the field of software testing, in particular, the invention relates to an automatic detection method of a program unreachable path. Background technique [0002] Explanation of terms: [0003] Control Flow Graph: Control Flow Graph (ControlFlowGraph) is a graphical expression of the logical execution sequence of program statements, referred to as CFG. CFG includes two types of elements: nodes and directed edges: nodes represent statements in the program, and have unique entry nodes and exit nodes; edges represent the order relationship between nodes. [0004] Program path: refers to a sequence composed of nodes in the CFG. If the first node of the sequence is an entry node and the end node is an exit node, the path is called a complete path. [0005] Unreachable path: Refers to the program path that will not appear under any circumstances. [0006] Software testing is an important means of software quality assurance, which r...

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
IPC IPC(8): G06F11/36
Inventor 唐郑熠王金水薛醒思洪茂雄胡文瑜刘建华
Owner FUJIAN UNIV OF TECH
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

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

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com