Unlock instant, AI-driven research and patent intelligence for your innovation.
Positioning method for failure test instance in metamorphic 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 test case and failure test, which is applied in the field of positioning of failure test cases and failure test cases in metamorphosis testing, which can solve the problems that failure test cases cannot be located, and achieve the effect of simple, accurate and high-efficiency positioning algorithm
Active Publication Date: 2015-05-06
PLA UNIV OF SCI & TECH
View PDF5 Cites 10 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
[0036] 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:
[0037] Step 1 when 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 i When the output relationship of , i=1,...,n, 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 verified object, and mark the selected test case as ti;
[0038] For the test case t i The choice of , without prior knowledge, the test case t i From test case set {otc, ftc 1 , ftc 2 ,...,ftc n} are selected sequentially, then t 1 = otc,t i =ftc i+1 , i=2,..., n, that is (t 1 , t 2 ,...,t n+1 ) = (otc,ftc 1 , ftc 2 ,...,ftc n ).
[0039] Step 2 From the metamorphic relationship set MR={MR of the software under test 1...
Embodiment
[0052] 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 , 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.
[0053]
[0054]
[0055] Table 1
[0056] 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.
[0057] 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 metamorphic 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 particularly discloses a positioning method for a failure test instance in metamorphic testing. The positioning method comprises the following steps of firstly, selecting a testing instance from a testing instance set as an original testing instance; according to the input relation of the metamorphic relation in an metamorphic relation set, enabling the original testing instance to generate an additional testing instance; according to the output result of the tested software, verifying whether the output relation of the metamorphic relation is met or not, and recording the testing instance not meeting the metamorphic relation, and marking by a non-zero value; according to the verification result marking value of the metamorphic relation, calculating the anomaly degree of the testing instance; utilizing the same method to perform gradual traversing verification on other testing instances, and calculating the anomaly degree; finally, determining the testing instance with the maximum anomaly degree as the failure testing instance. The positioning method for the failure test instance in the metamorphic testing has the advantages that the positioning technique is simple and clear, the implementation is easy, and the failure testing instance is accurately and effectively positioned through the quantitative calculating of the anomaly degree.
Description
technical field [0001] The invention relates to a failure test case in a softwaremetamorphosis 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