Test program control stream path set creation method based on base path

A flow path and control flow technology, which is applied in the field of generating effective subsets of the control flow path of the program under test, can solve problems such as the inability to meet the path coverage test, and achieve the effect of avoiding errors, simplifying complexity, and simplifying workload.

Inactive Publication Date: 2008-07-09
SICHUAN UNIV
View PDF0 Cites 50 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

In the prior art, the effective subset generation method of the control flow path of the program under test often cannot meet the requirements of the ...

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
  • Test program control stream path set creation method based on base path
  • Test program control stream path set creation method based on base path
  • Test program control stream path set creation method based on base path

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0061] Accompanying drawing has provided a specific embodiment of the present invention.

[0062] See attached picture. The method includes the processing of three core modules of the processing flow. The present invention introduces the concept of "basis" in mathematics, which means that the method is based on vectors.

[0063] Mathematically, the structure of a "vector space" is generally used to define a basis, which is a set of elements and the corresponding multiplication and addition operations defined on the vector. If you also use several other criteria, this structure is a vector space, and all vector spaces have a basis (in fact there can be more than one basis). The basis of a vector space is a set of independent vectors that "covers" the entire vector space such that any other vector in the space can be represented by the basis vectors. Therefore, a set of basis vectors can to some extent represent the "essence" of the entire vector space. Everything in the spa...

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 pertains to a path testing in a program testing. The concept of a program control flow base path is defined through bringing in the concept of base in mathematics, a data structure showing a program structure of a source program slice is obtained by using a compiler module first; then through traversing the data structure, a control flow path generating algorithm is utilized to generate a subset compiler module of a program control flow path which is based on a base path to interpret the semanteme on a tested source program, an abstract syntax tree structure showing the structural information of the tested program control flow is output. An adjacency matrix of a control flow graph generates a module ergodicity abstract syntax tree structure, and generates the adjacency matrix representation of a program flow chart. A control flow path subset generating module acquires the control flow information of the tested program through traversing the adjacency matrix, traverses the adjacency matrix by adopting a depth-first multiple backtracking method, and processes sentence nodes, thus a program control flow path subset based on the base path is generated. The method has the outstanding advantages in generating results and flows, and can be widely used in the engineering practice of a path cover testing in a software structure testing.

Description

1. Technical field [0001] The invention relates to a computer program testing method, which belongs to the path testing technology in structural testing, in particular to a method for generating an effective subset of the control flow path of the tested program. 2. Background technology [0002] As one of the two types of testing methods widely used in software testing, the structural testing method supports strict definition, mathematical analysis and precise measurement because it is based on the source code of the program under test rather than the definition of the program under test. . These advantages determine that structured testing must be widely used in software testing engineering. As the most important testing technology in structural testing——path testing, various technologies based on its testing methods have been proposed since the 1970s, and the proposers of these methods have introduced to the market to realize these technologies. very successful tool. Ho...

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 SICHUAN UNIV
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