关键词: 面向对象，接口规范，抽象状态图，状态分析，逆向工程，工具

Abstract: Object behavior protocol is important for understanding object interfaces,correct module composition and reuse of classes. In the previous work,we proposed an antumotic method of extracting object behavior protocols based on static source code analysis. The method obtains direct and indirect dependencies between interfacing methods from source code, then constructs interface state diagrams based on intra class dependency relations. In this paper, we further presented the supporting tool for automatic behavior proptocol recovery, including the main tool modules, implementation techniques in each part.

Key words: Object oriented, Interface specification, Abstract state chart, State analysis, Reverse engineering, Supporting tool