Abstract
With an upgraded version of the Tree and Tabular Combined Notation (TTCN) that encompasses concurrency, it is now possible to foresee a new generation of Abstract Test Suites (ATSs) and Means Of Testing (MOT) for communication protocols. Indeed, the inclusion of concurrency/parallelism allows the complete description of ATSs in TTCN, including the upper tester behavior. This paper introduces a new prototype technology that automates the production of MOT from an ATS completely specified in TTCN. This technology is based on an implementation of the operational semantics of TTCN in Estelle.
Chapter PDF
Similar content being viewed by others
Keywords
- Operational Semantic
- Test Engine
- International Standard Organization
- Test Configuration
- Conformance Test
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
International Standard Organization. Information Technology - Open Systems Interconnection - Distributed Transaction Processing, IS 10026, May 1992.
The CPS Forum Technical Framework Specification for Conformance Testing SPAG S.A., 165, Avenue Louise Box 7, B-1050 Brussels, Belgium, 1991.
Advanced Testing Methods (ATM); Guide of the Implementation of an ISO 9646 Compliant Open Test Environment, European Telecommunications Standards Institute, Route de Lucioles, Sophia Antipolis, Valbonne, France, 1993.
International Standards Organization. Open Systems Interconnection - OSI Conformance Testing Methodology and Framework, Part 1–7 ISO/IEC JTC 1 International Standard 9646, December 1992.
International Standards Organization. Open Systems Interconnection - OSI Conformance Testing Methodology and Framework, Part 3: TTCN Extensions, ISO/IEC JTC 1 DAM-1, 1993.
International Standard Organization. Information Processing Systems, Open Systems Interconnection,. Estelle - A Formal Description Technique based on an Extended State Transition Model, IS-9074, 1989.
Sijelmassi, R.; Strausser B., The Distributed Implementation Generator: an Overview and User Guide, Report No. NCSL/SNA - 91/2, National Institute of Standards and Technology, Gaithersburg, MD 20899, U,S.A., January 1991.
Sijelmassi, R.; Strausser B., The Portable Estelle Translator: an Overview and User Guide, Report No. NCSL/SNA - 91/2, National Institute of Standards and Technology, Gaithersburg, MD 20899, U.S.A., January 1991.
Rose, T.M.; Onions, J.O., Robbins, C.J., The ISO Development Environment User’s Manual, Volume 1–4. University of Pennsylvania, Department of Computer and Information Science, Moore School, Attn: David J. Farber, 200 South 33rd Street, Philadelphia, PA 19104–6314, U.S.A.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Hou, L., Favreau, JP., Tang, D. (1995). Implementation of TTCN Operational Semantics in Estelle. In: Mizuno, T., Higashino, T., Shiratori, N. (eds) Protocol Test Systems. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34883-4_21
Download citation
DOI: https://doi.org/10.1007/978-0-387-34883-4_21
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6310-2
Online ISBN: 978-0-387-34883-4
eBook Packages: Springer Book Archive