检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]中国航天系统科学与工程研究院
出 处:《计算机与数字工程》2014年第8期1440-1447,共8页Computer & Digital Engineering
摘 要:随着软件产业的飞速发展,人们对软件质量的要求也越来越高。现在,软件已经直接影响到了我们项目的成功和设备的安全。而软件中的复杂缺陷难以排除,因为它们涉及到许多程序要素之间的相互作用。论文扩展了基于信息流覆盖的缺陷定位技术。扩展后的技术融合了语句覆盖和分支覆盖技术,它还能定位复杂缺陷。试验结果表明,文中方法比基于语句覆盖、分支覆盖和定义使用对覆盖的方法要更可靠、更精确。With the development of the software industry,people require higher quality of software.Today,software directly impacts on the success of our project and the safe of our device.The complex defects often are hard to debug,because they involve the interactions between many program elements.This paper expands the fault localization technique,which is based on information flow coverage.The expanded technique combines the statement coverage and branch coverage technique,and it can localize the complex defect.The experiment result shows that our method is more reliable and precise than other methods,which includes statement coverage,branch coverage and define-use pair coverage.
关 键 词:软件测试 复杂缺陷 信息流覆盖 语句覆盖 分支覆盖 定义使用对覆盖
分 类 号:TP311[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.145