基于LDRA﹢Testbed的飞机中央维护系统覆盖测试

《基于LDRA﹢Testbed的飞机中央维护系统覆盖测试》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、第40卷第5期2010年9月航空计算技术AeronauticalComputingTechniqueV01．40No．5Sep．2010基于LDRATestbed的飞机中央维护系统覆盖测试邹会荣(中国航空计算技术研究所，陕西西安710068)摘要：基于测试工具LDRATestbed实现了飞机中央维护系统的覆盖测试工作。以飞机中央维护系统的主界面源程序为例，通过测试过程说明了工具在飞机中央维护系统测试中的成功应用，并达到了一定的语句覆盖分析和分支覆盖测试率。给出了软件的测试流程和测试结果。测试结果表明，使用LDRATestbed工具，可以大大提高飞机中央维护系统的软件

2、测试效率，同时也能够满足航空业界的软件标准D0一178B，并获得了规定的语句覆盖和分支覆盖测试率。关键词：飞机中央维护系统；LDRATestbed；语句覆盖分析；分支覆盖测试中图分类号：TP311．5文献标识码：A文章编号：167l一654x(2010)05．009l—04引言随着航空工业的迅速发展，我国民用飞机的发展已趋于大型化、模块化。飞机各分系统的机载软件功能越来越齐全，各模块软件之间的关联关系也越来越复杂。因而，机载软件的质量优劣直接影响着人机安全，一旦软件出现问题，往往会造成灾难性的后果。飞机中央维护系统是机载软件中的一部分，为了确保它的高质量和高可靠性，

3、在研发和测试过程中必须遵循航空软件标准DO—178B，并且要利用专业化的测试软件对系统软件经过严格的逐级测试，才能应用于恶劣的现实环境中。飞机中央维护系统的软件测试分为基于需求的黑盒测试和基于源码的白盒测试。本文讲述了基于源码的白盒测试方法。着重阐述了利用测试工具LDRATestbed对飞机中央维护系统软件进行语句和分支覆盖的测试方法及流程，并给出了测试报告。1飞机中央维护系统软件覆盖测试1．1飞机中央维护系统飞机中央维护系统(P1aneCentralMaintenancesystem，cMs)可使飞机驾驶员实时快速的获取飞机状态和各项参数，对可能出现的各类故障进行

4、预报、监测、隔离，提供故障检测报告、构型报告和地面测试指令并且判断故障根源，据此地面人员可以快速制定出维修计划，给出相应的修理方法，减少事故的发生。该系统已经逐步应用于部分型号的民用飞机上，如中国商用飞机公司的A埘一2l，它采用的是美国霍尼韦尔柯林斯公司的基于故障方程的诊断技术来进行故障处理和地面测试，并向维修人员提供文字信息显示。CMS系统帮助飞行员和地勤人员侦测并寻找飞机关键部件的故障，跟踪飞机系统的LRUs工作是否正常并且识别LRUs是否需要替换，该系统将通过飞机座舱中的多功能显示器把LRUs的故障诊断信息、发动机维护信息、飞机系统参数信息显示出来并在飞行途中

5、将这些结果下传至地面站，使维修人员提前做好维修准备。同时，CMS系统提供了一个综合用户接口。便于对所有连接的子系统进行地面测试。按照各家飞机制造商对子系统的要求，飞机上的每个子系统都能提供故障检测和报告。报告系统采用整个飞机系统都适用的标准协议与CMS进行通信，提供故障报告、系统参数报告和地面测试指令。报告结果存储在机载海量存储器中，通过机载通信寻址与报告系统或无线局域网等技术下传至地面，以备使用。1．2DO一178B标准国际航空无线电委员会(RTCA)针对航空电子系统的开发制定了DO—178B(SoftwareConsiderationinAirbomeSyste

6、msandEquipmentCenification)标准。在欧洲和美国，如果一架飞机没有通过D0一178B质量认证就不允许在其领空飞行。在中国，DO—178B标准已经作为航空领域必须的资格认证。DO一178B规定了航空软件的五个测试级别，它们分别如下：kvelA级：能够100％的完成修正条件／判定覆盖(MCDC)测试，确保程序每个出口和入口点都至少被收稿日期：2010．Ol—15修订日期：2010．05．12作者简介：邹会荣(19r7l一)，女，陕西宝鸡人，硕士研究生，研究方向为航空软件测试技术。·92·航空计算技术第40卷第5期调用1次；每个判定的可能输出都必须

7、被至少执行1次；判定中的每个条件独立地影响判定结果。kvelB级：能够100％地完成判定覆盖(Decision)测试，确保每个判定的可能输出都必须被至少执行1次；程序中每个出口和入口都至少被调用1次。kvelC级：能够100％地完成语句覆盖(state—ment)测试，确保程序中的所有语句都被执行1次。kvelD级和kvelE级属较轻的失效状态和无影响状态，通常软件测试时可以弱化。1．3覆盖测试方法覆盖测试又称白盒测试，它是基于程序源码和需求说明来实现的。它以程序的内部结构为基础来设计测试用例。其基本准则是用测试用例来尽可能多地覆盖程序的内部逻辑结构，发现其中的