Paper Title
A New Approach For An Integrated Tool Using Optimized Metamorphic Relations
Abstract
We present a semi-proving method for verifying necessary conditions for program correctness. Previously an
integrated program method was introduced for Testing, Debugging and Proving a program results for check that program
may have any modification in execution. Previous method can be developed based on metamorphic relations, Symbolic
analysis of and path constraint simplifications. Metamorphic method can be applied to correctness of a program to tested
inputs related to untested inputs. These Methods can be applied for generating test cases with original tested inputs. Prior
approaches use four metamorphic relations to initiate metamorphic testing for the verification of software output without a
complete testing oracle. So the main disadvantage of this aspect is shortage of test case generation. To increase the frequency
of number of test cases we propose a new approach. Our proposed new approach contains all the metamorphic relations
available in testing process for generating the test cases.
Index Terms: Symbolic analysis, metamorphic relations, testing debugging global symbolic evaluation, program proving.