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.
|Title of host publication||Formal Approaches to Software Testing (Proceedings Third International Workshop, FATES 2003, Montreal, Quebec, Canada, October 6, 2003)|
|Editors||A. Petrenko, A. Ulrich|
|Place of Publication||Berlin|
|Publication status||Published - 2004|
|Name||Lecture Notes in Computer Science|