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

Authors:
Jens R. Calamé;Jaco Pol
Affiliations:
Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands 1090 GB;Faculty EEMCS, University of Twente, Enschede, The Netherlands 7500 AE
Venue:
TestCom '08 / FATES '08 Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop
Year:
2008

Citing 7
Cited 0

Automated Test and Oracle Generation for Smart-Card Applications

E-SMART '01 Proceedings of the International Conference on Research in Smart Cards: Smart Card Programming and Security
Formal Test Automation: A Simple Experiment

Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems: Method and Applications
TGV: theory, principles and algorithms: A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems

International Journal on Software Tools for Technology Transfer (STTT) - Special section on high-level test of complex systems
Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science)

Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science)
Data Abstraction and Constraint Solving for Conformance Testing

APSEC '05 Proceedings of the 12th Asia-Pacific Software Engineering Conference
Test purpose generation in an industrial application

Proceedings of the 3rd international workshop on Advances in model-based testing
Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

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.