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

Jens R. Calamé; Jan Cornelis van de Pol

doi:10.1007/978-3-540-68524-1_18

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 proceeding › Conference contribution › Academic › peer-review

1 Downloads (Pure)

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 language	Undefined
Title of host publication	Testing of Software and Communicating Systems
Editors	Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa
Place of Publication	London
Publisher	Springer
Pages	250-265
Number of pages	16
ISBN (Print)	978-3-540-68514-2
DOIs	https://doi.org/10.1007/978-3-540-68524-1_18
Publication status	Published - 6 Jun 2008
Event	Testing of Software and Communicating Systems, Tokyo, Japan: Testing of Software and Communicating Systems - London Duration: 6 Jun 2008 → …

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Verlag
Number	1
Volume	5047
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	Testing of Software and Communicating Systems, Tokyo, Japan
City	London
Period	6/06/08 → …

Keywords

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

Access to Document

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

http://eprints.eemcs.utwente.nl/secure2/12291/01/fulltext.pdf

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). Article 10.1007/978-3-540-68524-1_18 (Lecture Notes in Computer Science; Vol. 5047, No. 1). Springer. https://doi.org/10.1007/978-3-540-68524-1_18

@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; Testing of Software and Communicating Systems, Tokyo, Japan ; Conference date: 06-06-2008",

year = "2008",

month = jun,

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",

address = "Germany",

}

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, Testing of Software and Communicating Systems, Tokyo, Japan, London, 6/06/08. 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 proceeding › Conference contribution › Academic › peer-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

T2 - Testing of Software and Communicating Systems, Tokyo, Japan

Y2 - 6 June 2008

ER -