Design And Implementation Of Metamorphic Testing Tool Based On Linear Metamorphic Relations

Software testing is an effective means to ensure the quality of software.In terms of the Oracle problem encountered in scientific computing(short for computing class)software testing,metamorphic testing technology is a potential technology for solving relieving such problems.At present,the application of metamorphic testing technology to computing software testing is mostly based on an artificial method with low efficiency.Therefore,it is very important to develop an automated metamorphic testing tool.Based on the research of relevant theories of testing,the author of this paper designs and develops an automated metamorphic testing tool based on the application of metamorphic testing technology in computing software testing,aiming to improve the efficiency of verification of cumputing programs and guide the generation of derived test cases.This paper mainly discusses the design and implementation of metamorphic testing tool and test it using the class computing program to verify the practicability of the tool.The design idea of the metamorphic testing tool is: the original test case of the program to be tested calls the linear metamorphic relations to generate the derivative test case,then run test cases and get the results corresponding to the original and derived test case.Finally,verify the two results whether meet the linear metamorphic relations.In total,it is divided into five functional modules: selecting the original test case,selecting metamorphic relations,generating derived benchmark,executing metamorphic tests and analyzing test results.Among them,generating the derived test case module includes the function of calling the original test case,metamorphic relations,and modifying and deleting.Running the metamorphic testing module includes three functions: calling the original test case,derived test case and run program.The test result analysis module includes calling output results file,extracting difference and generating defect report form.The metamorphic testing tool is mainly used to the verification of cumputing programs.In this paper,a simple calculation program sinx is used to verify this tool.The results prove that the tool has achieved the expected effect.It can not only guide the generation of derivative test cases,but also effectively improve the efficiency of the transformation test of metamorphic testing in computing program to some extent.