【摘 要】
:
无论是在工作上还是在日常生活中,人们对于软件的依赖性越来越强,同时更加关注软件的质量。缺陷定位以找出程序中的缺陷语句为目标,是提高软件质量的有效手段之一。使用自动化缺陷定位技术能够有效提高缺陷定位的效率,大大降低软件开发的耗费。基于频谱的软件缺陷定位方法计算复杂度低,可自动化程度高,是目前比较切实有效的方法。基于频谱的软件缺陷定位方法利用程序语句的动态执行信息,定位到造成程序产生异常的缺陷语句。目
论文部分内容阅读
无论是在工作上还是在日常生活中,人们对于软件的依赖性越来越强,同时更加关注软件的质量。缺陷定位以找出程序中的缺陷语句为目标,是提高软件质量的有效手段之一。使用自动化缺陷定位技术能够有效提高缺陷定位的效率,大大降低软件开发的耗费。基于频谱的软件缺陷定位方法计算复杂度低,可自动化程度高,是目前比较切实有效的方法。基于频谱的软件缺陷定位方法利用程序语句的动态执行信息,定位到造成程序产生异常的缺陷语句。目前基于频谱的软件缺陷定位方法大多使用的都是程序覆盖频谱,仅考虑了程序在执行过程中语句是否被覆盖,忽略了语句的分支计数也会影响缺陷定位效果。另外,程序频谱由程序中可执行语句的动态信息和执行结果组成,包括执行成功的和执行失败的测试用例。成功测试用例没有执行到缺陷语句,或者缺陷语句对该测试用例的执行结果没有造成影响,但是失败测试用例一定是由缺陷语句导致的,对成功和失败测试用例的程序频谱一起分析时,成功测试用例中语句会干扰缺陷语句可疑值计算。本文围绕分支计数频谱和失败测试用例进行缺陷定位方法的研究,主要工作有:(1)提出了一种基于分支计数频谱的缺陷定位方法。在软件系统中,每条程序语句并非只执行一次,程序运行时语句的分支计数对其可疑值计算产生影响,针对此问题,论文提出基于程序分支计数频谱的缺陷定位方法。该方法主要程序语句的执行次数出发构成分支计数频谱,更改成功测试用例中和失败测试用例执行信息一致的测试用例的执行结果,然后应用神经网络模型自动输出程序语句的可疑值,从而定位程序缺陷。(2)提出了一种基于失败测试用例的缺陷定位方法。对于程序分支计数频谱,成功测试用例中可执行的语句会干扰缺陷语句可疑值计算,针对此问题,提出基于失败测试用例的缺陷定位方法。该方法主要是获取失败测试用例的函数调用关系图,计算出函数可疑值对函数进行排序,然后利用失败测试用例的可执行语句构建复杂网络,计算每条语句的可疑值,定位程序中的缺陷语句,以提高缺陷定位的效率。(3)设计并实现了一个软件缺陷定位平台。根据文中提出的软件缺陷定位方法,以某无人机控制站系统为实例进行实验,验证了论文中软件缺陷定位方法的有效性和平台的实用性。
其他文献
长期以来,义务教育对整个社会经济的发展起着至关重要的作用,因此,各国都非常重视义务教育供给的问题。义务教育一方面它具有消费上的非竞争性,另一方面它具有受益的非排他性
Web服务作为一种可重用、松耦合的分布式计算模型,近几年得到学术界和工业界的广泛关注。Web服务存在服务描述稀疏、语义表达模糊等问题,Web服务描述稀疏的现象导致用户不能准确高效的查询出满足个性化需求的Web服务,如何准确而高效地找到符合用户需求的Web服务是制约Web服务应用发展的关键问题。目前针对于语义稀疏背景下的Web服务发现研究相对较少。为了解决Web服务中存在的语义稀疏问题,本文提出基于
可再生H2-O2燃料电池(RHOFCs)因其清洁零污染、能量密度高倍受关注,其由H2-O2燃料电池(HOFCs)和水电解池(WECs)两部分组成。其中,WECs部分阳极析氧反应(OER)和阴极析氢反应(HER)及HOFCs
随着互联网+时代的到来,IDC(Internet Data Center)即互联网数据中心的需求得到迅速的发展,成为了新世纪互联网产业中不可缺少的重要一环。它为互联网内容提供商(ICP)、企业、媒体和各类网站提供大规模、高质量、安全可靠的专业化服务器托管、空间租用、网络批发带宽以及ASP、EC等业务。所以在IDC机房的动力和环境设备必须每时每刻都要保证提供系统正常运行所需的环境。一旦其出现故障或故
心血管疾病(Cardiovascular disease,CVD)是造成全球死亡的首要原因。纳豆激酶具有多种有利于心血管的作用,如纤维蛋白溶解活性、抗血栓、抗高血压、抗动脉粥样硬化、降血脂、抗血小板和神经保护等。因此,它是预防和治疗心血管疾病的理想药物。目前野生型纳豆芽孢杆菌生产纳豆激酶的产量较低,且下游分离纯化工艺困难,这将限制了纳豆激酶的应用。本论文通过基因工程技术构建了WB800N/p HT
传统节日承载着丰富的历史文化内涵,集中展示了民族精神、民众信仰、审美观念、伦理关系与风俗习惯。作为传统文化的重要组成部分,传统节日的教育价值不仅体现在青少年的思想
随着现代社会的高速发展,化工产品不规范的使用、滥用等情况屡见不鲜,加之降雨、土壤径流、渗漏等自然作用的催化,导致全球水环境和土壤环境中存在大量的有机污染物。对环境
局域表面等离子体共振(Localized Surface Plasmon Resonance,LSPR)是光与纳米结构表面电荷相互作用表现出来的一种谐振波,对纳米结构的形状、尺寸、材料参数及外界介质折射率的变化十分敏感。通过对纳米结构的设计与加工能够改变材料的电磁性质,使其具有天然形成的物质所不具备的优异电磁特性,能够为人类实现对电磁波的操纵提供新途径。局域表面等离子体共振作为实现对可见光至近红外
近年来,随着互联网的不断发展和普及,互联网业务所需服务的用户数量大幅上升。单台服务器的业务部署方式无法承受如此大规模的流量,所以大量业务选择了利用四层负载均衡系统来实现业务的横向扩展。这也使得四层负载均衡系统成为现代数据中心中重要的基础功能。而软件定义网络技术的发展和成熟给予了四层负载均衡系统进一步提升的可能。本文从两个方面对四层负载均衡系统进行了研究:(1)实现了一种服务器状态可感知的四层负载均
随着卫星通信技术的高速发展与地面物联网(Internet Of Things,Io T)业务的蓬勃兴起,承载物联网业务的卫星网络已然成为研究的热点。在卫星物联网中,通过大量的传感器节点或机器类型通信(Machine Type Communication,MTC)终端可实现特殊区域的导航定位、环境监测、自然灾害预警等功能,相比地面物联网覆盖面积大,系统抗毁性强,促进了信息网络的智能化。为避免“信令风