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
    Calamé, Jens R. ; van de Pol, Jan Cornelis. / Applying Model-based Testing to HTML Rendering Engines - A Case Study. Testing of Software and Communicating Systems. editor / Kenji Suzuki ; Teruo Higashino ; Andreas Ulrich ; Toru Hasegawa. London : Springer, 2008. pp. 250-265 (Lecture Notes in Computer Science; 1).
    @inproceedings{4886d092b7fe49bf9a5a8fa15a96aaee,
    title = "Applying Model-based Testing to HTML Rendering Engines - A Case Study",
    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.",
    keywords = "EWI-12291, METIS-250958, IR-64726, FMT-TESTING",
    author = "Calam{\'e}, {Jens R.} and {van de Pol}, {Jan Cornelis}",
    note = "20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008; 8th International Workshop, FATES 2008",
    year = "2008",
    month = "6",
    day = "6",
    doi = "10.1007/978-3-540-68524-1_18",
    language = "Undefined",
    isbn = "978-3-540-68514-2",
    series = "Lecture Notes in Computer Science",
    publisher = "Springer",
    number = "1",
    pages = "250--265",
    editor = "Kenji Suzuki and Teruo Higashino and Andreas Ulrich and Toru Hasegawa",
    booktitle = "Testing of Software and Communicating Systems",

    }

    Calamé, JR & van de Pol, JC 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., 10.1007/978-3-540-68524-1_18, Lecture Notes in Computer Science, no. 1, vol. 5047, Springer, London, pp. 250-265. https://doi.org/10.1007/978-3-540-68524-1_18

    Applying Model-based Testing to HTML Rendering Engines - A Case Study. / Calamé, Jens R.; van de Pol, Jan Cornelis.

    Testing of Software and Communicating Systems. ed. / Kenji Suzuki; Teruo Higashino; Andreas Ulrich; Toru Hasegawa. London : Springer, 2008. p. 250-265 10.1007/978-3-540-68524-1_18 (Lecture Notes in Computer Science; Vol. 5047, No. 1).

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

    TY - GEN

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

    AU - Calamé, Jens R.

    AU - van de Pol, Jan Cornelis

    N1 - 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008; 8th International Workshop, FATES 2008

    PY - 2008/6/6

    Y1 - 2008/6/6

    N2 - 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.

    AB - 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.

    KW - EWI-12291

    KW - METIS-250958

    KW - IR-64726

    KW - FMT-TESTING

    U2 - 10.1007/978-3-540-68524-1_18

    DO - 10.1007/978-3-540-68524-1_18

    M3 - Conference contribution

    SN - 978-3-540-68514-2

    T3 - Lecture Notes in Computer Science

    SP - 250

    EP - 265

    BT - Testing of Software and Communicating Systems

    A2 - Suzuki, Kenji

    A2 - Higashino, Teruo

    A2 - Ulrich, Andreas

    A2 - Hasegawa, Toru

    PB - Springer

    CY - London

    ER -

    Calamé JR, van de Pol JC. Applying Model-based Testing to HTML Rendering Engines - A Case Study. In Suzuki K, Higashino T, Ulrich A, Hasegawa T, editors, Testing of Software and Communicating Systems. London: Springer. 2008. p. 250-265. 10.1007/978-3-540-68524-1_18. (Lecture Notes in Computer Science; 1). https://doi.org/10.1007/978-3-540-68524-1_18