bck

收藏本站

解析失效状态传播的软件故障定位方法研究

【摘要】:软件缺陷会降低系统的可靠性、可用性和安全性。开发人员发现软件失效后,通常需要观察程序的执行状态,查找失效的根源并消除软件缺陷。然而由于程序状态空间规模巨大,并且错误的程序状态会沿着执行路径传播。这使理解“什么导致了程序失效?”以及“为什么程序会失效?”成为值得研究的问题,亟需自动化的软件故障定位技术来提供这些信息,辅助软件调试。程序设计教育领域也需要软件故障定位技术的支持,为学生在线学习编程提供及时的调试反馈和辅助。不同于软件开发,学生程序特别是初学者的程序中经常含有概念错误,错误密度大、缺陷种类多样,甚至缺少关键语句,可能对所有的测试用例都执行失效。“缺陷程序存在部分成功执行”的假设,不完全适用于学生程序调试,需要结合学生程序设计自身特点研究故障定位方法。本文提出了“失效-故障定位-理解”模型,分析了软件故障定位领域的关键科学问题,并针对软件开发和学生程序调试的不同特点,分别研究这两类场景下的故障定位技术。首先围绕“存在部分成功测试用例的情况下,有效地报告缺陷位置,为开发人员理解和修复缺陷提供充分的信息。”这一目标,研究测试用例优选方法和基于程序不变量的故障定位方法。然后,围绕“存在充分示例程序的情况下,即使缺陷程序不能通过任何测试用例,也可以有效定位其中的可疑语句。”的目标,研究学生程序的故障定位方法。主要研究内容分为以下四个部分。(1)为了“最大化地利用测试信息,选择适合于故障定位的测试用例集合”,提出了面向有效故障定位的测试用例优选方法。首先,提出“失效覆盖向量相似度优先排序”准则,将执行路径与失效执行路径相似的成功测试用例赋予较高的优先级;然后提出“失效覆盖等价划分优化选择”准则,选择能够最大区分失效执行语句的成功测试用例子集合;在此基础上,建立测试用例优选模型。实验结果表明,在约简率和故障定位有效性两个指标方面,本方法均优于已有基于语句和基于向量的测试用例约简方法。(2)针对已有方法对不变量定义不完善导致可定位的缺陷种类有限、因缺少对测试用例的影响分析导致不变量违背检测的漏检等问题,提出了基于程序不变量分析多种缺陷类型的故障定位方法。首先,在浮点型范围不变量的基础上,扩展了集合型不变量和真值表型不变量,还识别了仅被失效覆盖的语句和永真/永假条件谓词这两类难于用不变量违背定位的可疑语句。然后,将测试用例优选与程序不变量故障定位相结合,以降低不变量违背检测漏检。实验结果表明,与已有基于程序不变量的故障定位方法相比,本方法可以有效定位更多种类的缺陷。(3)针对已有方法缺少对失效状态传播的分析,导致不变量违背检测的漏检和误检,难于准确定位到失效的产生根源等问题,提出了基于程序不变量解析失效状态传播的故障定位方法。一方面,利用变量到达定值分析,定位常量赋值缺陷,降低漏检。另一方面,利用依赖分析过滤掉因失效状态传播导致的不变量违背检测误检。实验结果表明,本方法能有效降低不变量故障定位的误检和漏检,且与程序谱方法相比更有效。(4)针对学生程序可能对所有测试用例都失效,但存在大量可供参考的示例程序等特点,研究基于示例的故障定位方法。首先,提出基于结构度量和执行值序列的程序聚类方法,从大量已有程序中识别示例程序。然后,提出解析失效状态传播上下文的故障定位方法,通过识别缺陷程序和示例程序的执行状态和结构语义差异,定位可疑语句。实验结果表明,在有充足示例程序的情况下,该方法可以有效定位可疑语句,并为修复缺陷提供辅助。

下载App查看全文

(如何获取全文? 欢迎:、、)

支持CAJ、PDF文件格式


