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
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
Method used
Image
Examples
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...
PUM
Abstract
Description
Claims
Application Information
- R&D Engineer
- R&D Manager
- IP Professional
- Industry Leading Data Capabilities
- Powerful AI technology
- Patent DNA Extraction
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