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

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

Active Publication Date: 2014-10-08
SUZHOU VOCATIONAL UNIV
View PDF4 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0008] In view of the above, it is necessary to propose a method for generating test cases for the existing problem of test case reduction defects

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 case generating method
  • Test case generating method

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0030] In order to enable those skilled in the art to better understand the technical solutions of the present invention, the following will clearly and completely describe the technical solutions in the embodiments of the present invention in conjunction with the accompanying drawings of the embodiments of the present invention. Obviously, the described embodiments It is only a part of the embodiments of the present invention, but not all of them.

[0031] refer to figure 1 , figure 1 A schematic flowchart of a method for generating test cases according to an embodiment of the present invention is shown.

[0032] First, in step S110, according to the test coverage criterion, test targets are listed to form a test target set.

[0033] Then, in step S120, each test object in the test object set is represented as a trap property. In this embodiment, LTL can be used to represent each test object as a trap property.

[0034] Afterwards, in step S130, the conjunction of each tr...

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

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

Application Information

Patent Timeline
no application Login to View More
Patent Type & Authority Applications(China)
IPC IPC(8): G06F11/36
Inventor 陆公正
Owner SUZHOU VOCATIONAL UNIV
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