Test case generating method

A technology for generating test cases and test case sets, which is applied in the field of test case generation to achieve the effects of high solution efficiency, good reduction effect and improved efficiency
CN104090837AActive Publication Date: 2014-10-08SUZHOU VOCATIONAL UNIV
4 Cites 0 Cited by

Patent Information

Authority / Receiving Office
CN ยท China
Patent Type
Applications(China)
Current Assignee / Owner
SUZHOU VOCATIONAL UNIV
Publication Date
2014-10-08

Smart Images

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

Abstract

The invention provides a test case generating method. The method comprises the steps as follows: a, listing test objectives according to a test coverage norm to form a test objective set; b, expressing all the test objectives in the test objective set as trap properties; c, converting all the trap properties and specific models into a CNF (conjunctive normal form) through conjunction, d, calculating the difficulty of the CNF; e, sequencing all the test objectives according to the difficulty of the CNF; f, judging whether the test objective set is empty or not; g, when the test objective set is not empty, selecting one test objective and deleting the selected test objective from the test objective set; h, generating test cases according to the selected test objective to form a first test case set; i, reducing the first test case set on the basis of SAT to obtain a second test case set. The test case generating method at least has the advantages of good reduction effect and high efficiency.
Need to check novelty before this filing date? Find Prior Art

Description

technical field

[0001] The invention relates to software testing, in particular to a method for generating test cases. Background technique

[0002] Software testing is an important means to find software errors and ensure software quality. However, the cost of traditional software testing methods has accounted for more than 50% of the total cost of software development. Test automation is an effective way to reduce the cost of testing. The automatic generation of test cases is an important link and embodiment of test automation. Usually, test cases are generated from the behavior model of the software, and then the actual system is tested to observe whether the results of the system operation are consistent with the expected behavior of the model. This is model-based testing. However, sometimes according to the specified test coverage criteria, the test case set generated from the software behavior model is huge, which leads to high testing cost and low efficiency. Theref...

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