基于MC/DC准则的确认测试用例生成方法

• 作者: 许胜 郑平
• 来源期刊: 现代电子技术
• 关键词: MC/DC 形式化方法 模型检查 测试准则
• 年，卷（期）: 2007,（16）
• 所属期刊栏目: 软件技术
• 页码范围: 114-117
• 页数: 4页
• 分类号: TP301.6
• 语种: 中文
• DOI: 10.3969/j.issn.1004-373X.2007.16.038

摘要

形式化的需求规格说明以其能够被自动操纵的形式,精确地描述了软件预期提供的功能,为测试提供了良好的条件.运用模型检查技术自动生成测试用例是形式化方法在基于需求的测试中采用的主要途径.MC/DC(修改的条件/判定覆盖)准则是一种实用的软件结构覆盖率测试准则.结合模型检查技术,提出一种从形式化的软件需求中自动生成测试用例的方法,以达到对软件需求的类似于MC/DC准则的覆盖测试.以一个实际的案例为例,并检验其生成的用例对代码的覆盖率,证明方法的实用性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郑平		1	6	1.0	1.0
2	许胜		5	20	2.0	4.0