中文摘要：

规约在测试、分析、验证、维护等软件工程的各个阶段都发挥着重要作用。规约挖掘技术试图从程序代码或者程序执行轨迹中自动挖掘软件的规约。寻找相关事件是规约挖掘的第一步，也是最重要的一步。本文给出一种寻找相关事件的静态分析方法，可以把该方法与现有的规约挖掘方法相结合，挖掘更好的规约。

英文摘要：

API specifications encode legal sequences of method invocations. Various specification mining techniques have been devised to automatically infer them from programs. Identifying related methods which possibly obey some meaningful temporal specifications is one of the most important problems for these techniques. We propose a static analysis approach to find related methods of object-oriented components when their source code is available.