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
.
Filters
Interoperability Test Generation and Minimization for Communication Protocols Based on the Multiple Stimuli Principle
2004
IEEE Journal on Selected Areas in Communications
This paper presents an automatic test generation and minimization method for testing interoperability of communication protocols such as the asynchronous transfer mode/broadband integrated services digital ...
Also, our test minimization method reduces the interoperability test cases by about 94% in the case of the ATM signaling protocol with the same transition coverage. ...
In Section III, we define formal models for communication protocols and interoperability test cases. ...
doi:10.1109/jsac.2004.836015
fatcat:ifguk4hvfbcihdz7hepjjnw3ci
A formal method to real-time protocol interoperability testing
2008
Science in China Series F Information Sciences
In this paper, a formal method to realtime protocol interoperability testing is proposed. ...
The proposed theory and method are then applied in interoperability testing of IPv6 neighbor discovery protocol to show the feasibility of this method. protocol testing, interoperability testing, real-time ...
In the aspect of formal framework of protocol interoperability testing, ref. [2] proposed a TTCN2-based framework for interoperability testing; ref. ...
doi:10.1007/s11432-008-0153-7
fatcat:nkb2lzxevzfypasi7xqeqxqme4
Report on the standardization project "Formal methods in conformance testing"
[chapter]
1996
Testing of Communicating Systems
This paper presents the latest developments in the "Formal Methods in Conformance Testing" (FMCT) project of ISO and ITU-T. ...
Moreover, we indicate some of its strong and weak points, and we give some directions for future work on FMCT. ...
Numerous people were and are still involved in this work. ...
doi:10.1007/978-0-387-35062-2_21
fatcat:tt6algrlanhjhcarnslsq224ty
Verification by abstraction as a preamble for interoperability test suite generation
[chapter]
1995
IFIP Advances in Information and Communication Technology
Abstract test suites are generated, categorized in Must and May tests, and translated to TTCN. ...
In this paper, we indicate how interoperability test suites can be derived from the quotient automaton. We use a novel approach introduced by Drira in [1] for Labeled Transition System. ...
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
Interoperability and Integration Testing Methods for IoT Systems: a Systematic Mapping Study
[article]
2020
arXiv
pre-print
The results suggest that studies mainly focus only on general testing methods, which can be applied to integration and interoperability testing of IoT systems; thus, there are research opportunities to ...
Until now, there has been no systematic mapping study dedicated to the topic of interoperability and integration testing of IoT systems specifically; therefore, we present such an overview in this study ...
In this study, by a testing approach, we mean (1) general approach to test design and test execution, e.g., formal verifications, Model-based Testing or informal testing, and, (2) generic testing approaches ...
arXiv:2007.11308v1
fatcat:e7dp2nhuozdpplq7iymu3bt5xi
Guest Editorial Design, Implementation, and Analysis of Communication Protocols
2004
IEEE Journal on Selected Areas in Communications
In the past, he has contributed to areas such as communication protocol specification, specification-based test generation, stochastic process algebra, and guided model checking. ...
Eight articles cover a range of aspects of protocol design and implementations. Routing protocol design is essential for reliable and efficient information and data transmission. ...
"Interoperability Test Generation and Minimization for Communication Protocols Based on the Multiple Stimuli Principle" presents an automatic test generation and minimization method for testing interoperability ...
doi:10.1109/jsac.2004.835998
fatcat:h5gzx6qd3rel5fcnobfeo5rgfy
Taming the interoperability challenges of complex IoT systems
2014
Proceedings of the 1st ACM Workshop on Middleware for Context-Aware Applications in the IoT - M4IOT '14
The framework is based upon two key contributions: i) patterns of interoperability behaviour, and ii) a software framework to monitor and reason about interoperability success or failure. ...
We show using a case-study from the FI-WARE Future Internet Service domain that this interoperability framework can support non-expert developers address interoperability challenges. ...
generation and testing. ...
doi:10.1145/2676743.2676744
dblp:conf/middleware/GraceBPS14
fatcat:3pivwqqujvgm5fasp2dxxlxwje
Towards an Automated and Dynamically Adaptable Test System for Testing Healthcare Information Systems
2010
2010 Third International Conference on Software Testing, Verification and Validation
This work addresses the challenges of interoperability testing of different HL7/IHE based HIS systems and introduces a testing methodology and its realization test framework based on TTCN-3 language. ...
Interoperability is one of the most important requirements for the next generation Healthcare Information Systems (HIS) that permits healthcare institutes to use heterogeneous solutions from different ...
To address this issue we proposed an architecture for a generic test data generator that makes use of a codec layer acting as a translator between the TS and the SUT. ...
doi:10.1109/icst.2010.67
dblp:conf/icst/Vega10
fatcat:ha7cz7ru3jalxotmbtcvgkxtpu
An Interoperability Test Framework for HL7-Based Systems
2009
IEEE Transactions on Information Technology in Biomedicine
In this paper, we describe a complete test execution framework for HL7-based systems that provides high-level constructs allowing dynamic set up of test scenarios involving all the layers in the interoperability ...
Having alternative transport protocols and descriptive message choreographies introduces great flexibility in implementing HL7 standards, yet, this brings in the need for test frameworks that can accommodate ...
web services profile [6] , and the transmission control protocol/Internet protocol (TCP/IP)-based minimal lower layer protocol profile [7] . ...
doi:10.1109/titb.2009.2016086
pmid:19304492
fatcat:qejl6xhkcncobaia6se4hwafdm
Model-driven interoperability: engineering heterogeneous IoT systems
2015
Annales des télécommunications
A graphical model editor and testing tool are also presented to highlight how a visual model improves upon textual specifications. ...
We show using case-studies from the FIWARE Future Internet Service domain that the software framework can support non-expert developers to address interoperability challenges. ...
reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. ...
doi:10.1007/s12243-015-0487-2
fatcat:zbbbr2qnsbbabmy6yo7s7ig6eq
Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step
[chapter]
2005
Lecture Notes in Computer Science
This work proposes an approach to the verification of a priori conformance of a business process to a protocol, which is based on the theory of formal languages and guarantees the interoperability of peers ...
Such issue is tackled by the so called conformance test, which is a means for certifying the capability of interacting of the involved parts: two peers that are proved conformant to a same protocol will ...
For achieving this goal we need a formal framework for specifying both general interaction protocols and web services' local interaction policies. ...
doi:10.1007/11549970_19
fatcat:euticfys2rggxgaisul7q6gjyq
Industry adoption of the Internet of Things: A constrained application protocol survey
2012
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012)
In this paper, we give an overview of current CoAP implementations and discuss the results of the first formal interoperability meeting, organized by the European Telecommunications Standards Institute ...
less coverage and exhibit slightly more interoperability problems. 1 ...
ACKNOWLEDGMENT The authors would like to thank the organizers from ETSI and the Plugtest attendees who participated in our survey and made the test results available. ...
doi:10.1109/etfa.2012.6489787
dblp:conf/etfa/LercheHK12
fatcat:sb4nzpxx3bauxjnve6qcxnfhou
Evaluation of WS-* Standards Based Interoperability of SOA Products for the Hungarian e-Government Infrastructure
2010
2010 Fourth International Conference on Digital Society
We have defined a flexible and extensible test bed and a set of test cases for SOA products considering three aspects: compliance with standards, interoperability and development support. ...
In order to assess implementations, thorough tests should be performed, and relevant test cases ought to be accepted. ...
This tool is also for generating common administration and management components, and also functional test cases for e-Government services. ...
doi:10.1109/icds.2010.28
dblp:conf/icds/SimonLGKR10
fatcat:iycx5ecpbnao7lwlgadsijwiw4
Evaluation of WS-* Standards Based Interoperability of SOA Products for the Hungarian e-Government Infrastructure
[chapter]
2010
IFIP Advances in Information and Communication Technology
We have defined a flexible and extensible test bed and a set of test cases for SOA products considering three aspects: compliance with standards, interoperability and development support. ...
In order to assess implementations, thorough tests should be performed, and relevant test cases ought to be accepted. ...
This tool is also for generating common administration and management components, and also functional test cases for e-Government services. ...
doi:10.1007/978-3-642-15346-4_3
fatcat:qfwukohzabbx7ed6vhtau73zmm
Interoperability Test Suite Derivation for the ATM/B-ISDN Signaling Protocol
[chapter]
1998
Testing of Communicating Systems
In this paper, we propose a test derivation method suitable· for testing interoperability for the class of communication protocols like the ATMIB-ISDN signaling protocol. ...
For that, we give an algorithm for deriving from a given pair of FSMs a composite FSM and an interoperability test suite in parallel. ...
Currently he is with the Korea Telecom Research and Development Group as a member of Protocol Engineering Team. ...
doi:10.1007/978-0-387-35381-4_19
fatcat:at6j2vphafacjomjuf53kmr5u4
« Previous
Showing results 1 — 15 out of 14,930 results