Interoperability testing based on a fault model for a system of communicating FSMs

Authors:
Vadim Trenkaev;Myungchul Kim;Soonuk Seol
Affiliations:
Information and Communications University, Daejon, Korea;Information and Communications University, Daejon, Korea;Information and Communications University, Daejon, Korea
Venue:
TestCom'03 Proceedings of the 15th IFIP international conference on Testing of communicating systems
Year:
2003

Citing 10
Cited 3

Protocol testing: review of methods and relevance for software testing

ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Fault models for testing in context

IFIP TC6/ 6.1 international conference on formal description techniques IX/protocol specification, testing and verification XVI on Formal description techniques IX : theory, application and tools: theory, application and tools
Interoperability test suite derivation for communication protocols

Computer Networks: The International Journal of Computer and Telecommunications Networking
Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized Wp-Method

IEEE Transactions on Software Engineering
Interoperability Test Suite Derivation for the TCP

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
Fault Detection Power of a Widely Used Test Suite for a System of Communicating FSMs

TestCom '00 Proceedings of the IFIP TC6/WG6.1 13th International Conference on Testing Communicating Systems: Tools and Techniques
Interoperability Test Generation for Communication Protocols based on Multiple Stimuli Principle

TestCom '02 Proceedings of the IFIP 14th International Conference on Testing Communicating Systems XIV
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)
Testing in context: framework and test derivation

Computer Communications

Modelling and test generation using SAL for interoperability testing in consumer electronics

Proceedings of the second workshop on Automated formal methods
Using TIMEDTTCN-3 in interoperability testing for real-time communication systems

TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
A Framework for Testing of Wireless Underwater Robots

Wireless Personal Communications: An International Journal

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a fault model for interoperability testing of communication protocols that are modeled by communicating finite state machines, and proposes a technique that extends an initial interoperability test suite, which is given by another existing method, to be a test suite that can detect "almost all" interaction faults based on the fault model. We start with an interoperability test suite derived by a known method and develop a technique for the fault coverage analysis and a technique for the extension of the test suite in order to achieve high fault coverage. We illustrate the proposed techniques with TCP protocol. The fault coverage analysis concludes that the test suite has 100% fault coverage with respect to the proposed fault domain and does not need to be extended. It is shown that our method is applicable to practical protocols and can be used to make interoperability test suites have high fault-detecting capability.