论文部分内容阅读
数值计算方法被广泛运用于实际生活中,解微分方程问题则是数值计算问题中的一个重要分支,但由于求解微分方程的程序很难直接找到一个测试Oracle来验证程序的有效性,进而提出用蜕变测试方法检测解微分方程程序的有效性。通过对解常微分方程的典型程序测试的案例分析,提出了一种求解常微分方程程序的蜕变测试方法,最后进行一个实例验证该方法的有效性。