Software test case evolution generation method based on related input variables
A technology of input variables and software testing, applied in software testing/debugging, genetic rules, genetic models, etc., can solve the problem of low efficiency in generating test cases, achieve the effect of improving efficiency, reducing cost, and ensuring accuracy
Active Publication Date: 2021-04-23
XUZHOU UNIV OF TECH
View PDF6 Cites 0 Cited by
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
[0007] In order to solve the problem of inefficiency in the generation of test cases by software testing in the prior art, the present invention provides a method for the evolution of software test cases based on relevant input variables. The method first converts the correlation between the determined variant and the input variable into The correlation between the path of the reachable variation branch and the input variable is determined by static analysis; then, the mathematical model of variation test case generation is established, and the decision variable is the relevant input variable; finally, the genetic algorithm is used to solve the Model, Evolution Generate Test Cases
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 moreImage
Smart Image Click on the blue labels to locate them in the text.
Smart ImageViewing Examples
Examples
Experimental program
Comparison scheme
Effect test
Embodiment Construction
[0045] Such as figure 1 As shown, it is a general flowchart of a software test case evolution generation method based on relevant input variables proposed by the present invention. The method includes:
[0046] Step S1: Determine the correlation between input variables and variation branches based on static analysis
[0047] 1.1 Determine the correlation between the variation branch and the input variable
[0048] Let the program under test be G, implement mutations on the sentences it contains, and obtain the set of mutation branches as M={M 1 , M 2 ,...,M n}, n is the number of mutation branches. Insert these mutation branches into G to get a new tested program G'. Let the input vector of the program be X=(x 1 ,x 2 ,...,x m ), m is the number of program input variables. The input domain D(X) is the cross product of each input variable domain, that is, D(X)=D(x 1 )×D(x 2 )×…×D(x m ).
[0049] Assume D. * (x j ) is D(x j ) subfield, if an input variable x j...
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
Login to View More Abstract
The invention discloses a software test case evolution generation method based on related input variables, and aims to determine the correlation between the input variables and variant branches in a static state, reduce the range of a search domain, and efficiently generate test cases with defect detection capability by adopting a genetic algorithm. The method comprises the following steps: firstly, determining the correlation between a variant and an input variable, converting the correlation into the correlation between a path of a reachable variant branch and the input variable, and determining the correlation between the variant branch and the input variable by adopting static analysis; secondly, establishing a mutation test case generation mathematical model, and taking a decision variable as a related input variable; and finally, solving the model by using a genetic algorithm, and evolving to generate a test case.
Description
technical field [0001] The invention relates to the field of computer software testing, in particular to an evolutionary generation method for software testing cases based on relevant input variables. Background technique [0002] Software testing is the process of identifying and removing defects, and verifying compliance with requirements and specifications. In addition, hardware and software development technologies have increased the complexity of software products. To this end, researchers use various methods and techniques to provide high-quality products in response to progress. The most common testing method is manual testing, which is laborious and time-consuming; another method is automated testing to deal with the complexities of modern software. [0003] An important one in software testing is the use of test cases. To quantify the "quality" of test cases, researchers use so-called adequacy measures or test criteria, where mutation testing is an effective way t...
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
Login to View More Patent Type & Authority Applications(China)
IPC IPC(8): G06F11/36G06N3/12
CPCG06F11/3684G06N3/126
Inventor 党向盈巩敦卫姚香娟鲍蓉姜代红阮少伟申珅袁媛徐玮玮包季楠袁偲朕
Owner XUZHOU UNIV OF TECH