谢祥南
- 作品数：4 被引量：5H指数：1
- 供职机构：中国航空无线电电子研究所更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种测试用例集自动生成方法
- 本发明为一种测试用例集自动生成方法，包括以下具体步骤：步骤1：获取逻辑表达式的条件集及条件前置逻辑符集、条件/判定集及条件/判定前置逻辑符集信息；所述的条件集是指逻辑表达式的所有条件的集合，所有条件包括耦合条件，每一个条...
- 谢祥南魏延栋徐志鑫曹明华
- 文献传递
- 通用机组告警系统自动测试技术研究与实施被引量：1
- 2017年
- 现代民用飞机机组告警系统,往往集文字信息显示、指示灯、音频于一体,具有告警覆盖广,功能要求多,逻辑复杂等特点,对验证工作是一个极大的挑战。针对通用机组告警系统需求,提出了一套基于ADS2平台的验证系统设计方案,综合考虑系统设计的全寿命周期,将系统文件检测、告警逻辑解析、数据激励/采集、测试报告生成等全部由自动化工具实现,可以有效减轻验证人员的工作强度,提高验证工作的正确率与效率。
- 谢祥南石俊杰魏延栋
- 关键词：逻辑自动化
- 防雷装置
- 本实用新型提供了防雷装置，其特征在于，包括盒体、输入航插插座、输出航插插座、接地端口；所述盒体内安装有电路板和螺柱，通过螺柱将所述电路板固定在盒体底部；所述电路板上包含输入端接线端子、输出端接线端子、接地覆铜区域、雷电防...
- 谢祥南程进伟王文渊
- 文献传递
- 耦合条件的MC/DC测试用例集生成算法被引量：4
- 2017年
- MC/DC是一套航电A级软件的测试覆盖性准则,可以有效减少测试用例量.针对如何快速获取尽可能小的测试用例集这一难点展开研究,重点关注于具有耦合条件的逻辑表达式,提出了两套解决方案,分别用于解决零耦合/弱耦合条件和强耦合条件问题,并给出了示例证明.结果表明,灵活使用两套算法,可以全面解决一般逻辑表达式的MC/DC测试用例集的快速生成问题.
- 谢祥南魏延栋
- 关键词：测试用例逻辑
