Applying Model-based Testing to HTML Rendering Engines - A Case Study

Calamé, Jens R. and Pol van de, Jaco (2008) Applying Model-based Testing to HTML Rendering Engines - A Case Study. In: 20th IFIP TC 6/WG 6.1 International Conference on Testing of Software and Communicating Systems, TestCom 2008, 10-13 June 2008, Tokyo, Japan.

PDF
Restricted to UT campus only: Request a copy
270Kb

Abstract:	Conformance testing is a widely used approach to validate a system correct w.r.t. its specification. This approach is mainly used for behavior-oriented systems. BAiT (Behavior Adaptation in Testing) is a conformance testing approach for data-intensive reactive systems. In this paper, we validate the applicability of BAiT to systems, which are not behavior-oriented (reactive) but document-centered. In particular, we apply BAiT to the test of the HTML rendering engine Gecko, which is used by Mozilla Firefox. In order to do so, we formally specify a part of the CSS box model in the specification language μCRL and implement a wrapper for the Gecko renderer. Then, we automatically generate test cases and run tests with BAiT in a controlled experiment in order to demonstrate our approach on the relevant part of Gecko.
Item Type:	Conference or Workshop Item
Copyright:	© 2008 Springer
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Formal Methods and Tools (FMT)
Link to this item:	http://purl.utwente.nl/publications/64726
Official URL:	http://dx.doi.org/10.1007/978-3-540-68524-1_18
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page

Metis ID: 250958