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


    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
    Number of pages16
    ISBN (Print)978-3-540-68514-2
    Publication statusPublished - 6 Jun 2008
    EventTesting of Software and Communicating Systems, Tokyo, Japan: Testing of Software and Communicating Systems - London
    Duration: 6 Jun 2008 → …

    Publication series

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


    ConferenceTesting of Software and Communicating Systems, Tokyo, Japan
    Period6/06/08 → …


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

    Cite this