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
CN102736979AInactive Publication Date: 2012-10-17NANJING UNIV
2 Cites 23 Cited by

Patent Information

Authority / Receiving Office
CN Β· China
Current Assignee / Owner
NANJING UNIV
Publication Date
2012-10-17
Estimated Expiration
Not applicable Β· inactive patent

Smart Images

  • Figure 1
    Figure 1
  • Figure 2
    Figure 2
  • Figure 3
    Figure 3
Patent Text Reader

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.
Need to check novelty before this filing date? Find Prior Art

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