Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

Positioning method for failure test instance in metamorphic testing

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

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
  • Positioning method for failure test instance in metamorphic testing
  • Positioning method for failure test instance in metamorphic testing
  • Positioning method for failure test instance in metamorphic testing

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

No 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 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
IPC IPC(8): G06F11/36
Inventor 惠战伟黄松姚奕王梅娟史涯晴吕学伟
Owner PLA UNIV OF SCI & TECH
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com