Filters








408 Hits in 6.2 sec

Eight years of experience in test generation from FDTs using TVEDA [chapter]

Roland Groz, Nathalie Risser
1997 Formal Description Techniques and Protocol Specification, Testing and Verification  
Both technical and non-technical causes for evolution are analysed. We provide data on two dozens of industrial applications of FDT-based test generation in our organization.  ...  This paper relates France Telecom experience with automatic test generation from FDT. We describe our approach and the evolution of tools and practice over 8 years.  ...  For the SDLC Protocol, three test suites were generated from one single specification.  ... 
doi:10.1007/978-0-387-35271-8_29 fatcat:ib2uxphogrcqhehheq6bcp6u3i

Verification by abstraction as a preamble for interoperability test suite generation [chapter]

Pierre de Saqui-Sannes, Jean-Pierre Courtiat, René Casadessus
1995 IFIP Advances in Information and Communication Technology  
In [2], we proposed a verification by abstraction approach for protocol specifications written in Estelle*, an enhanced Estelle with a rendezvous mechanism.  ...  Abstract test suites are generated, categorized in Must and May tests, and translated to TTCN.  ...  ACKNOWLEDGEMENTS We would like to thank Khalil Drira for fruitful discussions on testing theory and for making available the tool, PSTV, to us for use. Contributions from Vitorio B.  ... 
doi:10.1007/978-0-387-34867-4_10 fatcat:34xak7r6mfcodkjap4hkike3tu

UNIX STREAMS Generation from a Formal Specification [chapter]

Paweł Rychwalski, Jacek Wytrębowicz
2003 Lecture Notes in Computer Science  
We have exercised this idea using Estelle formal specification technique. The generator was written for Linux system.  ...  This paper describes a new idea of rapid protocol implementation starting from its formal specification, namely to generate Unix STREAMS modules.  ...  Acknowledgment We would like to thank Mr Marek Jóźwik for his help in realization of efficiency tests, especially those performed on Solaris platform.  ... 
doi:10.1007/978-3-540-39979-7_1 fatcat:zqm6z2yl5zb75j2kyvl5k462cq

Formal specification-based conformance testing

B Sarikaya
1986 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols - SIGCOMM '86  
A draft standard formal specification of the Class 4 transport protocol in Estelle is taken as the starting point for test design.  ...  The paper discusses the "se of formal specifications for conformance testing of OS1 protocols and divides the discussion in two parts: test design and tester design.  ...  The application layer protocols require a different test approach since there is often no direct access to the application service primitives.  ... 
doi:10.1145/18172.18199 dblp:conf/sigcomm/Sarikaya86 fatcat:4yiwlmjvb5e2xiukvcyupkl62e

Protocol specification for OSI

Gregor V Bochmann
1990 Computer networks and ISDN systems  
In this context, the protocol specifications are of particular importance, since they represent the standards which are the basis for the implementation and testing of compatible OSI systems.  ...  Special attention is given to the specification formalisms used for OSI protocol and service descriptions, including semi-formal languages such as state tables, ASN.1 and TTCN, and formal description techniques  ...  (b) Automatic generation of program source code from FDT specifications: As explained in [11] , the abstract formal protocol specification must usually be refined before the program generation tool can  ... 
doi:10.1016/0169-7552(90)90132-c fatcat:avhuude4dbclfiz5j5yellrqkm

Formal specification-based conformance testing

B Sarikaya
1986 Computer communication review  
A draft standard formal specification of the Class 4 transport protocol in Estelle is taken as the starting point for test design.  ...  The paper discusses the "se of formal specifications for conformance testing of OS1 protocols and divides the discussion in two parts: test design and tester design.  ...  The application layer protocols require a different test approach since there is often no direct access to the application service primitives.  ... 
doi:10.1145/1013812.18199 fatcat:iadptcylsvcsdot45nnto26a7m

A success story of formal description techniques: Estelle specification and test generation for MIL-STD 188-220

M.A. Fecko, M.Ü. Uyar, P.D. Amer, A.S. Sethi, T. Dzik, R. Menell, M. McMahon
2000 Computer Communications  
This paper presents a success story of specifying a complex real-life protocol in Estelle and generating test sequences from the formal specification. 188-220 is being developed in the US Army, Navy and  ...  Marine Corps systems for mobile combat network radios.  ...  ., Annapolis, MD, for his valuable suggestions and comments. We are also grateful to the anonymous reviewers for providing many insightful comments that have improved the quality of this paper.  ... 
doi:10.1016/s0140-3664(99)00246-7 fatcat:3s4lcu3cxncwdhvlp673bf2nh4

Protocol testing

Gregor V. Bochmann, Alexandre Petrenko
1994 Proceedings of the 1994 international symposium on Software testing and analysis - ISSTA '94  
We review the major results in the area of protocol testing and discuss in which way these methods may also be relevant in the more general context of software testing. servation and synchronization problems  ...  Since protocols are implemented in software and/or hardware, the question arises whether the existing hardware and software testing methods would be adequate for the testing of communication protocols.  ...  Acknowledgments: This research was supported by the IDACOM-NSERC-CWARC Industrial Research Chair on Communication Protocols at the University of Montreal. The authors wish to  ... 
doi:10.1145/186258.187153 dblp:conf/issta/BochmannP94 fatcat:cidcy7q36nfhte7sthilvgbw3y

