Abstract
This paper provides a first experience report on a formal based testing methodology, which we applied on the ATM Adaptation Layer Type 5 (AAL5). A feasibility study is given, which shows the applicability of a formal description technique, namely LOTOS [2], to be suitable as a testing notation. In this approach it is one of our intentions to be able to check a test suite against a formal specification without leaving the language (and its formal semantics) domain.
The methods and tools presented in this paper are addressing the following aspects:
-
validation of (possibly manual written) abstract test cases with formal data specification,
-
the generation of the corresponding executable test cases,
-
the test operation, and
-
the visualized animation of the test execution trace.
As a prerequisite, a formalized, but simplified, protocol or service specification is expected, which will be also used for the analysis of the test execution. The generation (creation) of the LOTOS test cases is not addressed here.
This testing environment has been partially funded by the European RACE Project R2088 TOPIC (Tool Set for Protocol and Advanced Service Verification in IBC Environments).
Chapter PDF
Similar content being viewed by others
Keywords
References
B. Baumgarten, A. Gießler; OSI Conformance Testing Methodology and TTCN, North-Holland, Amsterdam, 1994.
ISO, IS 8807, Information Processing Systems, Open Systems Interconnection, LOTOS-A Formal Technique Based on the Temporal Ordering of Observational Behaviour, July, 1988.
ISO/IEC DIS 8824–1, ASN.1. Abstract Syntax Notation One — Part 1, Specification of Basic Notation,1992.
ISO/IEC IS 9646, Information Retrieval, Transfer and Management for OSI: Conformance Testing Methodology and Framework, (1991).
RACE Project R2088 TOPIC, Integration of the Toolset Prototypes (V2),Deliverable 16, Ref. R2088/GMD/SEM/DS/L/016/b4, 1994.
RACE Project R2088 TOPIC, Verification Tools (V2),Deliverable 18, Ref. R2088/GMD/SEM/DS/L/018/bl, 1994.
RACE project R2088 TOPIC, Experience Report of the Verification Demonstrator,Deliverable 20, Ref. R2088/CLE/TEE/DS/P/020/b1, December 15th. 1994.
ESPRIT Project 2304 LOTOSPHERE, LITE User Manual, Ref. Lo/WP2/N0034/V08, 1992.
Sun Microsystems, Network Programming Guide, Part Number 800–3850–10, 1990.
ISODE, The ISO Development Environment: User’s Manual Vol. 1, Application Services, and Vol. 4, The Applications Cookbook, 1991
DEMON, Reference Manual V3.0, Mari Computer Systems Ltd, 1993.
Architecture Projects Management Limited, ANSAware Version 4.0 Manual Set, Cambridge, UK, March 1992.
FORE Systems Inc., ATM Devices and Network Interfaces, Manual Rel. 3.0, June 1994.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Burmeister, J., Rennoch, A. (1996). Application of a LOTOS based Test Environment on AAL5. In: Cavalli, A., Budkowski, S. (eds) Protocol Test Systems VIII. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34988-6_4
Download citation
DOI: https://doi.org/10.1007/978-0-387-34988-6_4
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6312-6
Online ISBN: 978-0-387-34988-6
eBook Packages: Springer Book Archive