一种基于状态规格说明的OBDD测试用例生成方法

• 作者: 吴夕 杨秋辉*
• 来源期刊: 数字技术与应用
• 学科: 工学
• 关键词: 测试 基于状态说明 全断言覆盖准则 OBDD
• 年，卷（期）: 2013,（1）
• 页码范围: 152
• 分类号: TP311
• 字数: 815字
• 语种: 中文

摘要

为了有效地在规格说明层面对软件系统进行测试,A.J.Offutt[1]针对系统的状态规格说明定义了一系列覆盖准则,并阐述了如何基于系统的状态表示生成满足覆盖准则的基本方法.本文引入了一种应用于大型集成电路设计的数据结构OBDD(有序二叉决策图)作为生成测试用例的基本结构,创新地提出了一种新的生成测试用例方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴夕	四川大学计算机学院	1	2	1.0	1.0
2	杨秋辉*	四川大学计算机学院	1	2	1.0	1.0