Model-Based Testing of Thin-Client Web Applications and Navigation Input

Koopman, Pieter; Achten, Peter; Plasmeijer, Rinus

doi:10.1007/978-3-540-77442-6_20

Cited by 5 publications

(3 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…It is clear that testing dynamic web applications is a more popular area (perhaps due to being clearly more challenging) compared to testing static web sites. The handful number of papers in testing static web sites are [81,124,79,82] which has been published in 2001 [81], 2006 [124,79], and 2008 [82]. For example [81] proposed an approach for measuring and modeling the reliability of static web sites using statistical testing.…”

Section: Rq 111-static Web Sites Versus Dynamic Web Applicationsmentioning

confidence: 99%

A systematic mapping study of web application testing

Garousi

Mesbah

Betin-Can

et al. 2013

Information and Software Technology

View full text Add to dashboard Cite

Context:The Web has had a significant impact on all aspects of our society. As our society relies more and more on the Web, the dependability of web applications has become increasingly important. To make these applications more dependable, for the past decade researches have proposed various techniques for testing web-based software applications. Our literature search for related studies retrieved 147 papers in the area of web application testing, which have appeared between 2000-2011. Objective: As this research area matures and the number of related papers increases, it is important to systematically identify, analyze, and classify the publications and provide an overview of the trends in this specialized field. Method: We review and structure the body of knowledge related to web application testing through a systematic mapping (SM) study. As part of this study, we pose two sets of research questions, define selection and exclusion criteria, and systematically develop and refine a classification schema. In addition, we conduct a bibliometrics analysis of the papers included in our study. Results: Our study includes a set of 79 papers (from the 147 retrieved papers) published in the area of web application testing between 2000-2011. We present the results of our systematic mapping study. Our mapping data is available through a publiclyaccessible repository. We derive the observed trends, for instance, in terms of types of papers, sources of information to derive test cases, and types of evaluations used in papers. We also report the demographics and bibliometrics trends in this domain, including top-cited papers, active countries and researchers, and top venues in this research area. Conclusion: We discuss the emerging trends in web application testing, and discuss the implications for researchers and practitioners in this area. The results of our systematic mapping can help researchers to obtain an overview of existing web application testing approaches and indentify areas in the field that require more attention from the research community.

show abstract

Section: Rq 111-static Web Sites Versus Dynamic Web Applicationsmentioning

confidence: 99%

A systematic mapping study of web application testing

Garousi

Mesbah

Betin-Can

et al. 2013

Information and Software Technology

View full text Add to dashboard Cite

show abstract

“…The final implementation incorporates a graphical editor in Java for the input of FSM and constraints. Koopman et al (2008) report some difficulties in modelling sites due to the influence of browser navigation functions (forward, back and refresh buttons). Therefore, they propose an extended finite state machine (EFSM) (Koopman et al, 2008) that can simulate these functions generating black box tests for web applications.…”

Section: Model-based Testingmentioning

confidence: 99%

Tool support for generating model-based test cases via web

Arantes¹,

Júnior

Vijaykumar

et al. 2014

IJWET

View full text Add to dashboard Cite

Testing activities play an important role in order to obtain high quality software products. These activities become more important when considering critical software, for instance, space application software. Nowadays, there is an extensive collaboration among space institutions. So, it is more than natural to expect distributed development of software and software testing activities. Therefore, a collaborative tool hosted on the internet becomes quite useful. In this respect, WEB-PerformCharts 2.0 tool discussed in this paper moves in this direction. The tool focuses on supporting a single aspect of distributed software development: the activity of generating test cases via web. Moreover, it allows model-based test case generation by means of formal methods (formal languages statecharts and FSM) which are considered state of the art in software development. WEB-PerformCharts 2.0 can be used to generate test cases for any kind of reactive systems modelled in statecharts or FSM. We present three case studies in different application domains to demonstrate the feasibility of our tool.

show abstract

“…In a similar way we can make a specification deterministic by selecting only the first state if there is more than one target state. In [11] we use this technique to transform specifications of thin client web-applications without browser navigation to specifications that cover browser navigation.…”

Section: Transformation Of Specificationsmentioning

confidence: 99%

Testing and Validating the Quality of Specifications

Koopman

Achten

Plasmeijer

2008

2008 IEEE International Conference on Software Testing Verification and Validation Workshop

Self Cite

View full text Add to dashboard Cite

Model-based testing of state based systems is known to be able to spot non-conformance issues. However, up to half of these issues appear to be errors in the model rather than in the system under test. Errors in the specification at least hamper the prompt delivery of the software, so it is worthwhile to invest in the quality of the specification. Worse, errors in the specification that are also present in the system under test cannot be detected by model-based testing. In this paper we show how very desirable properties of specifications can be checked by systematic automated testing of the specifications themselves. We show how useful properties of specifications can be found by generalization of incorrect transitions encountered in simulation of the model.

show abstract

Model-Based Testing of Thin-Client Web Applications and Navigation Input

Cited by 5 publications

References 17 publications

A systematic mapping study of web application testing

A systematic mapping study of web application testing

Tool support for generating model-based test cases via web

Testing and Validating the Quality of Specifications

Contact Info

Product

Resources

About