A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Eight years of experience in test generation from FDTs using TVEDA
[chapter]
1997
Formal Description Techniques and Protocol Specification, Testing and Verification
Preserved Fulltext
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]
1995
IFIP Advances in Information and Communication Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2003
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
1986
Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols - SIGCOMM '86
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
1990
Computer networks and ISDN systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
1986
Computer communication review
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2000
Computer Communications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
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
1994
Proceedings of the 1994 international symposium on Software testing and analysis - ISSTA '94
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
1997
Formal Description Techniques and Protocol Specification, Testing and Verification
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2003
Information and Software Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
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]
1996
Protocol Test Systems VIII
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2010
Computer Networks
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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
1991
Computer Communications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2008
2008 34th Annual Conference of IEEE Industrial Electronics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2003
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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