Invariant-booted random test case automatic generation method

A technique of random testing and use cases, applied in software testing/debugging, etc.

Inactive Publication Date: 2012-10-17
UNIV OF SCI & TECH OF CHINA
View PDF2 Cites 15 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0006] This application focuses on the core issue of software testing - the automatic generation of test cases. Aiming at the shortcomings of a widely used automation technology - the random testing method, an improved method of random testing combined with invariant technology - no Random use case generation method guided by variables

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
  • Invariant-booted random test case automatic generation method
  • Invariant-booted random test case automatic generation method
  • Invariant-booted random test case automatic generation method

Examples

Experimental program
Comparison scheme
Effect test

example 2

[0030]

[0031]

[0032] The workflow of Algorithm 1 applied to Example 2 is shown in Table 2:

[0033]

[0034] Table 2. The process of Algorithm 1 to generate test cases

[0035] The order of test case generation in Table 2 is from top to bottom. If a candidate case changes the program likelihood invariant set, it is added to the final test case set. The termination condition N=3 means that the algorithm terminates when three consecutive candidate cases do not change the set of program likelihood invariants. The final test case set is {5, 1, -1, -6, 0}. The final program likelihood invariant set is: precondition: empty; postcondition: (x>=0)=>(x==return), (x(x==-return), return>= 0. Under the current experimental conditions, it can be considered that the likelihood invariant set is the program dynamic invariant set. If N increases, the set of program likelihood invariants may also change. That is to say, the final set of program likelihood invariants we get is...

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 application form relates to software test core problems, namely test case automatic generation, and provides an invariant technology-combined random test improvement method, namely an invariant-booted random test case automatic generation method, aiming at the defects of currently widely-applied automatic technology, namely a random test method. Two new methods are mainly provided and comprise: filtering invalid test cases by utilizing invariants of the extracted programs, and retaining valid cases; reducing invalid case space by utilizing the invariants of the extracted programs, and improving the probability of selecting valid cases. The methods can be used for reducing the redundancy rate, meeting the coverage requirement and extremely solving the defects of the traditional random methods, are full-automatic in the whole case generation process, without other any input and manual interference except for necessary tested programs.

Description

1. Technical field [0001] The invention of this patent belongs to the field of software testing, and it is the core subject of this field—the research on automatic generation of test cases. 2. Background technology [0002] 3.1 Random Testing Technology [0003] Random testing is the testing of programs by randomly selecting input data over the program input domain. It is a widely used and potential software automation testing technology. At the 29th International Conference on Software Engineering, random testing was considered as one of the three most promising technologies in the field of test case generation. In software engineering, random testing has been widely used in various fields, such as Unix tool sets, Windows GUI application software, Java programs, and so on. However, in the practical application of random testing, there are various shortcomings such as low coverage rate and repeated generation of redundant test cases, which seriously limit the manifestatio...

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 UNIV OF SCI & TECH OF CHINA
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