Model-Based Testing of Thin-Client Web Applications

Overview

This paper presents 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, the paper defines a new, ioco like, conformance relation. In this conformance relation a specification is a function from state and input to functions from output to the new states.