魏延栋
- 作品数：4 被引量：5H指数：1
- 供职机构：中国航空无线电电子研究所更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术更多>>
- 一种测试用例集自动生成方法
- 本发明为一种测试用例集自动生成方法，包括以下具体步骤：步骤1：获取逻辑表达式的条件集及条件前置逻辑符集、条件/判定集及条件/判定前置逻辑符集信息；所述的条件集是指逻辑表达式的所有条件的集合，所有条件包括耦合条件，每一个条...
- 谢祥南魏延栋徐志鑫曹明华
- 文献传递
- 通用机组告警系统自动测试技术研究与实施被引量：1
- 2017年
- 现代民用飞机机组告警系统,往往集文字信息显示、指示灯、音频于一体,具有告警覆盖广,功能要求多,逻辑复杂等特点,对验证工作是一个极大的挑战。针对通用机组告警系统需求,提出了一套基于ADS2平台的验证系统设计方案,综合考虑系统设计的全寿命周期,将系统文件检测、告警逻辑解析、数据激励/采集、测试报告生成等全部由自动化工具实现,可以有效减轻验证人员的工作强度,提高验证工作的正确率与效率。
- 谢祥南石俊杰魏延栋
- 关键词：逻辑自动化
- 飞机主航行系统通用综合验证环境研究与实现
- 孙大伟张文锋王文渊徐玮瞳孙丽华程进伟孙以恒施劲松吴狄黄炎侯晓梅郑超施敏魏延栋石俊杰
- 航空电子系统的综合与验证工作是航空电子系统研制工作的重中之重，也是民用飞机表明适航符合性的关键过程。现代民用飞机航空电子系统设计的系列化发展为航空电子系统的综合验证环境的通用化设计提出了迫切需求和实现前提。该项目面向由导...
- 关键词：
- 耦合条件的MC/DC测试用例集生成算法被引量：4
- 2017年
- MC/DC是一套航电A级软件的测试覆盖性准则,可以有效减少测试用例量.针对如何快速获取尽可能小的测试用例集这一难点展开研究,重点关注于具有耦合条件的逻辑表达式,提出了两套解决方案,分别用于解决零耦合/弱耦合条件和强耦合条件问题,并给出了示例证明.结果表明,灵活使用两套算法,可以全面解决一般逻辑表达式的MC/DC测试用例集的快速生成问题.
- 谢祥南魏延栋
- 关键词：测试用例逻辑
