Unlock instant, AI-driven research and patent intelligence for your innovation.
A method for locating failure test cases in metamorphosis testing
What is Al technical title?
Al technical title is built by PatSnap Al team. It summarizes the technical point description of the patent document.
A technology of failure testing and test cases, applied in the location of failure test cases in the transformation test, the field of failure test cases, can solve the problem that failure test cases cannot be located, and achieve the effect of simple and accurate positioning algorithm and high efficiency
Active Publication Date: 2018-01-02
PLA UNIV OF SCI & TECH
View PDF5 Cites 0 Cited by
Summary
Abstract
Description
Claims
Application Information
AI Technical Summary
This helps you quickly interpret patents by identifying the three key elements:
Problems solved by technology
Method used
Benefits of technology
Problems solved by technology
[0011] The purpose of the present invention is to solve the problem that failure test cases cannot be located in the existing metamorphosis tests, measure whether the different metamorphosis relations participated in by each test case in the test case set are satisfied, thereby calculate the suspiciousness of each test case, and then Sort the test cases according to the suspiciousness, and the test case with the highest suspiciousness is the failure test case
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
Click on the blue label to locate the original text in one second.
Reading with bidirectional positioning of images and text.
Smart Image
Examples
Experimental program
Comparison scheme
Effect test
Embodiment approach
[0038] A method for positioning a failure test case in a metamorphosis test of the present invention, such as figure 2 and image 3 shown, including the following steps:
[0039] Step 1 When the test case set {otc, ftc 1 ,ftc 2 ,...,ftc n} does not satisfy the metamorphic relationship set MR of the software under test = {MR 1 ,MR 2 ,...,MR m} The metamorphic relation MR in k When the output relationship of k=1,...,m, from the test case set {otc,ftc 1 ,ftc 2 ,...,ftc n}, select a test case that has not been verified by the test as the object to be verified, and mark the selected test case as t i ;
[0040] For the test case t i The choice of , without prior knowledge, the test case t i From the test case set {otc,ftc 1 ,ftc 2 ,...,ftc n} are selected sequentially, then when i=0, t i = otc; otherwise, t i =ftc i ,i=0,1,...,n.
[0041] Step 2 From the metamorphic relationship set MR={MR of the software under test 1 ,MR 2 ,...,MR m}, select an untested and ...
Embodiment
[0054] In this example, a program P that realizes the function y=sin(x) is taken as an example to describe the technical solution of the present invention in detail. For this program P, according to the characteristics of y=sin(x), construct a metamorphic relationship set MR={MR sin1 ,MR sin2 ,...,MR sin10}, where IR(MR) represents the input relation of the metamorphic relationship, OR(MR) represents the output relation of the metamorphic relation, and the metamorphic relation set MR is shown in Table 1 below.
[0055]
[0056]
[0057] Table 1
[0058] The method for locating the failed test cases in the set of test cases in which the program P that realizes the function y=sin(x) performs the failure in the metamorphosis test includes the following steps.
[0059] In the first step, when the test case set {x 1 ,x 2 ,x 3}={1.23,3*1.23,5*1.23} does not satisfy the transformation relationship set MR of the tested software P={MR sin1 ,MR sin2 ,...,MR sin10} The met...
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 belongs to the field of software testing, and specifically discloses a method for locating failure test cases in a metamorphosis test. First, a test case is selected from a test case set as an original test case, and then the aforementioned original test case is used according to the metamorphosis relationship in the metamorphosis relationship set. input relationship, generate additional test cases, verify whether the output relationship of the metamorphic relationship is satisfied according to the output results of the tested software, and record the test cases of the unsatisfied metamorphic relationship and mark them with non-zero values; then, according to the metamorphic relationship Verify the result flag value and calculate the suspiciousness of the test case. Then, in the same way, other test cases are traversed and verified one by one, and their suspiciousness values are calculated. Finally, the test case with the highest suspiciousness is the failure test case. The positioning technology of the failure test cases in the metamorphosis test provided by the present invention is simple and clear, easy to implement, and provides accurate and effective positioning for the failure test cases through the quantitative calculation of suspiciousness.
Description
technical field [0001] The invention relates to a failure test case in a software metamorphosis test, in particular to a method for locating a failure test case in a metamorphosis test, which belongs to the field of software testing. Background technique [0002] Usually, the main purpose of software testing is to detect whether there are faults in the software under test by executing test cases. If the result of test case execution is inconsistent with the expected result, it is considered that there is a fault in the software under test, and this inconsistency is called failure. The test cases that lead to such failures are also called failure test cases. [0003] In software testing, because in most cases, the cost of obtaining the expected output for any test input is very high, and even impossible to obtain under some conditions, the transformation test method provides an effective means for software testing . The metamorphic testing method needs to construct metamor...
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
Application Date:The date an application was filed.
Publication Date:The date a patent or application was officially published.
First Publication Date:The earliest publication date of a patent with the same application number.
Issue Date:Publication date of the patent grant document.
PCT Entry Date:The Entry date of PCT National Phase.
Estimated Expiry Date:The statutory expiry date of a patent right according to the Patent Law, and it is the longest term of protection that the patent right can achieve without the termination of the patent right due to other reasons(Term extension factor has been taken into account ).
Invalid Date:Actual expiry date is based on effective date or publication date of legal transaction data of invalid patent.
Login to View More 
Login to View More