| 覆盖状态内部分枝的测试向量生成 |
| |
| 引用本文： | 杨修涛,鲁巍,李华伟,李晓维.覆盖状态内部分枝的测试向量生成[J].小型微型计算机系统,2006,27(4):745-748. |
| |
| 作者姓名： | 杨修涛 鲁巍 李华伟 李晓维 |
| |
| 作者单位： | 1. 中国科学院,计算技术研究所,北京,100080;中国科学院,研究生院,北京,100039
2. 中国科学院,计算技术研究所,北京,100080 |
| |
| 摘 要： | 提出一种能兼顾状态内部分杜的状态覆盖方法．在状态内部分枝树的终端结点处添加状态转换语句，将原先的单个转换分成多个转换分枝；从而实现对原先的状态转换进行扩展，使得用传统的状态测试方法就能够覆盖到状态内部的分枝．为了准确描述该过程，文中给出了分枝扩展的形式化方法．在此基础上，给出一个测试向量生成算法：遍历状态转换有向图；依状态间转换条件生成测试向量；依遍历顺序收集测试向量．通过对ITC99-benchmark中时序电路的试验表明，本文方法是有效的．
|
| 关 键 词： | 状态覆盖 分枝覆盖 测试向量生成 |
| 文章编号： | 1000-1220（2006）04-0745-04 |
| 收稿时间： | 01 4 2004 12:00AM |
| 修稿时间： | 2004-01-04 |
State Coverage Enhancement Considering Inside Branches and Test Pattern Generation |
| |
| YANG Xiu-tao,LU Wei,LI Hua-wei,LI Xiao-wei.State Coverage Enhancement Considering Inside Branches and Test Pattern Generation[J].Mini-micro Systems,2006,27(4):745-748. |
| |
| Authors: | YANG Xiu-tao LU Wei LI Hua-wei LI Xiao-wei |
| |
| Affiliation: | 1 Laboratory of Netwaork Information , Institute of Computing Technology, Chinese Academy of Sciences, Beijing 10008, China;2 Graduate School of the Chinese Academy of Sciences, Beijing 100039, China |
| |
| Abstract: | This article presented an approach to cover the inside branches of states. To cover the inside branches of a state, the state transfer tokens were inserted in to the code. The original transfer between two states was extended to several ones. So, test based on the modified code could cover the inside branches of a state. A formal deception was presented in this paper to explain this approach. The author also proposed an algorithm to generate test pattern. The traversal of directed state graph can help to collect Patterns that can test the sequential Circuit, The experiment conducted on the benchmark of ITC99 revealed that the method was more effective. |
| |
| Keywords: | state coverage branch coverage test patterns generation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
