邹会荣
- 作品数：3 被引量：18H指数：2
- 供职机构：西安航空计算技术研究所更多>>
- 发文基金：国防基础科研计划更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术更多>>
- 基于LDRA Testbed的飞机中央维护系统覆盖测试被引量：7
- 2010年
- 基于测试工具LDRA Testbed实现了飞机中央维护系统的覆盖测试工作。以飞机中央维护系统的主界面源程序为例,通过测试过程说明了工具在飞机中央维护系统测试中的成功应用,并达到了一定的语句覆盖分析和分支覆盖测试率。给出了软件的测试流程和测试结果。测试结果表明,使用LDRA Testbed工具,可以大大提高飞机中央维护系统的软件测试效率,同时也能够满足航空业界的软件标准DO-178B,并获得了规定的语句覆盖和分支覆盖测试率。
- 邹会荣
- 关键词：LDRATESTBED
- 机载PHM系统软件设计与验证被引量：9
- 2020年
- 针对现有PHM系统软件开发中存在的软件模块规范性差、复用率低和鲁棒性弱等问题,提出了一种基于OSA-CBM标准的构件化机载PHM系统软件设计方法,描述了机载PHM系统软件的构件化模型定义、功能框架、分层体系结构和软件控制流程;设计了机载PHM系统的构件接口和核心功能构件;实现了符合OSA-CBM规范接口的构件化软件。通过原型系统软件验证了构件化机载PHM系统软件设计和开发方法的正确性,表明了该方法能够提升软件的规范性、复用率、鲁棒性和可扩展性。
- 吕镇邦沈新刚邹会荣
- 关键词：预测与健康管理构件化接口设计
- 交互式维护系统中有限状态机的设计与实现被引量：2
- 2020年
- 针对飞机外场维护中存在的维护场景复杂、专用设备种类繁多、状态转换频繁、维护过程不规范等实际工程问题,提出一种基于有限状态机的交互式维护系统开发方法。描述系统的设计框架和通信协议;设计符合飞机维护领域标准的状态机模型,包括维护人员、ARINC624和成员设备状态机模型;解决状态机模型的多线程设计和同步问题,实现人机交互维护过程。通过在机载维护仿真平台中的使用,证明了采用有限状态机的设计理念可准确描述被测对象的行为,根据不同的测试指令和反馈消息完成状态跃迁,并有助于提高软件的通用性、健壮性和可扩展性。
- 吕镇邦沈新刚邹会荣施伯乐
- 关键词：有限状态机多线程
