关键词:
嵌入式操作系统
数学库函数
对比测试
误差分析
摘要:
核鹭操作系统数学库以C语言函数库的形式提供常用的若干数学函数,被用于核安全重要的仪控系统,直接参与核安全重要功能的实现,因此必须在使用前对其进行全面验证和确认。为提高测试全面性、有效性和测试执行的自动化程度,研究者采用对比测试方法完成测试工作,以保证各函数的计算正确性和精度:首先在参考环境(通用PC机)下,按照IEC 60559中浮点数定义和各待测函数定义域和计算方法等特性,生成各待测函数输入值序列并在参考环境下调用编译工具内置的库函数计算出对应的函数输出值,再将已产生的各待测函数输入值序列和对应的函数输出值以二进制文件方式保存并传递给嵌入式操作系统目标机运行环境,并在目标机运行环境下调用嵌入式操作系统数学库函数计算各待测函数输入值序列的对应函数输出值,最后以二进制值的方式比较不同环境下的函数输出值,分析测试中发现的问题以及计算误差产生原因和可接受条件,最终确保嵌入式操作系统数学库函数在其定义域内计算正确并在可接受的误差范围内。