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

Computing Error Analysis in Judgment of Metamorphic Relationship

蜕变测试应用于数值计算时,通常因截断和舍入误差以及误差传播导致蜕变关系成立判定产生偏差。以地形量算程序中不规则区域面积量算的蜕变测试为例,提出了蜕变测试的计算误差问题,给出了误差影响下蜕变关系成立与否的判断准则,并对比例蜕变关系和线性组合蜕变关系两种情况进行试验验证。结果表明,计算误差中蜕变关系判定影响显著且判断准则有效。

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.