Learning and reasoning by analogy
Communications of the ACM
CAW '80 Proceedings of the fifth workshop on Computer architecture for non-numeric processing
A session with Tinker: Interleaving program testing with program design
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
Generating a test oracle from program documentation: work in progress
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
TOBAC: a test case browser for testing object-oriented software
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Using Test Oracles Generated from Program Documentation
IEEE Transactions on Software Engineering
Knowledge Intensive Software Engineering Tools
IEEE Transactions on Knowledge and Data Engineering
Toward an electronic programmer's assistant
SIGDOC '83 Proceedings of the 2nd annual international conference on Systems documentation
Steps toward better debugging tools for LISP
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Artificial intelligence and software engineering: The Programmer's Apprentice project
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
A program testing assistant for BASIC-PLUS
ACM SIGSOFT Software Engineering Notes
An empirical comparison between direct and indirect test result checking approaches
Proceedings of the 3rd international workshop on Software quality assurance
RBOSTP: risk-based optimization of software testing process part 1
ICCOMP'05 Proceedings of the 9th WSEAS International Conference on Computers
RBOSTP: risk-based optimization of software testing process part 2
ICCOMP'05 Proceedings of the 9th WSEAS International Conference on Computers
An experimental assessment of module documentation-based testing
Information and Software Technology
Applying modeling & simulation to the software testing process: one test oracle solution
ACMOS'05 Proceedings of the 7th WSEAS international conference on Automatic control, modeling and simulation
Liberating the programmer with prorogued programming
Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software
Hi-index | 48.22 |
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.