科研之友
微信
新浪微博
Facebook
分享链接
摘要
飞行控制软件作为控制系统的核心软件，涉及大量复杂的数学运算。采用反算验证比对是该类算法验证的常用测试方案，但是在实践过程中也呈现出测试能效比低、验证方案缺乏连贯性的问题。对此提出一种复杂算法验证方法，可极大提升反算验证方法的测试效果和自动化程度。以飞行控制软件的算法特点带来的测试难点为解决问题的出发点，通过采用全数字虚拟环境，实现飞行控制软件与反算验证程序二者的同步运行、同步注数、同步输入和同步状态转换，解决了传统环境结果观测量获取存在局限的弊端，最大程度地规避了环境对计算精度影响的外部干扰因素；同时该方案设计了轻量级反算验证框架，使反算程序代码与文字描述公式高度一致，大大降低了对开发人员的要求，实现了测试结果的自动化判读。
-
单位北京航天自动控制研究所
