An Efficient Formal Testing Approach for Web Service with TTCN-3

Web service is considered as a prevailing integration technology on Internet/Intranet due to its language and platform-independence. The language and platformindependence characteristics bring difficulties on testing. In this paper, we propose a distributed testing process based on TTCN-3 which intends to solve the difficulties. The approach distributes test activities on both server and client sides. It ensures a systematic testing process. In addition, by specifying test suites at an abstract level in TTCN-3 the test suites are language and platform-independent, and can be reused by diverse types of clients. We demonstrate it via a case study.