Model-Based Testing of Thin-Client Web Applications

摘要

In this paper we present a novel automated, on-line, model-based testing system for on-the-fly testing of thin-client web applications. Web applications are specified by means of Extended State Machines. To handle dynamic web applications, arbitrarily large and complex state input and output types, and the transport of information from the web-page to the state of the specification, we define a new, ioco like, confor-mance relation. In this conformance relation a specification is a function from state and input to functions from output to the new states. The implementation builds on the GangST test tool and spots errors in real web applications.