科创中国

软件质量和可靠性直接关系到当前航空装备型号的研制成败。作为当前保证软件质量和可靠性最重要和最有效的技术手段，软件测试的充分性与效率问题一直以来都是工程界面临的巨大挑战。本成果主要技术发明如下：

（1）首次提出一种融合航空机载系统软件静态结构模型、动态行为模型与软件故障传播行为模型的测试需求建模技术，建立了测试需求模型状态覆盖、迁移覆盖、迁移条件覆盖、故障传播路径覆盖等充分性准则，实现了软件需求模型与测试模型有机融合的目标，攻克了面向测试的航空机载系统软件测试建模难题，能够针对至少20种航空装备系统进行测试建模。

（2）首次提出一种基于智能“半退火”算法和故障传播路径覆盖的测试用例生成方法，创新了基于改进软件控制论的自适应测试用例优化技术，攻克了用例生成效率低、“揭错率”不理想及用例冗余等难题，解决了用例自动生成及优化难题。基于状态机模型的用例生成方法，状态覆盖率达100%，状态迁移覆盖率达95%，迁移条件覆盖率达80%。基于自适应算法的测试用例优化技术可提升测试效率20%。

（3）提出了一种通用软件测试描述语言，给出了测试描述语言的文法和语义，并在此基础上提出了一种高效的自动执行新方法，实现了通用测试自动化实时执行系统，解决了实时嵌入式系统的通用测试描述及自动化实时执行难题。实现了测试用例在动态测试环境（含ATE）中的执行率达到95%以上。