A program testing assistant
TL;DR: The testing assistant acts as a fully integrated part of the programming environment and cooperates with existing programming tools such as a display editor, compiler, interpreter, and debugger.
read more
Abstract: This paper describes the design and implementation of a program testing assistant which aids a programmer in the definition, execution, and modification of test cases during incremental program development. The testing assistant helps in the interactive definition of test cases and executes them automatically when appropriate. It modifies test cases to preserve their usefulness when the program they test undergoes certain types of design changes. The testing assistant acts as a fully integrated part of the programming environment and cooperates with existing programming tools such as a display editor, compiler, interpreter, and debugger.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Using test oracles generated from program documentation
Dennis Peters,David Lorge Parnas +1 more
TL;DR: An algorithm is described that can be used to generate a test oracle from program documentation, and the results demonstrate that these methods can be effective at detecting errors and greatly increase the speed and accuracy of test evaluation when compared with manual evaluation.
177
Generating a test oracle from program documentation: work in progress
Dennis Peters,David Lorge Parnas +1 more
- 01 Aug 1994
TL;DR: This paper discusses ongoing work to produce a tool that will generate a test oracle from formal program documentation, and the method works with program Documentation, written in terms of the concrete variables, and no representation function need be supplied.
79
Generating a test oracle from program documentation
Dennis Peters,B. Eng +1 more
- 01 Jan 1995
TL;DR: This paper aims to provide a chronology of the events leading to and following the publication of this book and some of the journal articles in which it was first published.
Applying simulation and design of experiments to the embedded software testing process
TL;DR: Simulation‐based (stochastic) experiments, combined with optimized design‐of‐experiment plans, in the case study have shown a minimum productivity increase of 100 times in comparison to current practice without DoD STEP deployment.
48
An empirical comparison between direct and indirect test result checking approaches
Peifeng Hu,Zhenyu Zhang,W. K. Chan,T. H. Tse +3 more
- 06 Nov 2006
TL;DR: A controlled experiment is conducted to investigate the cost effectiveness of using metamorphic testing by 38 testers on three open-source programs and shows that MT is cost-efficient and has potentials for detecting more faults than the assertion checking method.
References
Learning and reasoning by analogy
TL;DR: A theory of analogy is presented and an implemented system that embodies the theory is described that is designed to answer questions about Hamlet by way of knowledge about Macbeth.
574
The Programmer's Apprentice: Knowledge Based Program Editing
TL;DR: In this article, an initial implementation of an interactive programming assistant system called the programmer's apprentice (PA) is described, which is designed to be midway between an improved programming methodology and an automatic programming system.
142
A session with Tinker: Interleaving program testing with program design
Henry Lieberman,Carl Hewitt +1 more
- 25 Aug 1980
TL;DR: This paper presents a demonstration of the current implementation of Tinker, an experimental interactive programming system which integrates program testing with program design and constructs a procedure for the general case from sample calculations.
37
Abstraction, Inspection and Debugging in Programming
Charles Rich,Richard C. Waters +1 more
- 01 Jun 1981
TL;DR: The goals and milestones of the remaining three years of a five year research project to study the fundamental principles underlying the design and construction of large software systems and to demonstrate the feasibility of a computer aided design tool for this purpose, called the programmers apprentice.
29