Model-Based testing of thin-client web applications

Authors:
Pieter Koopman;Rinus Plasmeijer;Peter Achten
Affiliations:
Software Technology, Nijmegen Institute for Computing and Information Sciences, Radboud University Nijmegen;Software Technology, Nijmegen Institute for Computing and Information Sciences, Radboud University Nijmegen;Software Technology, Nijmegen Institute for Computing and Information Sciences, Radboud University Nijmegen
Venue:
FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
Year:
2006

Citing 11
Cited 1

On testing and conformance relations for UML statechart diagrams behaviours

ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
An Object-Oriented Web Test Model for Testing Web Applications

COMPSAC '00 24th International Computer Software and Applications Conference
Testing Concurrent Systems: A Formal Approach

CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
A Generic Programming Extension for Clean

IFL '02 Selected Papers from the 13th International Workshop on Implementation of Functional Languages
Object-Based Data Flow Testing of Web Applications

APAQS '00 Proceedings of the The First Asia-Pacific Conference on Quality Software (APAQS'00)
Generating Test Cases for XML-Based Web Component Interactions Using Mutation Analysis

ISSRE '01 Proceedings of the 12th International Symposium on Software Reliability Engineering
GAST: generic automated software testing

IFL'02 Proceedings of the 14th international conference on Implementation of functional languages
iData for the world wide web – programming interconnected web forms

FLOPS'06 Proceedings of the 8th international conference on Functional and Logic Programming
Test generation based on symbolic specifications

FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Online testing of real-time systems using UPPAAL

FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
The implementation of idata

IFL'05 Proceedings of the 17th international conference on Implementation and Application of Functional Languages

Model-based testing of thin-client web applications and navigation input

PADL'08 Proceedings of the 10th international conference on Practical aspects of declarative languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we present a novel automated, on-line, modelbased 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 webpage to the state of the specification, we define 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. The implementation builds on the G∀ST test tool and spots errors in real web applications.