【相似文献】
中国期刊全文数据库 前16条
1 叶素梅;肖寒;;基于测试用例库的复用方法研究[J];电脑知识与技术;2018年32期
2 王曙燕;陈朋媛;孙家泽;;基于变异分析的测试用例约简方法[J];计算机应用;2017年12期
3 杨军;卢彩霞;黄辰;王婷;;测试用例复用在电子采购交易平台中的应用[J];计算机与数字工程;2018年01期
4 程雪梅;翟宇鹏;;测试用例修复的方法与工具综述[J];现代计算机(专业版);2017年02期
5 赵鹤;高婉玲;;基于模型的软件测试用例生成方法比较研究[J];现代计算机(专业版);2017年04期
6 曾嘉彦;;符号执行技术在测试用例生成中的应用[J];现代计算机(专业版);2017年04期
7 张功杰;谢春丽;;面向测试用例生成的集合进化算法实现[J];牡丹江师范学院学报(自然科学版);2017年02期
8 魏长安;王钢;盛云龙;张永卓;;组合测试用例自动生成软件设计[J];自动化技术与应用;2017年05期
9 臧丽娜;;基于死锁的并发类单元测试用例自动生成[J];计算机应用与软件;2017年04期
10 杨芳;丁晓明;;多目标测试用例优先级排序研究进展[J];重庆工商大学学报(自然科学版);2017年03期
11 颜丽;;基于消息交互的测试用例编写方法的实现[J];萍乡学院学报;2017年03期
12 李萍;郭伟全;;基于变力度组合覆盖的信号处理软件测试用例生成[J];微电子学与计算机;2017年06期
13 王瑾;;C语言软件错误定位的测试用例库构建[J];太原师范学院学报(自然科学版);2015年04期
14 付文豪;虞慧群;范贵生;;一种提高错误定位效率的测试用例选择方法[J];华东理工大学学报(自然科学版);2016年04期
15 居美云;;软件测试用例设计[J];信息与电脑(理论版);2016年12期
16 曾茂希;陆璐;;基于正交试验设计的测试用例选择方法[J];计算机与数字工程;2016年08期
中国重要会议论文全文数据库 前10条
1 周晓燕;李兵;潘伟丰;覃叶宜;;基于错误传播概率网络的软件回归测试用例选择[A];第五届全国复杂网络学术会议论文(摘要)汇集[C];2009年
2 王道堂;林春哲;张凯;;软件测试用例构造方法与手段[A];计算机技术在工程建设中的应用——第十二届全国工程建设计算机应用学术会议论文集[C];2004年
3 林春哲;张凯;王道堂;;软件测试用例设计分析[A];计算机技术在工程建设中的应用——第十二届全国工程建设计算机应用学术会议论文集[C];2004年
4 张侠影;李志蜀;;一种优化的测试用例约简方法[A];2008'中国信息技术与应用学术论坛论文集(一)[C];2008年
5 张德平;聂长海;徐宝文;;划分测试用例选择策略研究[A];第五届中国测试学术会议论文集[C];2008年
6 王斌;;软件测试用例相关问题探讨[A];中国原子能科学研究院年报 2013[C];2014年
7 周瑞杰;江国华;;基于遗传算法的面向对象类测试用例生成研究[A];2010通信理论与技术新发展——第十五届全国青年通信学术会议论文集(下册)[C];2010年
8 邱程;邬小鲁;何聪;范志容;李凯;;基于黑盒测试的车载影音娱乐系统测试用例设计方法[A];2016中国汽车工程学会年会论文集[C];2016年
9 章靠;丁佐华;;基于事件图的并发软件测试[A];第四届中国软件工程大会论文集[C];2007年
10 王新光;万定生;张希伟;;浅谈程序设计语言教学中工程能力的培养[A];2005全国计算机程序设计类课程教学研讨会论文集[C];2005年
中国博士学位论文全文数据库 前10条
1 王克朝;解析失效状态传播的软件故障定位方法研究[D];哈尔滨工业大学;2019年
2 刘勇;基于变异的错误定位优化技术研究[D];北京化工大学;2018年
3 王静;有效载荷系统测试用例智能规划方法研究[D];中国科学院大学(中国科学院国家空间科学中心);2018年
4 郭心睿;基于“生成—检验”框架的软件代码错误自动修复技术研究[D];清华大学;2017年
5 张功杰;基于集合进化与占优关系的变异测试用例生成[D];中国矿业大学;2017年
6 张慧;基于测试用例的错误定位技术研究[D];东南大学;2016年
7 张旭舟;面向复杂程序结构的测试用例自动生成方法研究[D];北京邮电大学;2018年
8 刘玲;基于面向对象形式规格说明的测试用例生成技术[D];上海大学;2004年
9 占学德;基于UML statecharts测试方法的研究[D];上海大学;2005年
10 金虎;自动化软件测试技术研究[D];四川大学;2006年
中国硕士学位论文全文数据库 前10条
1 周敏敏;ART中内存选择技术及在面向对象软件测试中的应用研究[D];江苏大学;2019年
2 梁卓杰;测试用例自动生成算法设计及自动化测试平台构建[D];北京交通大学;2019年
3 周锦春;组合测试工具的服务化[D];南京大学;2019年
4 邱晓晗;基于模型的飞控机载软件测试用例自动生成技术研究[D];电子科技大学;2019年
5 张焜;基于频谱的错误定位测试用例优化方法研究[D];中国矿业大学;2019年
6 卞恭喜;基于动态优化的分级多粒度Fuzzing测试漏洞挖掘系统研究与实现[D];江苏大学;2019年
7 占徐政;基于信息熵的适应性随机测试用例生成算法研究[D];江西财经大学;2019年
8 张月;数值程序蜕变关系构造及优化研究[D];华侨大学;2019年
9 汤圣杰;基于SCADE模型的车载ATP软件测试方法[D];北京交通大学;2019年
10 姚婷;基于遗传算法的多路径覆盖测试用例自动生成的研究[D];南华大学;2018年
中国重要报纸全文数据库 前10条
1 本报记者 王欣;[N];通信产业报;2017年
2 罗德与施瓦茨(中国)科技有限公司;[N];通信产业报;2017年
3 特约撰稿 张勇;[N];计算机世界;2011年
4 计算机世界实验室 韩勖;[N];计算机世界;2008年
5 ;[N];计算机世界;2002年
6 信息产业部软件与集成电路促进中心 于明唐仕武;[N];计算机世界;2007年
7 谢敏 沈雪芳 戴金龙;[N];计算机世界;2005年
8 刘昶;[N];中国电子报;2007年
9 罗德与施瓦茨中国有限公司 刘昶;[N];通信产业报;2006年
10 罗德与施瓦茨中国有限公司产品支持部;[N];通信产业报;2013年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978


