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

P0702693找不到什么：揭示软件中被忽视条件的新方法Andy Podgurski探索了一种检测软件中被忽视条件的新方法，该方法基于这样的想法，即关于被忽视条件的重要线索通常分布在项目代码库中。线索被表示为程序依赖图的图子式，它对特定条件得到适当处理的编程模式进行建模。PDG子句允许对各种各样的这样的模式进行简明的建模，并且对可以找到这些模式的上下文没有不必要的约束。模式是通过挖掘依赖图的数据库来识别递归图子图来发现的，假设编程模式使用得越多，它就越有可能是正确的。在识别出假定正确的模式之后，再次搜索图形数据库以识别对应于忽略条件的模式违规。该方法不同于相关的缺陷检测工作，它关注被忽略的条件，它使用依赖图子集来表示编程模式，并且它使用图挖掘技术来识别模式。该方法将通过应用它来揭示各种开源项目中被忽视的情况，从而对其进行评估和改进。

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.