Finding What's Not There: A New Approach to Revealing Neglected Conditions in Software

p0702693发现不存在的东西：揭示软件中被忽视条件的新方法andy podgurski本文探索了一种检测软件中被忽视条件的新方法，该方法基于关于被忽视条件的重要线索通常分布在整个项目代码库中的思想。线索被表示为程序依赖图的小图，它对适当处理特定条件的编程模式进行建模。PDG minor允许对各种各样的模式进行简洁的建模，并且不会对可能找到模式的上下文产生不必要的约束。模式是通过挖掘依赖图数据库来识别重复出现的图的次要部分来发现的，假设使用的编程模式越多，它就越有可能是正确的。在识别出假定正确的模式后，再次搜索图数据库以识别与被忽略条件相对应的模式违规。这种方法与缺陷检测的相关工作的区别在于，它关注被忽略的条件，使用依赖图子来表示编程模式，以及使用图挖掘技术来识别模式。将对该方法进行评估和改进，将其应用于揭示各种开源项目中被忽视的条件。

P0702693Finding What's Not There: A New Approach to Revealing Neglected Conditions in SoftwareAndy PodgurskiA new approach to the detection of neglected conditions in software is explored that is based on the ideas that vital clues about neglected conditions are often distributed throughout a project code base. Clues are represented as graph minors of program dependence graphs, which model programming patterns in which particular conditions are handled properly. PDG minors permit a wide variety of such patterns to be modeled concisely and without unnecessary constraints on the contexts in which the patterns may be found. Patterns are found by mining a database of dependence graphs to identify recurring graph minors, on the assumption that the more a programming pattern is used, the more likely it is to be correct. After putatively correct patterns are identified, the graph database is searched again to identify pattern violations corresponding to neglected conditions. This approach is distinguished from related work on defect detection by its focus on neglected conditions, by its use of dependence graph minors to represent programming patterns, and by its use of graph mining technology to identify patterns. The approach will be evaluated and refined by applying it to reveal neglected conditions in a variety of open-source projects.