On-The-Fly Model-Based Testing of Web Services with Jambition

摘要: Increasing complexity and massive use of current web services raise multiple issues for achieving adequate service validation while sticking to time-to-market imperatives. For instance: How automate test case generation execution stateful services? realistically simulate related operation calls? ensure conformance specifications? The Plastic framework tackles some these by providing specific tools automated model-based functional testing. Based on the Symbolic Transition System model, cases can be generated executed on-the-fly. This testing approach was applied validating Alarm Dispatcher eHealth service, aimed at health attention through mobile devices in B3G networks. In this paper we report how modeling helped detect failures, support conformance, reduce drastically effort spent usually designing cases, coverage, executing traditional approaches.