Investigating code fault proneness using program slicing

使用程序切片调查代码错误倾向

• 批准号: EP/E055141/1
• 负责人: Steve Counsell
• 金额: $ 0.96万
• 依托单位: Brunel University London
• 依托单位国家: 英国
• 项目类别: Research Grant
• 财政年份: 2008
• 资助国家: 英国
• 起止时间: 2008 至 无数据
• 项目状态: 已结题
• 来源: https://gtr.ukri.org/projects?ref=EP%2FE055141%2F1
• 关键词: Investigating; code; fault; proneness; using

This feasibility study explores the relationship between program slices and faults. The aim is to investigate whether the characteristics of program slices can be used to identify fault-prone code hotspots. Slicing metrics and dependence clusters are used to characterise the slices in a software component. The relationship between the characteristics of those slices in the component and the faults in that component are then analysed. Identifying fault-prone code is difficult and reliable predictors of fault-proneness are not widely reported in the literature. Program slicing is an established software engineering technique to support the detection and correction of known faults. Once a problem has emerged, slicing enables all statements that could have caused that problem to be identified and extracted. This extracted code makes the identification and removal of the fault much easier. We propose to investigate whether slicing could also be a good predictor of latent faults that have not yet caused a problem. The results of this study will show whether the use of program slicing can be extended as a reliable tool to predict fault-prone code. Our previous proof of concept study suggests that this investigation is viable and that slicing may offer valuable insights into fault-proneness.

这项可行性研究探索了程序切片和错误之间的关系。其目的是调查程序片的特征是否可以用来识别容易出错的代码热点。切片度量和依赖关系簇被用来表征软件组件中的切片。然后分析了组件中这些切片的特征与组件中的故障之间的关系。识别容易出错的代码是困难的，并且可靠的错误倾向预测指标在文献中没有广泛报道。程序切片是一种成熟的软件工程技术，用于支持检测和纠正已知故障。一旦出现问题，切片就可以识别并提取可能导致该问题的所有语句。这个提取的代码使得识别和删除故障变得容易得多。我们建议调查切片是否也可以很好地预测尚未造成问题的潜在故障。这项研究的结果将表明，程序切片的使用是否可以扩展为预测容易出错的代码的可靠工具。我们之前的概念验证研究表明，这项调查是可行的，切片可能为错误倾向提供有价值的见解。

项目成果

A Theoretical and Empirical Analysis of Three Slice-Based Metrics for Cohesion

• DOI: 10.1142/s0218194010004888
• 发表时间: 2010-08
• 期刊: Int. J. Softw. Eng. Knowl. Eng.
• 作者: S. Counsell;T. Hall;David Bowes

Evolutionary Cohesion Metrics: The Empirical Contradiction

进化凝聚力度量：经验矛盾

• 发表时间: 2009
• 作者: S Counsell

An experimental search-based approach to cohesion metric evaluation

• DOI: 10.1007/s10664-016-9427-7
• 发表时间: 2016-04
• 期刊: Empirical Software Engineering
• 影响因子: 4.1
• 作者: Mel Ó Cinnéide;Iman Hemati Moghadam;M. Harman;S. Counsell;L. Tratt

Program Slice Metrics and Their Potential Role in DSL Design

程序切片指标及其在 DSL 设计中的潜在作用

• 发表时间: 2009
• 作者: S Counsell