Trace Analysis for Conformance and Arbitration Testing
IEEE Transactions on Software Engineering
A COS study of OSI interoperability
Computer Standards & Interfaces
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Remote testin can be as powerful as local testing
FORTE XII / PSTV XIX '99 Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX)
Towards a Formal Framework for Interoperability Testing
FORTE '01 Proceedings of the IFIP TC6/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems
Using On-The-Fly Verification Techniques for the Generation of test Suites
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems V
Deriving Coordinated Testers for Interoperability
Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems VI
Test Architectures for Distributed Systems: State of the Art and Beyond
IWTCS Proceedings of the IFIP TC6 11th International Workshop on Testing Communicating Systems
Integrated System Interoperability Testing with Applications to VOIP
FORTE/PSTV 2000 Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX)
Fully automated interoperability test suite derivation for communication protocols
Computer Networks: The International Journal of Computer and Telecommunications Networking
International Journal on Software Tools for Technology Transfer (STTT) - Special section on high-level test of complex systems
Quiescence management improves interoperability testing
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
Test generation for interworking systems
Computer Communications
InRob: An approach for testing interoperability and robustness of real-time embedded software
Journal of Systems and Software
| Hi-index | 0.00 |
The objective of this study is to provide methods for derivingautomatically interoperability tests based on formal definitions. First,we give interoperability formal definitions taking into account both objectivesof interoperability: the implementations must interact correctlyand the expected service must be provided. Based on these definitions,a method for generating interoperability test cases is described. Thismethod is equivalent to classical methods in terms of noninteroperability detection and avoids state-space explosion problem. Classical and proposedmethods were implemented using the CADP Toolbox and appliedon a connection protocol to illustrate this contribution.