检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:俞红娟[1] 吴丽华[1] 王轸[1] 马怀俭[1]
机构地区:[1]哈尔滨理工大学测控技术与通信工程学院,黑龙江哈尔滨150040
出 处:《哈尔滨理工大学学报》2005年第4期62-64,共3页Journal of Harbin University of Science and Technology
基 金:黑龙江省研究生创新资金项目
摘 要:EST算法第一次提出了测试码搜索状态的概念,并采用E-前沿来描述测试码搜索的不同状态.通过引入状态等价的概念,缩小了测试码搜索空间.本文通过对搜索状态等价的研究,得出了基于搜索状态控制的测试生成算法.该方法应用E-前沿的控制关系可以减少搜索空间,大大减少了测试生成的时间.The EST algorithm presents the concept of search state equivalence for first time, and describes the different" search state of test pattern with E - frontier. With the concept of state equivalence, the search space of test pattern has got smaller. This paper gives a new test generation algorithm based on search state dominance with the research for search state equivalence. This method can decrease the search space, and the time for test generation is shorter.
关 键 词:组合电路 判定树 E-前沿 搜索状态等价 搜索状态控制 测试生成
分 类 号:TN407[电子电信—微电子学与固体电子学]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.4