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
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
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
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.
Related Papers (5)
Empirical evaluation of the tarantula automatic fault-localization technique
James A. Jones,Mary Jean Harrold +1 more