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.