|
|||||
|
|
| 一种基于状态规格说明的OBDD测试用例生成方法 | |
| 引用本文： | 吴夕,杨秋辉.一种基于状态规格说明的OBDD测试用例生成方法[J].数字技术与应用,2013(1):152. |
| 作者姓名： | 吴夕 杨秋辉 |
| 作者单位： | 四川大学计算机学院 |
| 摘 要： | 为了有效地在规格说明层面对软件系统进行测试,A.J.Offutt1]针对系统的状态规格说明定义了一系列覆盖准则,并阐述了如何基于系统的状态表示生成满足覆盖准则的基本方法。本文引入了一种应用于大型集成电路设计的数据结构OBDD(有序二叉决策图)作为生成测试用例的基本结构,创新地提出了一种新的生成测试用例方法。 |
| 关 键 词： | 测试 基于状态说明 全断言覆盖准则 OBDD |
| 本文献已被 CNKI 等数据库收录！ | |