蜕变关系判定中计算误差分析  

Computing Error Analysis in Judgment of Metamorphic Relationship

作　　者：丁瑞浩[1] 黄松[1,2] 惠战伟[1,2] 

机构地区：[1]解放军理工大学指挥自动化学院,南京210007 [2]全军军事训练软件测评中心,南京210007

出　　处：《指挥信息系统与技术》2013年第2期80-84,共5页Command Information System and Technology

基　　金：国家"863"计划(2009AA01Z402);江苏省自然科学基金(BK2012059;BK2012060)资助项目

摘　　要：蜕变测试应用于数值计算时,通常因截断和舍入误差以及误差传播导致蜕变关系成立判定产生偏差。以地形量算程序中不规则区域面积量算的蜕变测试为例,提出了蜕变测试的计算误差问题,给出了误差影响下蜕变关系成立与否的判断准则,并对比例蜕变关系和线性组合蜕变关系两种情况进行试验验证。结果表明,计算误差中蜕变关系判定影响显著且判断准则有效。Metamorphic testing used in the practical numerical computing can exist errors caused by the transmission of truncation and round-off errors and the judgment of metamorphic rela- tions. The area measurements of the irregular field are used examples in the geographical mea- surement software to illuminate the existence of computing errors. The judgment criteria of meta- morphic relations are given based on the computing errors in the metamorphic testing. Experi- ments are conducted for the metamorphic relations of ratio and linear combination. Experimental results show that the judgment of metamorphic relations can affect the computing errors and the judgment criteria are effective.

关 键 词：蜕变测试 不规则区域 面积量算 计算误差 

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