飞行控制软件复杂算法测试验证方法研究  

Research on A Testing and Verification Method for Complex Algorithms of Flight Control Software

作　　者：孟小丰[1] 杨娇茹 冉红艳 Meng Xiaofeng;Yang Jiaoru;Ran Hongyan(Beijing Aerospace Automatic Control Institute,Beijing 100854,China)

机构地区：[1]北京航天自动控制研究所,北京100854

出　　处：《质量与可靠性》2022年第3期44-46,54,共4页Quality and Reliability

摘　　要：飞行控制软件作为控制系统的核心软件,涉及大量复杂的数学运算。采用反算验证比对是该类算法验证的常用测试方案,但是在实践过程中也呈现出测试能效比低、验证方案缺乏连贯性的问题。对此提出一种复杂算法验证方法,可极大提升反算验证方法的测试效果和自动化程度。以飞行控制软件的算法特点带来的测试难点为解决问题的出发点,通过采用全数字虚拟环境,实现飞行控制软件与反算验证程序二者的同步运行、同步注数、同步输入和同步状态转换,解决了传统环境结果观测量获取存在局限的弊端,最大程度地规避了环境对计算精度影响的外部干扰因素;同时该方案设计了轻量级反算验证框架,使反算程序代码与文字描述公式高度一致,大大降低了对开发人员的要求,实现了测试结果的自动化判读。As a core software of the control system,flight control software involves a lot of complex mathematical operations.Inverse calculation verification and comparison,a common test scheme for this algorithm verification,are confronted with the problems including low test energy efficiency ratio and lack of verification schemes consistency.This paper proposes a complex algorithm verification method,which greatly improves the testing efforts and realization automation of the inverse calculation verification method.Starting with the test difficulties brought by the flight control software algorithm,a fully digital virtual environment is adopted to realize the synchronous operation,synchronous injection,synchronous input and synchronous state transition of the flight control software and the inverse calculation verification program,eliminating the limitation of traditional environmental result observation and minimizing the impact of external environment on the calculation accuracy.Meanwhile,this scheme implements a lightweight inverse calculation verification framework,which highly matches up the code and the calculation formula in document description to realize the automatic interpretation of test results,it also greatly lower developers'specialized knowledge level.

关 键 词：软件 反算验证框架 自动化测试 测试质量 

分 类 号：TP273[自动化与计算机技术—检测技术与自动化装置] V249.1[自动化与计算机技术—控制科学与工程]