Sciweavers

FATES
2003
Springer

Automatic Conformance Testing of Internet Applications

13 years 8 months ago
Automatic Conformance Testing of Internet Applications
Abstract. We adapt and extend the theories used in the general framework of automated software testing in such a way that they become suitable for black-box conformance testing of thin client Internet applications. That is, we automatically test whether a running Internet application conforms to its formal specification. The actual implementation of the application is not taken into account, only its externally observable behaviour. In this paper, we show how to formally model this behaviour and how such formal specifications can serve as a basis for the automatic conformance testing of Internet applications.
Harm M. A. van Beek, Sjouke Mauw
Added 06 Jul 2010
Updated 06 Jul 2010
Type Conference
Year 2003
Where FATES
Authors Harm M. A. van Beek, Sjouke Mauw
Comments (0)