Model-based testing of thin-client web applications and navigation input

被引：0

作者：

Koopman, Pieter ^{[1
]}

Achten, Peter ^{[1
]}

Plasmeijer, Rinus ^{[1
]}

机构：

[1] Radboud Univ Nijmegen, Nijmegen Inst Comp & Informat Sci, Nijmegen, Netherlands

来源：

PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS | 2008年 / 4902卷

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

More and more software systems use a browser as the universal graphical user interface. As a consequence these applications inherit browser navigation as part of their interface. Typical browser actions are the use of the back- and forward-button and the cloning of windows. Browser navigation is difficult to deal with because it has effects that are noticed indirectly by the application logic. It is easy to forget or misunderstand the consequences of this aspect in the construction of a program. Hence, testing the correct behavior of the application is very desirable, preferably with an automatic model-based test tool. For this kind of model-based testing a specification including browser navigation is needed. We introduce a transformation to lift the specification of a program without browser navigation to one with browser navigation. This reduces the specification effort considerably. The distinguishing feature of our method is that it allows the test engineer to specify only the exceptions to the general rule. We show how this lifting of specifications is used for some examples and how errors are found in real web applications. The described system builds on the model-based test tool GVST.

引用

页码：299 / 315

页数：17

共 50 条

[21] Model Checking Web Applications Based On Web Navigation [J].

Jiang, Mingyue ;

Ding, Zuohua .

2010 INTERNATIONAL COLLOQUIUM ON COMPUTING, COMMUNICATION, CONTROL, AND MANAGEMENT (CCCM2010), VOL III, 2010, :694-697

[22] Scenario-based Stress Testing of an Electronic Patient Record System in a Thin-client Computing Implementation [J].

Teramoto, Kei ;

Kuwata, Shigeki ;

Kushniruk, Andre W. ;

Borycki, Elizabeth M. ;

Mochida, Masaki ;

Fujii, Katsuhiro ;

Kuranaka, Kenta ;

Kondoh, Hiroshi .

INTERNATIONAL PERSPECTIVES IN HEALTH INFORMATICS, 2011, 164 :132-137

[23] Automated Functional Testing based on the Navigation of Web Applications [J].

Garcia, Boni ;

Duenas, Juan C. .

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (61) :49-65

[24] Thin-client Web access patterns: Measurements from a cache-busting proxy [J].

Kelly, T .

COMPUTER COMMUNICATIONS, 2002, 25 (04) :357-366

[25] Thin-client Web access patterns: Measurements from a cache-busting proxy [J].

Kelly, T .

WEB CACHING AND CONTENT DELIVERY, 2001, :219-234

[26] Model-based testing in practice: An experience report from the web applications domain [J].

Garousi, Vahid ;

Keles, Alper Bugra ;

Balaman, Yunus ;

Guler, Zeynep Ozdemir ;

Arcuri, Andrea .

JOURNAL OF SYSTEMS AND SOFTWARE, 2021, 180

[27] Model-Based Testing of Networked Applications [J].

Li, Yishuai ;

Pierce, Benjamin C. ;

Zdancewic, Steve .

ISSTA '21: PROCEEDINGS OF THE 30TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, 2021, :529-539

[28] Testing Web Services with Model-Based Mutation [J].

Siavashi, Faezeh ;

Iqbal, Junaid ;

Truscan, Dragos ;

Vain, Juri .

SOFTWARE TECHNOLOGIES, 2017, 743 :45-67

[29] Model-Based Testing of Web Service with EFSM [J].

Sun, Fuzhen ;

Liao, Lejian ;

Zhang, Longbo .

PRACTICAL APPLICATIONS OF INTELLIGENT SYSTEMS, ISKE 2013, 2014, 279 :91-+

[30] The SHIP: A SIP to HTTP Interaction Protocol Advanced Thin-Client Architecture for IMS Applications [J].

Zeiss, Joachim ;

Gabner, Rene ;

Bessler, Sandford ;

Happenhofer, Marco .

WEB INFORMATION SYSTEMS AND TECHNOLOGIES, 2010, 45 :30-+

← 1 2 3 4 5 →