Abstract
This paper presents a new approach to the task of passive protocol tracing. The method called FollowSM for the first time meets all requirements of practical in-field use, including the checking of time constraints, the independence of the current state when starting the analysis, the admittance of nondeterminism, and on-line real time analysis capability. This is achieved by a suitable modeling of the implementation under test and the generalization of the tracing algorithm to operate on state information with any degree of uncertainty. FollowSM has been implemented as a prototype system and proved capable of minimizing the time required for troubleshooting.
Chapter PDF
Similar content being viewed by others
References
A+88] A. V. Aho et al. An optimization technique for protocol conformance test generation based on UIO sequences and rural chinese postman tours. In Protocol Specification, Testing, and Verification, VIII [1FI88], pages 75–86.
Gregor V. Bochmann. Finite state description of communication protocols. Computer Networks, 2: 361–372, 1978.
Bri88] Ed Brinksma. A theory for the derivation of tests. In Protocol Specification, Testing, and Verification, VIII [IFI88], pages 63–74.
O. B. Bellal, G. v. Bochmann, M. Dubuc, and E Saba. Automatic test result analysis for high-level specifications. Technical report #800, University of Montreal, Department WO, 1991.
CCITT. Recommendation Z.100: Specification and Description Language SDL. Contribution Com X-R15-E, CCITT, 1987.
Samuel T. Chanson and Jeffrey K. H. Lo. Open systems interconnection passive monitor OSI-PM. In Protocol Test Systems 3, pages 423–442. University of British Columbia, 1991.
EvB95] S. Alan Ezust and Gregor v. Bochmann. An automatic trace analysis tool generator for Estelle specifications. Computer Communication Review,25(4):175–184, October 1995. Proceedings of the ACM SIGCOMM 95 Conference, Camebridge.
FvB91] S. Fujiwara and G. v. Bochmann. Testing non-deterministic statemachines with fault coverage. In Protocol Test Systems 4 [1F191].
IFIP. Proceedings of the IFIP WG 6.1 8th International Symposium on Protocol Specification, Testing, and Verification (1988), Amsterdam, 1988. North-Holland
IFIP. Protocol Test Systems 4, Proceedings of the 4th International Workshop on Protocol Test Systems, Amsterdam, 1991. Elsevier Science Publishers, North Holland.
ISO. ESTELLE: A formal description technique based on an extended state transition model. International Standard ISO/IS 9074, ISO, 1987.
ISO. LOTOS: Language for the temporal ordering specification of observational behaviour. International Standard ISO/IS 8807, ISO, 1987.
ISO. OSI conformance testing methology and framework. International Standard ISO/IS-9646, ISO, 1991.
ITU-T. B-ISDN ATM Adaption Layer - Service Specific Connection Oriented Protocol (SSCOP). Draft new Recommendation Q.2110, ITU-T, 1994.
ITU-T. Digital Subscriber Signalling System No. 2 (DSS 2). User network interface (UNI) layer 3 specification for basic call/connection control. Draft new Recommendation Q.2931, ITU-T, 1994.
Claude Jard and Gregor v. Bochmann. An approach to testing specifi- cations. The Journal of Systems and Software, 3: 315–323, 1983.
M. C. Kim, Samuel T. Chanson, and Son T. Vuong. Protocol trace analysis based on formal specifications. In K. R. Parker, editor, Formal Description Techniques (FORTE), IV, pages 393–408. IFIP, North-Holland, 1992.
D. Y. Lee and J. Y. Lee. A well-defined Estelle specification for the automatic test generation. IEEE Transactions on Computers, 40 (4): 526–542, April 1991.
Ina Kathrin Schieferdecker. Performance-Oriented Specification of Communication Protocols and Verification of Deterministic Bounds of their Qos Characteristics. PhD thesis, Technical University of Berlin, Department of Computer Science, November 1994.
TKB91] J. Tretmans, P. Kars, and E. Brinksma. Protocol conformance testing: A formal perspective on ISO 9646. In Protocol Test Systems 4 [1FI91].
Hasan Ural and Robert L. Probert. Step-wise validation of communication protocols and services. Computer Networks and ISDN Systems, 11 (3): 183–202, March 1986.
Gregor v. Bochmann and Alexandre Petrenko. Protocol testing: Review of methods and relevance for software testing. In Proceedings of the 1994 International Symposium on Software Testing and Analysis (ISSTA), ACM SIGSOFT Software Engineering Notes, Special issue, pages 109–124, August 1994.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Musial, M. (1997). On-line timed protocol trace analysis based on uncertain state descriptions. In: Mizuno, T., Shiratori, N., Higashino, T., Togashi, A. (eds) Formal Description Techniques and Protocol Specification, Testing and Verification. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35271-8_21
Download citation
DOI: https://doi.org/10.1007/978-0-387-35271-8_21
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5260-1
Online ISBN: 978-0-387-35271-8
eBook Packages: Springer Book Archive