article

Free access

A program testing assistant

Author:

David ChapmanAuthors Info & Claims

Communications of the ACM, Volume 25, Issue 9

Pages 625 - 634

https://doi.org/10.1145/358628.358642

Published: 01 September 1982 Publication History

PDF eReader

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.

References

[1]

Greenblatt, R. Knight, T., Holloway, J., and Moon, D. A Lisp Machine. Fifth Workshop on Computer Architecture for Non-numeric Processing, Pacific Grove, CA, March I 1-14, 1980, p. 137-138.

Digital Library

Google Scholar

[2]

Lieberman, H. and Hewitt, C. A session with TINKER: Interleaving program testing with program design. Proc. 1980 LISP Conference. Stanford University, August 1980.

Digital Library

Google Scholar

[3]

Rich, C. and Waters, R.C. Abstraction, inspection and debugging in programming. MIT Artificial Intelligence Laboratory Memo No. 634, June, 1981.

Google Scholar

[4]

Shapiro, D. Sniffer: A system that understands bugs. (M.S. Thesis), MIT Artificial Intelligence Laboratory Memo 638, June, 1981.

Google Scholar

[5]

Waters, R.C. The programmer's apprentice: Knowledge based program editing. IEEE Trans. Software Engineering. 8, i (Jan. 1982) 1-12.

Google Scholar

[6]

Winston, P. H. Learning and reasoning by analogy. Comm. ACM. 23, 12 (Dec. 1980) 689-703.

Digital Library

Google Scholar

[7]

IEEE Trans. Software Engineering, (May 1980): special issue on testing.

Google Scholar

Cited By

View all

ALAWNEH SPETERS D(2013)USING TEST ORACLES AND FORMAL SPECIFICATIONS WITH TEST-DRIVEN DEVELOPMENTInternational Journal of Software Engineering and Knowledge Engineering10.1142/S021819401350011323:03(361-385)Online publication date: Apr-2013
https://doi.org/10.1142/S0218194013500113
Afshari MBarr ESu ZLeavens GEdwards J(2012)Liberating the programmer with prorogued programmingProceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software10.1145/2384592.2384595(11-26)Online publication date: 19-Oct-2012
https://dl.acm.org/doi/10.1145/2384592.2384595
Awedikian RYannou B(2012)A practical model‐based statistical approach for generating functional test cases: application in the automotive industrySoftware Testing, Verification and Reliability10.1002/stvr.147924:2(85-123)Online publication date: 28-Aug-2012
https://doi.org/10.1002/stvr.1479
Show More Cited By

Index Terms

A program testing assistant
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis
        Software testing and debugging
  2. Software notations and tools
    1. Development frameworks and environments

Recommendations

Self-Checked Metamorphic Testing of an Image Processing Program
SSIRI '10: Proceedings of the 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement

Metamorphic testing is an effective technique for testing systems that do not have test oracles, for which it is practically impossible to know the correct output of an arbitrary test input. In metamorphic testing, instead of checking the correctness of ...
Pex--An Intelligent Assistant for Rigorous Developer Testing
ICECCS '07: Proceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems

Pex takes test-driven development to the next level. Pex analyzes .NET applications. From a parameterized unit test, which serves as a specification, it automatically produces traditional unit tests cases with high code coverage. Moreover, when a ...
Incremental program testing using program dependence graphs
POPL '93: Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Program dependence graphs have been proposed for use in optimizing, vectorizing, and parallelizing compilers, and for program integration. This paper proposes their use as the basis for incremental program testing when using test data adequacy criteria. ...

Comments

Information & Contributors

Information

Published In

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 September 1982

Published in CACM Volume 25, Issue 9

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

38
Total Citations
View Citations
409
Total Downloads

Downloads (Last 12 months)74
Downloads (Last 6 weeks)9

Reflects downloads up to 16 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

ALAWNEH SPETERS D(2013)USING TEST ORACLES AND FORMAL SPECIFICATIONS WITH TEST-DRIVEN DEVELOPMENTInternational Journal of Software Engineering and Knowledge Engineering10.1142/S021819401350011323:03(361-385)Online publication date: Apr-2013
https://doi.org/10.1142/S0218194013500113
Afshari MBarr ESu ZLeavens GEdwards J(2012)Liberating the programmer with prorogued programmingProceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software10.1145/2384592.2384595(11-26)Online publication date: 19-Oct-2012
https://dl.acm.org/doi/10.1145/2384592.2384595
Awedikian RYannou B(2012)A practical model‐based statistical approach for generating functional test cases: application in the automotive industrySoftware Testing, Verification and Reliability10.1002/stvr.147924:2(85-123)Online publication date: 28-Aug-2012
https://doi.org/10.1002/stvr.1479
Kim JKim HLee JLee J(2011)Achieving a single compute device image in OpenCL for multiple GPUsACM SIGPLAN Notices10.1145/2038037.194159146:8(277-288)Online publication date: 12-Feb-2011
https://dl.acm.org/doi/10.1145/2038037.1941591
Hong SKim SOguntebi TOlukotun K(2011)Accelerating CUDA graph algorithms at maximum warpACM SIGPLAN Notices10.1145/2038037.194159046:8(267-276)Online publication date: 12-Feb-2011
https://dl.acm.org/doi/10.1145/2038037.1941590
Dotsenko YBaghsorkhi SLloyd BGovindaraju N(2011)Auto-tuning of fast fourier transform on graphics processorsACM SIGPLAN Notices10.1145/2038037.194158946:8(257-266)Online publication date: 12-Feb-2011
https://dl.acm.org/doi/10.1145/2038037.1941589
Kourtis KKarakasis VGoumas GKoziris N(2011)CSXACM SIGPLAN Notices10.1145/2038037.194158746:8(247-256)Online publication date: 12-Feb-2011
https://dl.acm.org/doi/10.1145/2038037.1941587
Tanase GBuss AFidel AHarshvardhan Papadopoulos IPearce OSmith TThomas NXu XMourad NVu JBianco MAmato NRauchwerger L(2011)The STAPL parallel container frameworkACM SIGPLAN Notices10.1145/2038037.194158646:8(235-246)Online publication date: 12-Feb-2011
https://dl.acm.org/doi/10.1145/2038037.1941586
Kogan APetrank E(2011)Wait-free queues with multiple enqueuers and dequeuersACM SIGPLAN Notices10.1145/2038037.194158546:8(223-234)Online publication date: 12-Feb-2011
https://dl.acm.org/doi/10.1145/2038037.1941585
Wang ZLiu RChen YWu XChen HZhang WZang B(2011)COREMUACM SIGPLAN Notices10.1145/2038037.194158346:8(213-222)Online publication date: 12-Feb-2011
https://dl.acm.org/doi/10.1145/2038037.1941583
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Index Terms

Recommendations

Self-Checked Metamorphic Testing of an Image Processing Program

Pex--An Intelligent Assistant for Rigorous Developer Testing

Incremental program testing using program dependence graphs

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations