解常微分方程程序的蜕变测试方法
邱舒婷
张志祥
1.海军工程大学计算机工程系 武汉4300332.海军工程大学计算机工程系 武汉430033
摘要：数值计算方法被广泛运用于实际生活中,解微分方程问题则是数值计算问题中的一个重要分支,但由于求解微分方程的程序很难直接找到一个测试Oracle来验证程序的有效性,进而提出用蜕变测试方法检测解微分方程程序的有效性.通过对解常微分方程的典型程序测试的案例分析,提出了一种求解常微分方程程序的蜕变测试方法,最后进行一个实例验证该方法的有效性.
关键词：数值计算微分方程蜕变测试Oracle问题
分类号：TP311(计算技术、计算机技术)
论文发表日期：2016-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：5( 29-33 )
英文信息