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

Abstract: Web service is considered as a prevailing integration technology on Internet/Intranet due to its language and platform-independence. The language and platform-independence 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