A method for locating failure test cases in metamorphosis testing

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

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
  • A method for locating failure test cases in metamorphosis testing
  • A method for locating failure test cases in metamorphosis testing
  • A method for locating failure test cases in metamorphosis testing

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

No 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
no application Login to view more
Patent Type & Authority Patents(China)
IPC IPC(8): G06F11/36
Inventor 惠战伟黄松姚奕王梅娟史涯晴吕学伟
Owner PLA UNIV OF SCI & TECH
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