期刊文献+

基于MC/DC覆盖的最小测试用例集设计 被引量:1

Design of minimum test case set based on MC/DC coverage
下载PDF
导出
摘要 单元测试在铁路信号电子产品软件的研发过程中占有重要比重,而覆盖率则是单元测试中衡量测试质量的一个重要指标。本文重点介绍软件单元测试过程中为何选择修正条件判定覆盖,而不选择条件判定覆盖和组合条件覆盖作为覆盖率评判标准,同时重点介绍了如何设计出满足修正条件判定覆盖的最小测试用例集的两种方法 :真值对法、唯一原因法。 Unit testing plays an important role in the development of railway signal electronic product software, and coverage is an important index to measure the test quality in unit testing. In this paper, we focus on how to choose the modified condition to determine coverage in the process of software unit testing instead of the conditional and combined condition coverage as the coverage criteria. At the same time, it mainly introduces how to design the minimum test case set which satisfies the revision condition to determine the coverage rate: True Value Pairing Method and Unique Cause Method.
作者 林双才 Lin Shuangcai(Xi’an railway signal Co.,Ltd.,Xi’an Shaanxi,710000)
出处 《电子测试》 2019年第23期52-54,共3页 Electronic Test
关键词 条件判定覆盖 修正条件判定覆盖 组合条件覆盖 真值对 condition decision coverage modify condition decision coverage composition condition coverage condition coverage
  • 相关文献

参考文献3

二级参考文献10

  • 1朱晓波,杨伟民,叶芯.更改条件/判定覆盖最小真值表生成算法及其应用[J].上海理工大学学报,2007,29(1):84-88. 被引量:7
  • 2KELLY J HAYHURST, DAN S VEERHUSEN, JOHN J CHILENSKI, LEANNA K RIERSON. A practical tutorial on modified condition/decision coverage[R]. NASA/TM-2001-210876.
  • 3JOHN JOSEPH CHILENSKI, STEVEN P MILLER. Applicability of modified condition/decision coverage to software testing[J]. Software Engineering Journal, 1994, 9 (5): 193 - 200.
  • 4KALPESH KAPOOR, JONATHAN BOWEN. Experimental Evaluation of the Tolerance for Control - Flow Test Criteria [J].Journal of Software Testing Verification and Reliability , 2004 , 14 (3): 1 - 21.
  • 5WHITE A L. Comments on the probability model for the modified condition/decision coverage method of testing software [M]. IEE proc Softw, 2003. 150.
  • 6古乐,史九林.软件测试技术概论[M].北京:清华大学出版社,2004
  • 7机载系统和设备合格审定中的软件考虑[s].美国航空无线电委员会文件RTAC/DO一178B,1992.
  • 8段飞雷,吴晓,张凡,董云卫.MC/DC最小测试用例集快速生成算法[J].计算机工程,2009,35(17):40-42. 被引量:6
  • 9袁军.基于MC/DC最小测试用例集设计方法研究[J].航空电子技术,2010,41(3):51-54. 被引量:3
  • 10葛汉强.MC/DC最小测试用例集递归分块矩阵生成算法[J].计算机系统应用,2011,20(7):195-198. 被引量:2

共引文献6

同被引文献6

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部