EEMCS
Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Sitemap
 Search
 Organisation

EEMCS EPrints Service


12291 Applying Model-based Testing to HTML Rendering Engines - A Case Study
 Home Policy Brochure Browse Search User Area Contact Help

Calamé, J.R. and van de Pol, J.C. (2008) Applying Model-based Testing to HTML Rendering Engines - A Case Study. In: Testing of Software and Communicating Systems, 10-13 Jun 2008, Tokyo, Japan. pp. 250-265. Lecture Notes in Computer Science 5047. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-68514-2

Full text available as:

PDF
 - Univ. of Twente only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
271 Kb

Official URL: http://dx.doi.org/10.1007/978-3-540-68524-1_18

Exported to Metis

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 Paper (Full Paper, Talk)
Research Group:EWI-FMT: Formal Methods and Tools
Research Program:CTIT-DSN: Dependable Systems and Networks
Additional Information:20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008; 8th International Workshop, FATES 2008
ID Code:12291
Status:Published
Deposited On:21 June 2008
Refereed:Yes
International:Yes
More Information:statisticsmetis

Export this item as:

To request a copy of the PDF please email us request copy

To correct this item please ask your editor

Repository Staff Only: edit this item