基于浮点计算程序的复合蜕变测试方法研究

IEEE754标准下的浮点数在计算时总是伴随着舍入,增加了浮点计算结果不精确甚至出现异常的可能性,并且在实际应用中,无论采用什么样的计算方法、设置多高的精度,都无法完全避免浮点计算异常对计算结果的干扰。论文提出用蜕变测试技术来测试遥测数据处理程序中遇到的这种不可测的FPC程序,针对这类FPC程序的特征构造复合蜕变关系来缓解Oracle问题,以此提高浮点计算的准确性,进一步确保软件的可靠性。