【摘 要】
：
基于程序频谱的缺陷定位方法可以有效地辅助开发人员定位软件内部缺陷,但大部分已有自动化方法在解决多缺陷定位问题时表现不佳,部分效果尚可的方法因复杂度较高或需要开发人
【机 构】
：
天津大学软件学院软件工程系,南通大学计算机科学与技术学院,厦门航空有限公司信息部
论文部分内容阅读
基于程序频谱的缺陷定位方法可以有效地辅助开发人员定位软件内部缺陷,但大部分已有自动化方法在解决多缺陷定位问题时表现不佳,部分效果尚可的方法因复杂度较高或需要开发人员较多交互而仍需进一步改善.为改善上述问题,提出一种基于遗传算法的多缺陷定位方法 GAMFal,具体来说:首先基于搜索的软件工程思想对多缺陷定位问题进行建模,构建了候选缺陷分布的染色体编码方式,并基于扩展的Ochiai系数计算个体的适应度值;随后使用遗传算法在解空间中搜索具有最高适应度值的候选缺陷分布,在终止条件被满足后返回最优解种群;最后根据这个种群对程序实体进行排序.这样开发人员可以依次对程序实体进行检查并最终确定多个缺陷的具体位置.实证研究以Siemens套件中的7个程序和Linux的3个程序(gzip、grep和sed)作为评测对象,并扩展传统的定位方法评测标准EXAM至EXAMF和EXAML,通过与其他经典的缺陷定位方法(Tarantula、Improved Tarantula及Ochiai)进行对比,并通过Friedman检测和最小显著性差异测试可得,提出的GAMFal方法在整体定位效率方面优于传统方法,且需要更少的人工交互.除此之外,GAMFal的执行时间也在可接受的范围之内.
其他文献
本文介绍了近年来淄博市入河排污口的监测情况,分析计算了主要污染物入河量及历年变化情况,并采用特定方法对入河排污口进行了达标评价分析。结果显示:淄博市近年来水污染治
覆盖表生成问题是组合测试的重要研究内容之一,目前已有许多数学方法、贪心算法、搜索算法用于求解这一问题.蚁群算法作为一种能够有效求解组合优化问题的演化搜索算法,已被
开展质量控制,是水质分析技术向高科技发展的必然要求,也是提供科学数据的一项重要的基础工作。因此研究分析方法的精度,保证数据的准确,是实验室内部质量控制顺利进行的关键
交通系统与城市空间结构是相互联系、相互推动的关系。轨道交通作为现代化、快速、大运量的客运系统,对城市空间演变发挥着重要作用。随着城市的快速发展,天津市的空间布局面
介绍了沥青路面的施工工艺,并提出了施工过程常会遇见的问题,而后分别从沥青路面施工时混合料选择与搅拌、运输、摊铺、碾压、接缝、养护等各环节探讨了施工质量控制措施,以
近年来,随着碳纤维复合材料在军民领域的应用与日俱增,国际上兴起采用结构生色技术制备结构功能一体化的彩色碳纤维的研究。结构色具有饱和度高、亮度高和不易退色等优点,解
电影《肖申克的救赎》是一部经典的励志影片,给我们很深的启示与激励。本文主要解读了该电影传递的希望,从而让观众更好地领会电影的意义。
对建筑工程的现场施工管理和施工管理中所存在的问题进行了分析,针对影响建筑工程施工现场管理的因素,探讨了完善建筑工程施工现场管理的相应措施,对确保施工现场秩序和施工
现实的需要、理念的影响、政策的转变助推着台湾物业管理的成长与成熟。通过对台湾物业管理制度主要内容的分析。得出其借鉴意义在于:重视维护住户的权益;着力推进自治组织建
从教育人本论视域下分析高职高专英语教学引入个性化教学的必要性,提出高职高专英语个性化教学的实施策略。坚持以学习者为中心,尊重学习者在语言潜能、学习动机、个性特征、