检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]东南大学计算机科学与工程学院,南京210096 [2]南京大学软件新技术国家重点实验室,南京210093 [3]南京航空航天大学信息科学与技术学院,南京210016 [4]南京大学计算机科学与技术系,南京210093
出 处:《计算机学报》2011年第8期1509-1518,共10页Chinese Journal of Computers
基 金:国家自然科学基金(90818027;91018005);国家"八六三"高技术研究专题项目与发展计划项目基金(2009AA01Z147);国家"九七三"重点基础研究发展规划项目基金(2009CB320703)资助~~
摘 要:在研究了Martinez等人提出的组合测试错误定位模型的基础上,改进了他们用高维覆盖表来构造错误定位表的方法,并且针对安全值已知的待测系统提出了至多t维的错误交互定位的自适应算法,从而解决了Martinez等人提出的开问题之一,并进一步分析了自适应算法的性能,证明了定位错误交互需调用的测试过程数目是关于错误交互数与因素数多项式阶增长的,拓展了Martinez等人提出的针对t=2的错误交互定位的自适应算法.In the paper, we study the model to locate fault interactions proposed by Martinez C et al, improve the conclusion of constructing error locating array based on the higher strength covering arrays. We propose an adaptive algorithm of locating the faulty interactions whose strength is at most t in the software under test with known safe values. The algorithm solves one of the open problems proposed by Martinez C et al. We analyze the performance of the algorithm that our al- gorithm performs a number of tests that is polynomial in log k and d, where k is the number of parameters in the system and d is an upper bound on the number of the faulty interactions whose strength is at most t.
分 类 号:TP311[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:3.144.149.217