基于频谱的模型转换错误定位方法研究

来源 :浙江理工大学 | 被引量 : 0次 | 上传用户:flytraker
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
模型驱动的软件开发方式(Model-Driven Development,MDD)目前被广泛应用于面向服务架构的信息系统中,而模型转换作为MDD中的重要环节和核心技术,它的正确性直接影响了基于MDD开发的软件系统的成功。随着模型转换复杂性增加和规模的扩大,模型转换的可靠性保障越来越困难,调试模型转换程序也面临着许多挑战,而高效准确的错误定位方法能够帮助提高调试效率,从而有效地保障模型转换的质量。目前,研究人员提出了一些自动化的错误定位方法来提高模型转换的调试效率,其中基于频谱的错误定位技术(Spectrum-Based Fault Localization,SBFL)作为一种具有代表性的动态分析方法,主要利用规则的覆盖信息和执行结果来估计每个规则可能出错的概率。然而由于模型转换的特性,覆盖信息中假阴性和假阳性结果的普遍存在导致了频谱方法的定位结果并不准确,因此我们考虑是否可以通过挖掘不同测试模型的覆盖范围信息,来进一步地提高错误定位的准确性。本文提出一种基于测试模型影响度来对SBFL进行优化的方法,并将其应用于模型转换的错误定位中。该方法根据测试模型的覆盖范围,来评估不同测试模型对错误定位的影响度,进而基于不同影响度的测试模型的覆盖规则信息优化频谱方法的错误定位结果。我们将本文方法与SBFL进行比较,以开源的模型转换项目为例验证方法的可行性和有效性。本文的主要工作内容可归纳如下:(1)考虑模型转换中规则继承的关系对错误定位准确性的影响。通过静态分析规则之间的继承关系,考虑错误传递的影响,进一步的计算规则之间的继承权重,以此来解决在频谱方法下,由于可疑度值相同而难以区分真正的错误规则的情况。(2)通过动态分析模型转换执行过程中,不同测试模型下的规则覆盖范围信息,来评估不同测试模型的错误定位能力,为不同影响度的测试模型分配不同的权重值。其中覆盖范围越小的失败的测试模型被分配更多的权重,根据网页排名算法迭代计算得到规则权重,进而基于加权模型的覆盖信息调整频谱方法的定位结果,以提高错误定位的准确度。(3)设计了相关实验来评估方法的可行性和定位效率。我们选取了 12个被广泛应用于错误定位领域的可疑度计算公式,在三个不同规模大小的开源模型转换项目上进行了实验,实验结果表明相比于SBFL方法,本文方法的错误定位效率平均情况下能够提高25%。
其他文献
Markov跳变系统作为一类特殊的混杂系统,常用来描述因受到外部压力的改变、工作环境的迁移、人为改变系统工作断点和系统内部互相关联的状态发生突变、工作元件的损坏等因素
随着世界人口的急速增长和城市化进程的快速发展,大型公共场所的人群安全问题引起社会广泛关注。一方面,由于大型公共场所空间范围较大,基于单视角视频的人数估计方法已经不
圆形件下料问题广泛存在于许多制造行业中,利用先进的计算机辅助排样技术替代传统的人工排样方式,能够有效提高材料的利用率,对提高企业的生产效率,降低生产成本具有十分重要
异常检测已经被广泛应用于网络安全、模式识别、数据挖掘等应用领域。异常检测旨在发现正常模式中的异常模式。无监督异常检测方法通过对样本的概率分布估计来发现异常数据,
网络的飞速发展以及移动设备的普及推动了基于位置的社交网络(Location Based Social Network,LBSN)平台的使用,为个性化的兴趣点(Point-of-Interest,POI)推荐系统带来了巨大
芒果目标产量预测对于了解芒果产量变化趋势、规划发展芒果生产,加强气候灾害的防御和治理能力,推进农业信息化有着重要意义。影响芒果产量的相关气象要素繁多,它们与产量之
随着空间数据和数据库的迅速发展和广泛应用,空间数据挖掘越来越重要。在地理空间中,经常位于一起的空间特征子集称为空间(正)co-location模式。虽然全连接、部分连接以及无
电容层析是过程层析技术中被广泛应用于两相流和多相流的一种检测技术,由于其具有结构简单、无辐射和低成本的特点,目前在石油和天然气运输方面工业前景广阔,研究其发展具有
阿尔茨海默病(Alzheimer’s disease,AD)是老年期认知障碍疾病中最常见的类型,该病常起病隐匿,随着病情进展会对老年人的身体健康产生严重危害,如何通过有效的方式对AD患者进
酸性磷酸酶(ACP)是一种广泛存在于生命体内的水解酶,参与多种生理过程。作为前列腺癌等疾病的血清标志物,ACP活性监测对相关疾病的早期诊断具有重要的临床意义。现有的众多ACP