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

• 作 者: 吴夕 杨秋辉
• 机 构: 四川大学计算机学院四川成都610065
• 出 处: 数字技术与应用
• 发表日期: 2013年1期
• 关键词: 测试 基于状态说明 全断言覆盖准则 OBDD

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