Test Selection Based on Finite State Models
IEEE Transactions on Software Engineering
Test generation with respect to distributed interfaces
Computer Standards & Interfaces
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 Fourth International Workshop on Protocol Test Systems IV
Test Architectures for Distributed Systems: State of the Art and Beyond
IWTCS Proceedings of the IFIP TC6 11th International Workshop on Testing Communicating Systems
Different Approaches to Protocol and Service Testing
Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems: Method and Applications
Architectures for Testing Distributed Systems
Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems: Method and Applications
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Towards an environment for testing OSI protocols
Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
Testing timed systems with timed purposes
RTCSA '00 Proceedings of the Seventh International Conference on Real-Time Systems and Applications
Testing Software Design Modeled by Finite-State Machines
IEEE Transactions on Software Engineering
Hi-index | 0.01 |
Mobile and distributed systems are generally composed of components which interact together with input/output events by using a least a mobile network (GSM, wireless lan), and eventually others heterogeneous ones. Such systems are generally complex so they need to be tested in order to check their reliability. However, no distributed testing tool is proposed. In this paper, we propose a complete method to test such systems and an experimentation which aims to test a WAP application. From a formal specification, the testing method generates test cases and deploys them on a test architecture. This one is composed of several testers which must be synchronized for testing. For the experimentation, we have implemented: a distributed test architecture composed of several testers, a WAP architecture and a WAP application. The experimentation results show that the testing method can be used in practice.