● 摘要
现代航空军事武器装备的很多功能都是依靠任务电子系统进行实现，武器装备的高可靠性决定了对任务电子系统的高可靠性要求，而任务电子系统的高可靠性不仅仅要求对系统进行精心地设计，更要通过大量的测试来保障。本文所针对的某大型飞机任务电子系统就是一个典型的复杂安全苛刻系统，该系统需要集成测试、系统测试和不断的回归测试来保证系统的高可靠性。而在回归测试中会涉及到大量的重复测试，因此以减轻手工测试的工作量、节约资源(包括人力、物力等)、保证软件质量、缩短测试周期为目的的软件自动化测试就成为了提高测试效率和质量的必经途径。本文通过分析某大型飞机任务电子系统的软硬件体系结构和测试特点，设计了针对该系统的软件自动化测试过程模型。基于此模型，实现了自动化测试控制与评估系统，该系统为整个自动化测试项目提供测试资源管理、测试任务组织、测试执行控制和测试结果评估等功能。本文的主要工作如下：（1）介绍了自动化测试的相关技术和分布式系统的特点，分析了某大型飞机任务电子系统的软硬件结构和传统测试流程，提出了一种适用于该系统的自动化测试过程模型，并基于此模型设计了自动化测试的框架。（2）形式化定义了某任务电子系统应用接口测试的测试准则，并设计相应的执行流程和验证过程；形式化定义了测试任务相关资源，提出了测试资源约束规则，对互斥和协同的测试用例提出了处理方法；设计实现了测试执行控制算法以及异常处理方法；对消息文件设计了解析算法。（3）根据自动化测试过程模型和测试框架，设计实现了自动化测试控制与评估系统。经过在某大型飞机任务电子系统自动化测试过程中的反复试验与改进，本文设计实现的自动化测试控制与评估系统，在功能、性能、稳定性等方面均已达到实际应用的需求，运行效果良好，验证了本文研究成果的有效性。关键词：分布式系统，自动化测试，测试过程模型，测试评估