On the Influence of Semantic Constraints on the Code Generation from Estelle Specifications [chapter]

Ralf Henke, Andreas Mitschele-Thiel, Hartmut König
1997 Formal Description Techniques and Protocol Specification, Testing and Verification  
In the paper, we discuss for the FDT Estelle how semantical constraints can influence the efficiency of the generated code.  ...  Implementations automatically derived from formal descriptions often do not fulfill the performance requirements of real-life applications. There are several reasons for this.  ...  Because of that, the model is well suited for the layer-integrating implementation of protocols. Estelle specifications do not allow a direct mapping on activity threads.  ... 
doi:10.1007/978-0-387-35271-8_25 fatcat:rj3sv6zzk5bmzhauh26ick224y

Experience in developing and testing network protocol software using FDTs

M. Ümit Uyar, Mariusz A. Fecko, Ali Y. Duale, Paul D. Amer, Adarshpal S. Sethi
2003 Information and Software Technology  
The formal test generation effort identified several theoretical problems for wireless communication protocols (possibly applicable to network protocols in general): (1) the timing constraint problem,  ...  Estelle is used both as the formal specification language for MIL-STD 188-220 and the source to automatically generate conformance test sequences.  ...  Estelle [40] was chosen as the formal specification language to define the protocols in MIL-STD 188-220, from which the conformance tests were automatically generated.  ... 
doi:10.1016/s0950-5849(03)00062-4 fatcat:5w755ojwrrhshha5gvil4g2c4q

Two approaches linking a test generation tool with verification techniques [chapter]

Marylène Clatin, Roland Groz, Marc Phalippou, Richard Thummel
1996 Protocol Test Systems VIII  
This paper presents two methods implemented in a test generation tool to compute significant feasible test paths including parameter values for input-output events.  ...  The second method consists in linking the test generation tool with a tool permitting sophisticated types of reachability analysis. Preliminary results on non-trivial protocols are commented.  ...  Automatic test suite generation for protocols is based on a formal description, in languages such as Estelle, Lotos or SDL.  ... 
doi:10.1007/978-0-387-34988-6_10 fatcat:jdpbuufisvg4zhgjisruv56rom

Some notes on the history of protocol engineering

Gregor v. Bochmann, Dave Rayner, Colin H. West
2010 Computer Networks  
Then it concentrates on the development of protocol engineering, that is, the methods for the specification of communication protocols and services, the verification of protocols and their implementation  ...  The standardization of Formal Description Techniques in the 1980ies is discussed in the following section, as well as the standardization of conformance testing.  ...  Within ISO itself, several standards were produced for test suites for particular protocols, each test suite being constructed in accordance with ISO/IEC 9646.  ... 
doi:10.1016/j.comnet.2010.05.019 fatcat:glvxu3spb5gczgvskx2h76q2zm

Estelle-based test generation tool

Behçet Sarikaya, Behdad Forghani, Srinivas Eswara
1991 Computer Communications  
a test design tool, using an extended FSM model, for functional analys1s and test derivation of protocols A test design tool for functional analysis and test derivation of protocols formally specified  ...  From the control graph the tool generates transition tours, and then test sequences are derived from the transition tour to test each function.  ...  ACKNOWLEDGEMENTS This research was supported in part by the Natural Sciences and Engineering Research Council of Canada.  ... 
doi:10.1016/0140-3664(91)90111-d fatcat:5teyqaq225dxhh2cdt64ssu7fe

Implementing IEC 60870-5 data link layer for an open and flexible remote unit

E. Dorronzoro, I. Gomez, A.V. Medina, J. Benjumea, G. Sanchez, S. Martin, D. Oviedo
2008 2008 34th Annual Conference of IEEE Industrial Electronics  
This paper presents an open source implementation for a data-link layer protocol specified in IEC 60870, protocol specification for telecontrol networks.  ...  It has been tested over LEON an embedded system with a Linux based operating system. Protocol engineering methods have been used in order to implement the protocol.  ...  From FSMs is easy to use a formal language like Estelle. Estelle is a FDT defined by the International Organization for Standardization (ISO) for protocol specifications [5] .  ... 
doi:10.1109/iecon.2008.4758344 fatcat:rgg5se3e3reybdtkyjdelli7fe

Testing of 3G 1xEV-DV Stack — A Case Study [chapter]

Ira Acharya, Hemendra Kumar Singh
2003 Lecture Notes in Computer Science  
This paper outlines the various challenges that are faced in the protocol testing of mobile communication products.  ...  An evaluation of formal languages such as SDL and TTCN in the design, development and testing phases of such products is also included in the paper.  ...  The complementary protocol stack bypasses the Physical Layer completely and eliminates hardware dependencies while testing the protocol stack and the application layers.  ... 
doi:10.1007/3-540-44830-6_3 fatcat:f3ynjy7onjedrlsfklwwnmqqru
« Previous Showing results 1 — 15 out of 408 results