Determining legal method call sequences in object interfaces
Submitted by mernst on Wed, 2011-11-30 14:35
| Title | Determining legal method call sequences in object interfaces |
| Publication Type | Miscellaneous |
| Year of Publication | 2003 |
| Authors | Meghani SV, Ernst MD |
| Abstract | <p>The permitted sequences of method calls in an object-oriented component interface summarize how to correctly use the component. Many components lack such documentation: even if the documentation specifies the behavior of each of the component's methods, it may not state the order in which the methods should be invoked. This paper presents a dynamic technique for automatically extracting the legal method call sequences in a component interface, expressed as a finite state machine. Compared to previous techniques, it increases accuracy and reduces dependence on the test suite. It also identifies certain programming errors.</p> |
| Citation Key | MeghaniE2003 |
Last changed Mon, 2013-06-03 10:27

cs.