基于MC/DC生成测试用例方法研究

曹爽; 张育平

首页> 中文期刊> 《工业控制计算机》 >基于MC/DC生成测试用例方法研究

基于MC/DC生成测试用例方法研究

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

设计和编写测试用例是软件测试中最重要的步骤.分析机载系统软件需求,系统状态转换或事件触发总是以满足一个或多个条件为前提的.因此在将需求抽象成布尔表达式基础上,依据MC/DC准则,研究了一个布尔运算符替换算法.将该算法实现为工具,用于生成满足MC/DC准则要求的测试用例.最后结合实例验证该工具的实用性.

著录项

来源
《工业控制计算机》 |2010年第2期|67-69|共3页
作者
曹爽; 张育平;
展开▼
作者单位

南京航空航天大学信息科学与技术学院;

江苏;

南京;

210016;

南京航空航天大学信息科学与技术学院;

江苏;

南京;

210016;

展开▼
原文格式 PDF
正文语种 chi
中图分类
关键词
修订的条件/判定覆盖; 布尔表达式; 真值表;

相似文献

中文文献
外文文献
专利

1. 基于图的MC/DC最小测试用例集快速生成算法 [J] . 黄孝伦 . 计算机系统应用 . 2012,第011期
2. 基于MC/DC准则的确认测试用例生成方法 [J] . 郑平 ,许胜 . 现代电子技术 . 2007,第016期
3. 基于MC/DC最小测试用例集设计方法研究 [J] . 袁军 . 航空电子技术 . 2010,第003期
4. 耦合条件的MC/DC测试用例集生成算法 [J] . 谢祥南 ,魏延栋 . 计算机系统应用 . 2017,第006期
5. 一种生成符合MC／DC覆盖准则的测试用例算法 [J] . 陈星 ,陈新国 . 教学与科技 . 2013,第3期
6. 基于MC/DC准则的确认测试用例生成方法 [C] . 郑平 ,杨桂枝 . 中国宇航学会计算机应用专业委员会2011年度技术交流会 . 2011
7. 基于遗传算法的MC/DC测试用例自动生成方法研究 [A] . 俞祥贤 . 2015

基于MC/DC生成测试用例方法研究

摘要

著录项

相似文献

相关主题

期刊订阅