A component protocol mining method, device and system
Patent Information
- Authority / Receiving Office
- CN · China
- Patent Type
- Patents(China)
- Current Assignee / Owner
- WUHAN INSTITUTE OF TECHNOLOGY
- Publication Date
- 2017-10-10
- Estimated Expiration
- Not applicable · inactive patent
Smart Images

Figure 1 
Figure 2 
Figure 3
Abstract
Description
technical field
[0001] The present invention relates to the technical field of program mining, in particular to a component protocol mining method, device and system. Background technique
[0002] Timing constraints usually exist between interface functions of software components. The timing constraints that need to be followed when using a software component constitute a protocol for that component, the component protocol. This protocol specifies the sequence of calls between interface functions. As shown below, a timing constraint of classes java.util.Stack and java.util.Iteration are shown respectively:
[0003] (1) Before calling the peek() function of the Stack class to view the top element of the stack, the push() function should be called to insert an element into the stack;
[0004] (2) Before calling the next() function of the Iteration class to get the next element, the hasNext() function should be called to check whether the next element exists.
[0005] This ...