Results 1 -
4 of
4
A Systematic Mapping Study of Web Application Testing
"... 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 techn ..."
Abstract
- Add to MetaCart
(Show Context)
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 publicly-accessible 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.
NanoXen: Better Systems Through Rigorous Containment and Active Modeling
"... Modern software design has less writing large programs and more orchestrating the actions of prewritten library elements. These elements, generally known as components, are state-ful software elements which can operate and interact in un-expected ways. Most errors in large systems result from unanti ..."
Abstract
- Add to MetaCart
(Show Context)
Modern software design has less writing large programs and more orchestrating the actions of prewritten library elements. These elements, generally known as components, are state-ful software elements which can operate and interact in un-expected ways. Most errors in large systems result from unanticipated behavior from components, or unexpected in-teraction between components. In this paper, we argue that two principal innovations permit the rapid construction of far more robust and reliable software systems: rigorous con-tainment, to control interactions, and active modeling with dynamic model checking, to rapidly detect unexpected be-havior. We outline a small set of requirements which will produce such a system, NanoXen, of virtual components, the component analog to virtual machines. 1.
A Comparison of Three Black-Box Optimization Approaches for Model-Based Testing
"... Abstract—Model-based testing is a technique for generating test cases from a test model. Various notations and techniques have been used to express the test model and generate test cases from those models. Many use customized modelling languages and in-depth white-box static analysis for test genera ..."
Abstract
- Add to MetaCart
(Show Context)
Abstract—Model-based testing is a technique for generating test cases from a test model. Various notations and techniques have been used to express the test model and generate test cases from those models. Many use customized modelling languages and in-depth white-box static analysis for test generation. This allows for optimizing generated tests to specific paths in the model. Others use general-purpose programming languages and light-weight black-box dynamic analysis. While this light-weight approach allows for quick prototyping and easier integration with existing tools and user skills, optimizing the resulting test suite becomes more challenging since less information about the possible paths is available. In this paper, we present and compare three approaches to such black-box optimization. Keywords—model based testing; test automation; evaluation; test generation; optimization I.
Composing Model Programs for Analysis
"... Model programs are high-level behavioral specifications used for software testing and design analysis. Composition of model programs is a versatile technique that, at one end of the spectrum, enables one to build up larger models from smaller ones, and at the other end of the spectrum allows one to ..."
Abstract
- Add to MetaCart
(Show Context)
Model programs are high-level behavioral specifications used for software testing and design analysis. Composition of model programs is a versatile technique that, at one end of the spectrum, enables one to build up larger models from smaller ones, and at the other end of the spectrum allows one to restrict larger models to specific scenarios. In this paper we provide a formal foundation for composition of model programs and investigate its use in various situations that arise in model program analysis. Key words: model program, state machine, labeled transition system, scenario control, model-based testing, model analysis, model validation 1.
