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

Jens R. Calamé, Jan Cornelis van de Pol

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    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.
    Original languageUndefined
    Title of host publicationTesting of Software and Communicating Systems
    EditorsKenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa
    Place of PublicationLondon
    PublisherSpringer
    Pages250-265
    Number of pages16
    ISBN (Print)978-3-540-68514-2
    DOIs
    Publication statusPublished - 6 Jun 2008

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer Verlag
    Number1
    Volume5047
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Keywords

    • EWI-12291
    • METIS-250958
    • IR-64726
    • FMT-TESTING

    Cite this

    Calamé, J. R., & van de Pol, J. C. (2008). Applying Model-based Testing to HTML Rendering Engines - A Case Study. In K. Suzuki, T. Higashino, A. Ulrich, & T. Hasegawa (Eds.), Testing of Software and Communicating Systems (pp. 250-265). [10.1007/978-3-540-68524-1_18] (Lecture Notes in Computer Science; Vol. 5047, No. 1). London: Springer. https://doi.org/10.1007/978-3-540-68524-1_18