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.
Filters
A Structural Analysis Approach to the Evaluation of Fault Coverage for Protocol Conformance Testing
[chapter]
1995
IFIP Advances in Information and Communication Technology
Preserved Fulltext
In this paper, we propose a structural analysis approach to the evaluation of fault coverage of protocol conformance testing based on the finite state machine model. ...
Some of the experimental results are summarized in this paper to show the accuracy of this approach compared with the mutation analysis technique. ...
Especially in the recent years, it has been extensively used in the conformance testing of communication protocols. ...
doi:10.1007/978-0-387-34878-0_33
fatcat:o3zenven3bek7if7jf2bfqiute
Comparative Analysis of Protocol Test Sequence Generation Methods for Conformance Testing
적합성시험을 위한 프로토콜 시험항목 생성방법의 비교분석
2017
The Journal of Korea Institute of Information Electronics 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 2018; you can also visit the original URL.
The file type is application/pdf.
In this paper, a survey of test sequence generation methods for testing the conformance of a protocol implementation to its specification is presented. ...
Then, comparative analysis of the methods is made in terms of test sequence length. Finally, conclusions are given as follows. ...
Systematic test sequence generation for communication protocols in conformance testing has been an active research area. ...
doi:10.17661/jkiiect.2017.10.4.325
fatcat:f6umt7ebyrde7cs7y7bydlcovy
Coverage analysis for conformance testing of communication protocols
1999
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.
some large protocols. ...
Generation of effective test suite and the evaluation of any given test suite are two of the most essential issues in conformance testing. ...
in communication protocol modeling). ...
doi:10.14288/1.0051312
fatcat:6t5tzdbr7zcznnaeyrgbbwtq4m
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. ...
implementation for conformance with the protocol definition. ...
doi:10.1016/j.comnet.2010.05.019
fatcat:glvxu3spb5gczgvskx2h76q2zm
Static analysis of component systems using behavior protocols
2003
Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '03
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.
Static analysis of systems allows to discover errors at design time and to avoid run-time error detection techniques that negatively impact performance of the systems. ...
In this paper, we present the consent operator, which allows (i) to capture errors resulting from incorrect composition of software components, (ii) to test conformance of behavior descriptions and (iii ...
(2) The architecture to frame protocol conformance defined using the consent operator gives more realistic results than the classic definition for certain architectures. ...
doi:10.1145/949344.949378
dblp:conf/oopsla/Adamek03
fatcat:vr3erhar4fgeremjs47wpqlnwi
Static analysis of component systems using behavior protocols
2003
Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '03
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.
Static analysis of systems allows to discover errors at design time and to avoid run-time error detection techniques that negatively impact performance of the systems. ...
In this paper, we present the consent operator, which allows (i) to capture errors resulting from incorrect composition of software components, (ii) to test conformance of behavior descriptions and (iii ...
(2) The architecture to frame protocol conformance defined using the consent operator gives more realistic results than the classic definition for certain architectures. ...
doi:10.1145/949377.949378
fatcat:2qx7p2i5arfbxndqgfleic2xlu
Verifying Interaction Protocol Compliance of Service Orchestrations
[chapter]
2008
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 2017; you can also visit the original URL.
The file type is application/pdf.
In both cases, however, guaranteeing that a service complies with the promised interaction protocol is crucial for deadlock-free communication. ...
In this paper, we present an analysis method and tool for verifying compliance of service orchestrations with service interaction protocols given as UML models. ...
Performing Conformance Analysis. ...
doi:10.1007/978-3-540-89652-4_44
fatcat:xf3huxbwhbei3ahr4bafijqybe
Guest Editorial Design, Implementation, and Analysis of Communication Protocols
2004
IEEE Journal on Selected Areas in 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 2017; you can also visit the original URL.
The file type is application/pdf.
This makes the correctness, robustness, and performance of protocols crucial for communications as that of algorithms for computer sciences. ...
This issue of the JOURNAL ON SELECTED AREAS IN COMMUNICATIONS (JSAC) is devoted to a study of communication protocol design, implementation, analysis and testing with a focus on new concepts, advances, ...
for conformance and interoperability of its implementation. ...
doi:10.1109/jsac.2004.835998
fatcat:h5gzx6qd3rel5fcnobfeo5rgfy
An Open Conformance Test System towards the Standardization of Wireless Sensor Networks
2012
International Journal of Distributed Sensor 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 2017; you can also visit the original URL.
The file type is application/pdf.
The conformance test system is suitable for the protocol evolution and the various hardware interfaces for the sensor nodes. ...
In this paper, the IPv6-based WSN protocols are analyzed and the conformance testing techniques and methods for IPv6-based WSNs are investigated towards the standardization of WSNs. ...
In the protocol conformance testing of mobile communication network, [5, 6] developed the TTCN-3-based conformance testing tools for OMAMMS (Multimedia Messaging Service) and Push-to-talk service over ...
doi:10.1155/2012/931869
fatcat:c3ltptami5h6jnid6vzuakp2ay
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.
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. ...
Finally, we review the practice of protocol conformance testing and state our conclusions. 1.1. ...
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
Development of a Model Driven ACSI Conformance Testing for IEC 61850-Based IED
2018
Smart Grid and Renewable Energy
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.
The IEC 61850-10 presents test items for diagnosing communication specification conformance. ...
In this paper, we propose a model-based diagnostic method for IED communication conformance testing. ...
This hindered the smooth inter-IED communication as each IED uses a different protocol for communication [6] . ...
doi:10.4236/sgre.2018.910014
fatcat:bsj6hbwmorcalkvrf3aohnptfu
An Engine for Automatic Code Generation of Security Protocols in Multiple Languages
2013
The Smart Computing 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.
Our analysis indicates that EACG automatically generates valid, conformable implementation code for a security protocol. ...
Motivated by this problem, we set out to generate security protocol code automatically, with an implementation guaranteed to conform to its design. ...
Then, to demonstrate EACG's validity, we conduct conformance testing for two representative protocols. ...
doi:10.6029/smartcr.2013.03.004
fatcat:zohgjgzn35f5heda4mc4rsuvne
Formal Method to Derive Interoperability Requirements and Guarantees
2013
International Journal of Advanced Computer Science and Applications
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.
This is achieved using static analysis of the conformance classes of the standard and knowledge of the implementation's degree of conformance (DoC) of the telecommunications systems. ...
Interoperability testing is very costly, as it has a complexity of (n**2) for n systems, and somewhat informal. ...
for interoperability analysis is (n**2). ...
doi:10.14569/ijacsa.2013.040102
fatcat:xkbisu5jmjedronslzvvkm3pye
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 ...
It is also the reference for the selection of test cases for conformance testing and the analysis of test results. ...
doi:10.1016/0169-7552(90)90132-c
fatcat:avhuude4dbclfiz5j5yellrqkm
Interoperability Test Suite Derivation for Symmetric Communication Protocols
[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 2017; you can also visit the original URL.
The file type is application/pdf.
Communication protocols are commonly designed in such a way that implementations of the same protocol can be used as peers for communication. Such a protocol is said to be symmetric. ...
This paper deals with the problem of deriving interoperability test suite for control part of symmetric protocols. ...
Special thanks are due to David Cypher who clarified many subtle issues related to the A TM signaling protocol. ...
doi:10.1007/978-0-387-35271-8_4
fatcat:szl76orguzhhhhzm2ldinrscue
« Previous
Showing results 1 — 15 out of 200,680 results