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

Research on Composite Metamorphic Testing Method Based on Floating-point Calculation Program

作　　者：邱舒婷 吴诗帆 刘春光[1] QIU Shuting;WU Shifan;LIU Chunguang(No.91550 Troops of PLA,Dalian 116021)

机构地区：[1]中国人民解放军91550部队,大连116021

出　　处：《舰船电子工程》2024年第7期161-164,174,共5页Ship Electronic Engineering

摘　　要：IEEE754标准下的浮点数在计算时总是伴随着舍入,增加了浮点计算结果不精确甚至出现异常的可能性,并且在实际应用中,无论采用什么样的计算方法、设置多高的精度,都无法完全避免浮点计算异常对计算结果的干扰。论文提出用蜕变测试技术来测试遥测数据处理程序中遇到的这种不可测的FPC程序,针对这类FPC程序的特征构造复合蜕变关系来缓解Oracle问题,以此提高浮点计算的准确性,进一步确保软件的可靠性。The calculation of floating-point numbers under the IEEE754 standard is always accompanied by rounding,which increases the possibility of inaccurate or even abnormal floating-point calculation results,and in practice,no matter what calcula-tion method is used and how high the precision is set,the interference of floating-point calculation abnormalities on the calculation results cannot be completely avoided.In this paper,it is proposed to use metamorphic testing techniques to test such untestable FPC programs encountered in telemetry data processing programs,and composite metamorphic relations are constructed to alleviate the oracle problem for the characteristics of such FPC programs,so as to improve the accuracy of floating-point calculations and further ensure the reliability of the software.

关 键 词：浮点计算 FPC程序 复合蜕变关系 蜕变测试 

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