×

DynaMine公司

swMATH ID: 33951
软件作者: Livshits,B.,Zimmermann,T。
描述: DynaMine:通过挖掘软件修订历史来发现常见错误模式。最近,人们非常关注解决软件错误,例如操作系统驱动程序错误或安全错误。然而,还有许多其他不太为人所知的特定于单个应用程序或API的错误,这些违反特定于应用程序的编码规则的行为导致了许多错误。在本文中,我们提出了DynaMine,这是一种分析源代码签入的工具,可以找到高度相关的方法调用以及常见的错误修复,从而自动发现特定于应用程序的编码模式。通过挖掘发现的潜在模式被传递给动态分析工具进行验证;最后,将动力分析结果提供给用户。DynaMine中使用的修订历史挖掘和动态分析技术的组合证明,在应用于非常大的应用程序时,在发现新的特定于应用程序的模式和发现错误方面都是有效的,这些应用程序背后有许多年的开发和调试工作。我们分析了Eclipse和jEdit,这两个应用广泛、成熟、高度可扩展的应用程序由超过3600000行代码组成。通过挖掘修订历史,我们发现了56个以前未知的、高度特定于应用程序的模式。其中,21个被动态确认为非常可能的有效模式,共发现263个模式违规。
主页: https://dl.acm.org/doi/10.1145/1095430.1081754
相关软件: 自旋;德克萨斯州;PPTL_SPIN(PPTL_SPIN);PPT矿工;SABER公司;PQL公司;自由基;代码2seq;雅高;DBpedia(数据库);github;蟒蛇;图4代码;FAMIX公司;Smalltalk公司;PR-经理;电子稳定控制系统/Java
引用于: 1文件

4位作者引用

1 段振华
1 宁、新亚
1 田聪
1 张楠

在1个字段中引用

1 计算机科学(68-XX)

按年份列出的引文