Filters








200,680 Hits in 2.9 sec

A Structural Analysis Approach to the Evaluation of Fault Coverage for Protocol Conformance Testing [chapter]

Mingyu Yao, Alexandre Petrenko, Gregor v. Bochmann
1995 IFIP Advances in Information and Communication Technology  
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
적합성시험을 위한 프로토콜 시험항목 생성방법의 비교분석

Chul Kim
2017 The Journal of Korea Institute of Information Electronics and Communication Technology  
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

Jinsong Zhu
1999
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

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.  ...  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

Jiri Adamek
2003 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '03  
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

Jiri Adamek
2003 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '03  
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]

Andreas Schroeder, Philip Mayer
2008 Lecture Notes in Computer Science  
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

E. Brinksma, R. Hao, D. Lee, R.E. Miller, C.-T. Lee
2004 IEEE Journal on Selected Areas in Communications  
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

Zhonghua Zhao, Wei Huangfu, Linmin Sun, Zhiqiang Shi, Wei Gan
2012 International Journal of Distributed Sensor Networks  
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

Gregor V. Bochmann, Alexandre Petrenko
1994 Proceedings of the 1994 international symposium on Software testing and analysis - ISSTA '94  
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

Byungtae Jang, Alidu Abubakari, Namdae Kim
2018 Smart Grid and Renewable Energy  
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

Xinghua Li
2013 The Smart Computing Review  
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

Hazem El-, Magdi Amer, Ihab Talkhan
2013 International Journal of Advanced Computer Science and Applications  
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

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  ...  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]

Sungwon Kang, Myungchul Kim
1997 Formal Description Techniques and Protocol Specification, Testing and Verification  
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