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.
维普
万方数据