Journal Article10.1109/C-M.1978.218138
Automatic Software Test Drivers
63
TL;DR: Typical testing activities may involve many hundreds of tests, but an automatic software test driver assists the tester by managing all the test data, and automatically running the tests.
read more
Abstract: Typical testing activities may involve many hundreds of tests. An automatic software test driver assists the tester by managing all of the test data, and automatically running the tests. Savings during regression testing can be significant.
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
Comparing the Effectiveness of Software Testing Strategies
TL;DR: This study applies an experimentation methodology to compare three state-of-the-practice software testing techniques: a) code reading by stepwise abstraction, b) functional testing using equivalence partitioning and boundary value analysis, and c) structural testing using 100 percent statement coverage criteria.
581
A Simple and Practical Approach to Unit Testing: The JML and JUnit Way
Yoonsik Cheon,Gary T. Leavens +1 more
- 10 Jun 2002
TL;DR: In this paper, the authors present an approach that makes writing unit tests easier by using a formal specification language's runtime assertion checker to decide whether methods are working correctly, thus automating the writing of unit test oracles.
333
Specification-based test oracles for reactive systems
Debra J. Richardson,Stephanie Leif Aha,T. Owen O'Malley +2 more
- 01 Jun 1992
TL;DR: It is argued that test oracles should be derived from specifications in conjunction with testing criteria, represented in a common form, and their use made integral to the test- ing process.
277
A Runtime Assertion Checker for the Java Modeling Language (JML)
Yoonsik Cheon
- 01 Jan 2003
TL;DR: A runtime assertion checker for the Java Modeling Language (JML) that helps in assigning blame during debugging and in automatic generation of test oracles, which represents a significant advance over the current state of the art.
271
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
References
Test procedures: A new approach to software verification
David J. Panzl
- 13 Oct 1976
TL;DR: The paper analyzes current testing practices, describes the structure and design of test procedures and introduces the Fortran Test Procedure Language.
16
Automatic revision of formal test procedures
David J. Panzl
- 10 May 1978
TL;DR: The TPL/2.0 automatic software test driver described in this paper automates both the initial generation and subsequent revision of test procedure model outputs.
5