解常微分方程程序的蜕变测试方法  

Metamorphic Testing of Ordinary Differential Equations Program

作　　者：邱舒婷 张志祥[1] 

机构地区：[1]海军工程大学计算机工程系,武汉430033

出　　处：《舰船电子工程》2016年第12期29-33,共5页Ship Electronic Engineering

摘　　要：数值计算方法被广泛运用于实际生活中,解微分方程问题则是数值计算问题中的一个重要分支,但由于求解微分方程的程序很难直接找到一个测试Oracle来验证程序的有效性,进而提出用蜕变测试方法检测解微分方程程序的有效性。通过对解常微分方程的典型程序测试的案例分析,提出了一种求解常微分方程程序的蜕变测试方法,最后进行一个实例验证该方法的有效性。Numerical methods are widely used in our real life, solving differential equations is an important branch of numerical problems. But it is difficult to find a test Oracle to verify the effectiveness of programs which solving differential e-quations. In this paper, metamorphic testing method is used to detect the effectiveness of the program which used to solve differential equations. Through analyzing the case of a typical program case, we propose the metamorphic test method of sol-ving ordinary differential equations. At last, an instance is verified to illustrate the validity of this method.

关 键 词：数值计算 微分方程 蜕变测试 Oracle问题 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]