耦合条件的MC/DC测试用例集生成算法
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:


Test Case Generation Algorithm Based on MC/DC with Coupling Conditions
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    MC/DC是一套航电A级软件的测试覆盖性准则,可以有效减少测试用例量.针对如何快速获取尽可能小的测试用例集这一难点展开研究,重点关注于具有耦合条件的逻辑表达式,提出了两套解决方案,分别用于解决零耦合/弱耦合条件和强耦合条件问题,并给出了示例证明.结果表明,灵活使用两套算法,可以全面解决一般逻辑表达式的MC/DC测试用例集的快速生成问题.

    Abstract:

    MC/DC is a coverage criterion for the verification of avionics software of Level A, which can massively lower down the number of test cases. This paper focuses on the research of the logical expression with coupling conditions, and studies how to obtain the test case set as small as possible. It proposes two solutions which can be used respectively to solve the problems under the conditions of zero-coupling/weak-coupling and strong-coupling, and related examples are showed. The result shows that flexible usage of the two algorithms can solve the problems of rapid generation of MC/DC test case set for general logic expression.

    参考文献
    相似文献
    引证文献
引用本文

谢祥南,魏延栋.耦合条件的MC/DC测试用例集生成算法.计算机系统应用,2017,26(6):164-169

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2016-09-29
  • 最后修改日期:2016-11-03
  • 录用日期:
  • 在线发布日期: 2017-06-08
  • 出版日期:
文章二维码
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京海淀区中关村南四街4号 中科院软件园区 7号楼305房间,邮政编码:100190
电话:010-62661041 传真: Email:csa (a) iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号