应用过程间分析技术的并行错误模式匹配方法
Concurrency Bug Pattern Matching Based on Interprocedural Analysis Technology

过程间分析技术通常用于静态检测并行程序中的错误模式实例，目前已成为静态测试、错误模式匹配等领域的研究热点。然而，现存的过程内分析技术对于并行错误的静态测试效果尚不够理想。为此，文章试图运用过程间分析技术对并行程序进行"错误模式"的匹配。通过遍历构建的全局控制流图，分析图中单个节点所包含的语句，对其中可能出现错误的程序进行了错误模式的匹配，最终得出"错误定位"的结果。通过在实际开源系统中的应用，结果表明文中所提出的方法效果良好，具有较好的错误定位能力。
Interprocedural analysis technology, as statically detecting bug pattern instances in concurrency programs, becomes the hot topic of static testing, bug pattern matching and other areas. At present, the intraprocedural analysis technology doesn't have a desired effect in detecting concurrency bugs. Focused on this problem,this paper matched the concurrency program with bug patterns by using interprocedural analysis technology. Firstly, built the overall control flow graph and analyzed the statements that each node contained, then matched the problem program with the bug patterns. At last, received the fault localization results. According to the testing results in the actual open source systems, this method has a good ability to locate software faults