Symbolic-execution-based method for generating test cases with feedback

A technology for test case generation and symbolic execution, applied in the field of high-efficiency test case generation, to achieve good flexibility, reduce scale and quantity, and facilitate manual intervention

Inactive Publication Date: 2012-10-17
NANJING UNIV
View PDF2 Cites 23 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0005] The main purpose of the present invention is to solve the problem that the traditional automated test case generation method cannot independently complete the automated test case generation task, and propose a method for generating test c

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
  • Symbolic-execution-based method for generating test cases with feedback
  • Symbolic-execution-based method for generating test cases with feedback
  • Symbolic-execution-based method for generating test cases with feedback

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0027] A detailed description will be given below in conjunction with the accompanying drawings.

[0028] Such as figure 1 As shown, the inventive method is made up of five steps: one, collect the program coverage information of existing test cases; Second, determine the coverage target of symbolic execution according to the control flow graph of the tested program; Inserting stubs, implanting control codes that guide symbolic execution; fourth, selecting appropriate seed test cases from the existing test case set; fifth, applying symbolic execution methods to the coverage target to generate new test cases. Newly generated test cases are added to the existing test case set; Sixth, repeat the above steps until a given test case generation goal is achieved, such as 100% statement coverage. The input of the method of the invention includes the tested program and the test case set generated by artificial or random testing methods; the output is the test case set which has reached...

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 discloses a symbolic-execution-based method for generating test cases with feedback. The method comprises the following steps of: (1) executing the conventional test cases, and collecting information covered by the test cases; (2) determining a symbolic execution covering object according to a control flow diagram of a tested program; (3) instrumenting the tested program, and implanting a symbolic execution control code; (4) selecting a proper seed test case from the conventional test case set; (5) generating a new test case for the covering object by using a symbolic execution method, and supplementing the new test case into the test case set; and (6) repeating the steps until a given test case generation aim is fulfilled. The method can be widely applied to automatic test in a software development process, and is used for automatically generating the test cases, so that the problem of constraint condition explosion of independent symbolic execution is solved, and efficiency is improved; and in addition, other generation methods can be combined, so that the problem that complex data structures cannot be processed by the symbolic execution method can be alleviated.

Description

[0001] technical field [0002] The present invention relates to the generation of test cases in software automation testing, in particular to the application of symbolic execution methods based on existing test cases, by setting coverage targets and selecting seed test cases, limiting the scope of constraint solving, in a feedback and iterative manner Generate test cases efficiently. Background technique [0003] In the process of software testing, test case generation is one of the most important links. Efficient test case generation improves test execution while reducing testing cost and time. At present, test case generation is basically done manually, which is time-consuming and labor-intensive, and it is difficult to achieve ideal program coverage. Therefore, effective automated test case generation methods are needed. The effect of automated test case generation is generally measured by program coverage, and higher coverage means higher defect detection probability ...

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 NANJING 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