位置:成果数据库 > 期刊 > 期刊详情页
基于部分覆盖表的错误交互定位方法
  • 期刊名称:计算机学报, 34(6), pp 1126-1136, 2011
  • 时间:0
  • 分类:TP311[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术]
  • 作者机构:[1]东南大学计算机科学与工程学院,南京210096, [2]南京大学软件新技术国家重点实验室,南京210093, [3]南京大学计算机科学与技术系,南京210093, [4]南京航空航天大学信息科学与技术学院,南京210016
  • 相关基金:本课题得到国家自然科学基金(90818027,91018005)、国家“八六三”高技术研究专题项目与发展计划项目基金(2009AA012147)、国家“九七三”重点基础研究发展规划项目基金(2009CB320703)资助.
  • 相关项目:舰载作战指挥控制软件的可信性质量保证支撑系统
中文摘要:

在组合测试定位模型的基础上提出了部分覆盖表的错误交互定位方法,该方法在错误交互个数已知的条件下,通过生成部分覆盖表,利用测试用例运行结果提供的信息来对软件错误交互定位.从理论上证明了部分覆盖表等价于一类特殊的错误定位表,进而研究了部分覆盖表行数的上界,提出生成部分覆盖表的贪心算法,从而给出了定位引发软件故障的错误交互的非自适应算法,并通过实验验证了该方法的有效性.

英文摘要:

Combinatorial testing is practical and effective method to detect the faults triggered by the interactions among parameters or components in the system. It is a key problem that how to locate the faulty interactions after some faults were detected in the test stages. Error locating arrays (ELAs) were defined by Martinez C et al for detecting and locating the faulty interactions in a system. In this paper, the authors prove that a special partial covering array (PCA) is also a special error locating array and study the upper bound of PCA's size. It is obtained that the number of tests given by PCAs is polynomial in logk and d, where k is the number of parameters and d is the number of faulty interactions in the system. Furthermore the authors propose the greedy algorithms to generate the special PCAs, and these algorithms are also a non-adaptive algorithm of producing ELAs. The experimental results show the above approach for detecting and locating the faulty interactions using PCAs is effective.

同期刊论文项目
同项目期刊论文