Filters








88,824 Hits in 8.4 sec

A New Method for Interoperability Test Generation [chapter]

Alexandra Desmoulin, César Viho
2007 Lecture Notes in Computer Science  
In this paper, we describe a new method for generating interoperability test cases. This method is equivalent to classical methods in terms of non-interoperability detection.  ...  Interoperability testing aims at verifying the possibility for two or more components to communicate correctly while providing the foreseen services.  ...  Conclusion In this paper, we present a new method for generating interoperability test cases.  ... 
doi:10.1007/978-3-540-73066-8_5 fatcat:jytccvvkr5dsxi7zlnuy5jmeiu

A New Test Sequence Generation Method for Interoperability Testing [chapter]

Naonobu Okazaki, Mi Rang Park, Kaoru Takahashi, Norio Shiratori
1995 Protocol Test Systems  
A method for generating test sequences for interoperability testing of communication systems is proposed.  ...  An application for a simple protocol with a retransmission mechanism shows that we can improve testing reliability in interoperability testing.  ...  We are constructing a support system for test sequence generation based on the proposed method.  ... 
doi:10.1007/978-0-387-34883-4_16 fatcat:l4z36oti4vd6fjablypv7mbhqu

Interoperability Test Generation for Communication Protocols Based on Multiple Stimuli Principle [chapter]

Soonuk Seol, Myungchul Kim, Samuel T. Chanson
2002 IFIP Advances in Information and Communication Technology  
This paper presents a method for generating interoperability test suites for the class of communication protocols such as the ATM/B-ISDN signaling protocol and TCP that are modeled as communicating nondeterministic  ...  To our knowledge, no test generation method exists for protocol interoperability testing that supports multiple simultaneous inputs to the implementations.  ...  In this paper, we propose a new method to support concurrent behavior of protocols in generating test cases for interoperability testing.  ... 
doi:10.1007/978-0-387-35497-2_11 fatcat:5jkzowxehjdsfgq4nsy7mxtbey

Formalizing Interoperability Testing: Quiescence Management and Test Generation [chapter]

Alexandra Desmoulin, César Viho
2005 Lecture Notes in Computer Science  
The equivalence between two of them leads to a method for interoperability test generation that avoids the state explosion problem of classical approaches.  ...  This paper gives formal definitions of the different existing interoperability notions called interoperability criteria.  ...  A theorem proving that two of them are equivalent allows a new method for interoperability test generation that avoids the classical state-explosion problem.  ... 
doi:10.1007/11562436_40 fatcat:tm7py5yb25d25bdewm62ov2zsu

Interoperability Test Generation and Minimization for Communication Protocols Based on the Multiple Stimuli Principle

