scispace - formally typeset
Open AccessJournal ArticleDOI

Supporting Controlled Experimentation with Testing Techniques: An Infrastructure and its Potential Impact

Reads0
Chats0
TLDR
The infrastructure that is being designed and constructed to support controlled experimentation with testing and regression testing techniques is described and the impact that this infrastructure has had and can be expected to have.
Abstract
Where the creation, understanding, and assessment of software testing and regression testing techniques are concerned, controlled experimentation is an indispensable research methodology. Obtaining the infrastructure necessary to support such experimentation, however, is difficult and expensive. As a result, progress in experimentation with testing techniques has been slow, and empirical data on the costs and effectiveness of techniques remains relatively scarce. To help address this problem, we have been designing and constructing infrastructure to support controlled experimentation with testing and regression testing techniques. This paper reports on the challenges faced by researchers experimenting with testing techniques, including those that inform the design of our infrastructure. The paper then describes the infrastructure that we are creating in response to these challenges, and that we are now making available to other researchers, and discusses the impact that this infrastructure has had and can be expected to have.

read more

Content maybe subject to copyright    Report

Citations
More filters
Proceedings ArticleDOI

A correlation study between automated program repair and test-suite metrics

TL;DR: In this article, the authors investigate the effectiveness of test-suite metrics (statement / branch coverage and mutation score) in controlling the reliability of repairs (the likelihood that repairs cause regressions).
Journal ArticleDOI

On the adoption of MC/DC and control-flow adequacy for a tight integration of program testing and statistical fault localization

TL;DR: It is found that the adequacy criterion and the percentage of a prioritized test suite utilized are major factors affecting the effectiveness of statistical fault localization techniques.
Book ChapterDOI

Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation

TL;DR: In this paper, it was shown that the template-based synthesis problem and reachability problem are equivalent, and the reductions between the two problems were shown to be equivalent, which establishes a link between them and allows for transfer of techniques and results between them.
Proceedings ArticleDOI

To be precise: regression aware debugging

TL;DR: This paper summarizes the proof of correctness of each passing test by computing Craig Interpolants over a symbolic encoding of the passing execution, and uses these summaries as additional soft constraints while synthesizing altered executions corresponding to failing tests to enable regression aware localization and repair.
Proceedings ArticleDOI

Supporting and Accelerating Reproducible Research in Software Maintenance Using TraceLab Component Library

TL;DR: This paper addresses the problem of experiment reproducibility in software maintenance and provides a long term solution towards ensuring that future experiments will be reproducible and extensible and presents an example of creating new techniques based on existing ones, which produce improved results.
References
More filters
Book

Case Study Research: Design and Methods

Robert K. Yin
TL;DR: In this article, buku ini mencakup lebih dari 50 studi kasus, memberikan perhatian untuk analisis kuantitatif, membahas lebah lengkap penggunaan desain metode campuran penelitian, and termasuk wawasan metodologi baru.
Book Chapter

Case study research

Jean Hartley
TL;DR: The comprehensive and accessible nature of this collection will make it an essential and lasting handbook for researchers and students studying organizations.
Book

Research methods knowledge base

TL;DR: The Research Methods Knowledge Base is a comprehensive web-based textbook that addresses all of the topics in a typical introductory undergraduate or graduate course in social research methods and uses an informal, conversational style to engage both the newcomer and the more experienced student of research.
Book

Experimentation in Software Engineering: An Introduction

TL;DR: The purpose of Experimentation in Software Engineering: An Introduction is to introduce students, teachers, researchers, and practitioners to experimentation and experimental evaluation with a focus on software engineering, and to provide guidelines for performing experiments evaluating methods, techniques and tools in software engineering.
Book

Software Testing Techniques

Boris Beizer
Related Papers (5)