考虑内部分枝的状态覆盖方法

摘要：

本文提出一种能兼顾状态内分枝的状态覆盖方法.在状态内部分枝树的终端结点处添加状态转换语句,将原先的单个转换分成多个转换分枝.从而对原先的状态转换进行扩展,使得用传统的状态测试方法能够覆盖到状态内部的分枝.

关键词： 状态覆盖 分枝覆盖 测试产生 集成电路设计 软件测试

作者: 杨修涛 鲁巍 李华伟 李晓维

作者单位: 中国科学院计算技术研究所(北京);中国科学院研究生院(北京) 中国科学院计算技术研究所(北京)

会议类型: 国内会议

会议名称: 全国第13届计算机辅助设计与图形学学术会议暨全国第16届计算机科学与技术应用学术会议

会议地点: 合肥

会议语种:中文

页码: 264-267

在线出版日期: 2004-08-01（万方平台首次上网日期，不代表论文的发表时间）