{bck}| {bck体育官网}| {bck体育下载}| {bck体育app}| {bck体育}| {bckbet}| {bcksports}| {bck官网}| {bck}| {bck体育官网}| {bck体育下载}| {bck体育app}| {bck体育}| {bck}| {bck体育官网}| {bck体育下载}| {bck体育app}| {bck体育}| {bckbet}| {bcksports}| {bck官网}| {bck}| {bck体育下载}| {bck体育}| {bckbet}| {bcksports}| {bck官网}| {bck}| {bck体育下载}| {bck体育app}| {bck体育}| {bckbet}| {bck体育下载}| {bck体育app}| {bck体育}| {bckbet}| {bcksports}| {bck体育下载}| {bckbet}| {bcksports}| {bck体育官网}| {bck体育下载}| {bck体育app}| {bck体育}| {bck官网}| {bck体育下载}| {bckbet}| {bcksports}| {bck官网}| {bck体育app}| {bck体育}| {bcksports}| {bck官网}| {bck体育下载}| {bck体育}| {bckbet}| {bcksports}| {bck官网}| {bck体育}| {bcksports}| {bck官网}| {bck体育官网}| {bck体育下载}| {bck体育}| {bckbet}| {bcksports}| {bck}| {bck体育官网}| {bck体育下载}| {bck体育app}| {bck体育}| {bckbet}| {bck官网}| {bck}| {bck体育官网}| {bck体育下载}| {bck体育app}| {bcksports}| {bck官网}| {bck}| {bck体育官网}| {bcksports}| {bck体育下载}| {bck体育app}| {bckbet}|
{uc8}| {uc8体育}| {uc8官网}| {uc8老虎机}| {UC8娱乐城}| {uc8彩票}| {uc8}| {uc体育}| {uc8体育}| {UC体育}| {uc8官网}| {uc8老虎机}| {uc8体育}| {UC体育}| {uc8老虎机}| {uc8老虎机}| {UC8娱乐}| {uc8}| {uc体育}| {uc8体育}| {UC体育}| {uc8老虎机}| {uc8彩票}| {uc8}| {uc8体育}| {UC体育}| {uc8官网}| {UC8娱乐}| {UC8娱乐城}| {uc8}| {uc体育}| {uc8体育}| {UC体育}| {uc8官网}| {uc8老虎机}| {UC8娱乐}| {UC8娱乐城}| {uc8}| {uc体育}| {uc8体育}| {UC体育}| {uc8官网}| {uc8老虎机}| {UC8娱乐}| {UC8娱乐城}| {uc8}| {uc体育}| {uc8体育}| {UC体育}| {uc8官网}| {uc8老虎机}| {UC8娱乐}| {uc8彩票}| {uc8}| {uc体育}| {UC体育}| {UC8娱乐城}| {uc8}| {UC体育}| {uc8官网}| {uc8老虎机}| {uc8}| {uc体育}| {uc8体育}| {UC体育}| {uc8官网}| {uc8老虎机}| {UC8娱乐}| {UC8娱乐城}|