S. Seol, M. Kim, S.T. Chanson, S. Kang
2004 IEEE Journal on Selected Areas in Communications  
Experimental results have shown that compared with the conventional methods, our test generation method generates more interoperability test cases resulting in higher transition coverage (26% higher for  ...  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  ...  CONCLUSION We have proposed a new method for automatically generating and minimizing interoperability test suites that support multiple inputs to the SUT.  ... 
doi:10.1109/jsac.2004.836015 fatcat:ifguk4hvfbcihdz7hepjjnw3ci

Interoperability test generation: formal definitions and algorithm

Alexandra Desmoulin, César Viho
2008 ARIMA  
Two of these interoperability criteria are proved equivalent leading to a new method for interoperability test generation.  ...  This study is aimed at providing a method for interoperability test generation based on formal definitions.  ...  This equivalence allows a new method for interoperability test generation that avoids the classical state-space explosion problem.  ... 
doi:10.46298/arima.1884 fatcat:w2jghvdyozbc7g4upu7sl2lova

Test Architectures for Distributed Systems — State of the Art and Beyond [chapter]

T. Walter, I. Schieferdecker, J. Grabowski
1998 Testing of Communicating Systems  
A generic test architecture for conformance, interoperability and performance testing of distributed systems is presented.  ...  The generic test architecture extends current test architectures with respect to the types of systems that can be tested.  ...  For the future a language support for the new test architecture will be investigated. 7 Figure 1 1 Local and distributed abstract test methods. Figure 2 Coordinated and remote test methods.  ... 
doi:10.1007/978-0-387-35381-4_10 fatcat:d5a2ip7cinac3gfhyp6xovksze

Interoperability Test Suite Derivation for Symmetric Communication Protocols [chapter]

Sungwon Kang, Myungchul Kim
1997 Formal Description Techniques and Protocol Specification, Testing and Verification  
A new approach to efficient interoperability testing is described with justifications and the method of interoperability test suite derivation is shown with the example of the A TM Signaling protocol.  ...  This paper deals with the problem of deriving interoperability test suite for control part of symmetric protocols.  ...  David Su, David Cypher and Leslie Collica at NIST, USA, for having numerous discussions with us on the subject of interoperability testing.  ... 
doi:10.1007/978-0-387-35271-8_4 fatcat:szl76orguzhhhhzm2ldinrscue

REMICS- REuse and Migration of Legacy Applications to Interoperable Cloud Services [chapter]

Parastoo Mohagheghi, Arne J. Berre, Alexis Henry, Franck Barbier, Andrey Sadovykh
2010 Lecture Notes in Computer Science  
The main objective of the REMICS project is to specify, develop and evaluate a tool-supported model-driven methodology for migrating legacy applications to interoperable service cloud platforms.  ...  The demonstrations will cover the following REMICS research topics: modelbased analysis and testing and model-driven interoperability with the tools by Fraunhofer FOKUS and SINTEF.  ...  These generated tests can be used by a test execution engine to validate specific behavioral properties of a system under test.  ... 
doi:10.1007/978-3-642-17694-4_20 fatcat:astrolmk3vg4diukzmqcvpczaa

Interoperability Test Suite Derivation for the ATM/B-ISDN Signaling Protocol [chapter]

Jaehwi Shin, Sungwon Kang
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.  ...  Since 1993, he has been a senior researcher at Korea Telecom. In 1995-1996, he was a guest researcher at National Institute of Standards and Technology of U.S.A.  ... 
doi:10.1007/978-0-387-35381-4_19 fatcat:at6j2vphafacjomjuf53kmr5u4

Framework and Model for Automated Interoperability Test and Its Application to ROHC [chapter]

Sarolta Dibuz, Péter Krémer
2003 Lecture Notes in Computer Science  
The primary goal of our work was to define an interoperability testing framework in TTCN-3 that can be used in general.  ...  Then we present MAIT (Model for Automated Interoperability Test) and give detailed explanation on its components and their roles.  ...  We have seen a high need for a method and a tool that can help to automate the testing process.  ... 
doi:10.1007/3-540-44830-6_18 fatcat:cujofaknbbbkfdq2d2boscmkmq

Resolving complex research data management issues in biomedical laboratories: Qualitative study of an industry–academia collaboration

Sahiti Myneni, Vimla L. Patel, G. Steven Bova, Jian Wang, Christopher F. Ackerman, Cynthia A. Berlinicke, Steve H. Chen, Mikael Lindvall, Donald J. Zack
2016 Computer Methods and Programs in Biomedicine  
areas to introduce a new research information management system called Labmatrix, and finally to 3) evaluate and delineate important general collaboration (intervention) characteristics that can optimize  ...  for success of implementation process.  ...  Support was also provided by generous gifts from the Guerrieri Family Foundation and from Mr. and Mrs. Clarice Smith. We thank all study participants for their valuable time and contributions.  ... 
doi:10.1016/j.cmpb.2015.11.001 pmid:26652980 pmcid:PMC4778387 fatcat:pd7keyhl4nhlxhf2sejivusdvq

Auditing consistency and usefulness of LOINC use among three large institutions – Using version spaces for grouping LOINC codes

M.C. Lin, D.J. Vreeman, Clement J. McDonald, S.M. Huff
2012 Journal of Biomedical Informatics  
For example, tests with a specific 'method' could be rolled-up with tests that were 'methodless'.  ...  Objectives-We wanted to develop a method for evaluating the consistency and usefulness of LOINC code use across different institutions, and to evaluate the degree of interoperability that can be attained  ...  Acknowledgments The authors would like to thank Brian Jackson, MD and Alan Terry, MS from ARUP for retrieving and processing the ARUP data set.  ... 
doi:10.1016/j.jbi.2012.01.008 pmid:22306382 pmcid:PMC3374914 fatcat:ukckfyhvlrcapdsqpjmqnuxxzm

Interoperability Test Suite Derivation for the TCP [chapter]

Soonuk Seol, Myungchul Kim, Sungwon Kang, Yongbum Park, Younghan Choe
1999 IFIP Advances in Information and Communication Technology  
A test derivation method suitable for testing interoperability for the class of communication protocols like the ATM/B-ISDN signaling protocol was proposed in [KanK 97].  ...  suite automatically as a result of applying it to a pair of communicating TCP FSMs, and (3) analyze the generated interoperability test suite in terms of transition coverage 1 •  ...  [ShiK 98] proposes and applies a test derivation method suitable for testing without another stimulus.  ... 
doi:10.1007/978-0-387-35578-8_20 fatcat:i4dghfx7zrfzvoctsgrzxlcjti

Semantics-driven interoperability between Scala.js and JavaScript

Sébastien Doeraene, Tobias Schlatter, Nicolas Stucki
2016 Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala - SCALA 2016  
The interoperability features are complete with respect to ECMAScript 2015, save for two exceptions which are still being worked on.  ...  Scala.js offers a separate hierarchy of JavaScript types, whose operations have semantics borrowed from ECMAScript 2015.  ...  Acknowledgements This work was partially supported by the Swiss Commission for Technology and Innovation (CTI) grant 16613.1.  ... 
doi:10.1145/2998392.2998404 dblp:conf/scala/DoeraeneSS16 fatcat:7ufk3q2ocbfwzbd4hen4wbjyrq
« Previous Showing results 1 — 15 out of 88,824 results