CAJ | 학술논문

规约在测试、分析、验证、维护等软件工程的各个阶段都发挥着重要作用。规约挖掘技术试图从程序代码或者程序执行轨迹中自动挖掘软件的规约。寻找相关事件是规约挖掘的第一步，也是最重要的一步。本文给出一种寻找相关事件的静态分析方法，可以把该方法与现有的规约挖掘方法相结合，挖掘更好的规约。
규약재측시、분석、험증、유호등연건공정적각개계단도발휘착중요작용。규약알굴기술시도종정서대마혹자정서집행궤적중자동알굴연건적규약。심조상관사건시규약알굴적제일보，야시최중요적일보。본문급출일충심조상관사건적정태분석방법，가이파해방법여현유적규약알굴방법상결합，알굴경호적규약。
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.