期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于局部错误诊断的动态协议一致性测试方法
1
作者 林华辉 周颢 +1 位作者 潘全科 赵保华 《北京邮电大学学报》 EI CAS CSCD 北大核心 2007年第1期140-144,共5页
为提高测试结果的可靠性和错误覆盖率,在动态协议一致性测试过程中引入局部错误诊断机制,提出了一种新的动态测试方法,并在确定有限状态机模型下分析其原理及正确性.新的测试方法充分利用了测试过程产生的动态信息对待选测试序列进行排... 为提高测试结果的可靠性和错误覆盖率,在动态协议一致性测试过程中引入局部错误诊断机制,提出了一种新的动态测试方法,并在确定有限状态机模型下分析其原理及正确性.新的测试方法充分利用了测试过程产生的动态信息对待选测试序列进行排选,有效避免了对局部错误位置的错误判断.同时,提出了一种基于错误子列的局部错误诊断方式,突破了单一错误假设的局限,更具实用价值.实验结果表明,该测试方法可以有效地避免由于局部错误而造成的测试结果可靠性的降低,具有更好的错误覆盖率. 展开更多
关键词 动态测试方法 局部错误诊断 测试序列 错误子列
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部