典型文献
飞行控制软件复杂算法测试验证方法研究
文献摘要：
飞行控制软件作为控制系统的核心软件,涉及大量复杂的数学运算.采用反算验证比对是该类算法验证的常用测试方案,但是在实践过程中也呈现出测试能效比低、验证方案缺乏连贯性的问题.对此提出一种复杂算法验证方法,可极大提升反算验证方法的测试效果和自动化程度.以飞行控制软件的算法特点带来的测试难点为解决问题的出发点,通过采用全数字虚拟环境,实现飞行控制软件与反算验证程序二者的同步运行、同步注数、同步输入和同步状态转换,解决了传统环境结果观测量获取存在局限的弊端,最大程度地规避了环境对计算精度影响的外部干扰因素;同时该方案设计了轻量级反算验证框架,使反算程序代码与文字描述公式高度一致,大大降低了对开发人员的要求,实现了测试结果的自动化判读.
文献关键词：
软件;反算验证框架;自动化测试;测试质量
中图分类号：
作者姓名：
孟小丰;杨娇茹;冉红艳
作者机构：
北京航天自动控制研究所,北京100854
文献出处：
引用格式：
[1]孟小丰;杨娇茹;冉红艳-.飞行控制软件复杂算法测试验证方法研究)[J].质量与可靠性,2022(03):44-46,54
A类：
反算验证框架
B类：
飞行控制,控制软件,算法测试,测试验证,验证方法,心软,数学运算,算法验证,测试方案,能效比,连贯性,测试效果,法特,全数字,数字虚拟,虚拟环境,同步运行,状态转换,计算精度,精度影响,外部干扰,干扰因素,轻量级,程序代码,文字描述,高度一致,大大降低,开发人员,判读,自动化测试,测试质量
AB值：
0.418832
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
