article

Free access

An Approach to Program Testing

Author:

J. C. HuangAuthors Info & Claims

ACM Computing Surveys (CSUR), Volume 7, Issue 3

Pages 113 - 128

https://doi.org/10.1145/356651.356652

Published: 01 September 1975 Publication History

PDF eReader

References

[1]

ELSPAS, B. ET AL., "An assessment of techniques for proving program correctness," Computing Surveys, 4, 2 (June 1972), 97-147.

Crossref

Google Scholar

[2]

DAHL, O.-J. ET AL, Structured programming, Academic Press, London and New York, 1972.

Crossref

Google Scholar

[3]

B~GE, C., Theory of graphs and Its applicatzons, John Wiley & Sons, New York, 1962.

Google Scholar

[4]

HARXRY, F., Graph theory, Addison-Wesley, Reading, Mass., 1969.

Google Scholar

[5]

KRAUSE, K. W., Ew AL., "Optimal software test planmng through automated network analysis," Proc 1973 IEEE Symposium on Computer Software Relzab~lzty, New York, April-May 1973.

Google Scholar

[6]

HOWDEN, W. E., "Methodology for the generation of program test data," IEEE Transactzons on Computers, C-24, 5 (May 1975), 554-560.

Google Scholar

[7]

Fortran automated verification system Level i --user's guide, Program Validation Project, General Research Corp., October 1974.

Google Scholar

[8]

MILLER, E. F., ET AL. "Structurally based automatic program testing," presented at EASCON-74, Washington, D C, October 1974

Google Scholar

[9]

CLARKE, L., "A system to generate test data and symbolically execute programs," Tech. Report #CU-CS-060-75, Dept. Computer Science, University of Colorado, Boulder, February 1975.

Google Scholar

[10]

SLOANE, N J.A., "On finding the paths through a network," Bell System Tech. J., 51, 2 (February 1972).

Google Scholar

[11]

HOFFMAN, R. H., Automated verification system user's guzde, TRW Note No. 72-FMT- 891, 1972.

Google Scholar

[12]

CoPI, I. M., Symbolic logic, Macmillan, New York, 1965.

Google Scholar

[13]

MILLER, E. F.; AND MELTON, R.A., "Automated generation of testcase datasets," Proc. 1975 Internatl. Conf on Relzable Software, Los Angeles, Calif., April 1975. IEEE Cat. No. 75CH0940-7CSR.

Crossref

Google Scholar

[14]

HETZEL, W. C., Program test methods, Prentice-Hall, Englewood Cliffs, N. J., 1972.

Google Scholar

[15]

RAMAMOOR~HY, C. V., ET AL., "Design and construction of an automated software evaluation system," Proc 1978 IEEE Sympossum on Computer Software Reliab~hty, New York, April-May 1973.

Google Scholar

[16]

PAIGE, M. R.; AND BALKOVICH, E E., "On testing programs," Proc. 197~ IEEE Symp osium on Computer Software Reliability, ew York, April-May 1973.

Google Scholar

[17]

OSTERWEIL, L. J.; AND FOSDICK, L. D., "Data flow analysis as an aide in documentation, assertion generation, validation, and error detection," Tech Report #CU-CS- 055-74, Dept Computer Science, University of Colorado, Boulder, September 1974.

Google Scholar

[18]

Proc. 1975 Internatl Conf. on Reliable Software, Los Angeles, Calif., April 1975. IEEE Cat. No. 75CH0940-7CSR.

Google Scholar

[19]

Fortran automaled vemfi~ation system Level ! --system summary, Program Validation Project, General Research Corp., October 1974.

Google Scholar

Cited By

View all

Górski TStecz W(2024)A Method for Modeling and Testing Near-Real-Time System ScenariosApplied Sciences10.3390/app1405202314:5(2023)Online publication date: 29-Feb-2024
https://doi.org/10.3390/app14052023
Leng JZhong YLin ZXu KMourtzis DZhou XZheng PLiu QZhao JShen W(2023)Towards resilience in Industry 5.0: A decentralized autonomous manufacturing paradigmJournal of Manufacturing Systems10.1016/j.jmsy.2023.08.02371(95-114)Online publication date: Dec-2023
https://doi.org/10.1016/j.jmsy.2023.08.023
Rechtberger VBures MAhmed B(2022)Overview of Test Coverage Criteria for Test Case Generation from Finite State Machines Modelled as Directed Graphs2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)10.1109/ICSTW55395.2022.00044(207-214)Online publication date: Apr-2022
https://doi.org/10.1109/ICSTW55395.2022.00044
Show More Cited By

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 ...
An Approach to Software Product Testing

An approach is presented that uses the following techniques: automatic test case generation, self-checking test cases, black box test cases, random test cases, sampling, a form of exhaustive testing, correctness measurements, and the correction of ...
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

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ACM Computing Surveys Volume 7, Issue 3

Sept. 1975

61 pages

ISSN:0360-0300

EISSN:1557-7341

DOI:10.1145/356651

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 September 1975

Published in CSUR Volume 7, Issue 3

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

167
Total Citations
View Citations
2,251
Total Downloads

Downloads (Last 12 months)463
Downloads (Last 6 weeks)65

Reflects downloads up to 12 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Górski TStecz W(2024)A Method for Modeling and Testing Near-Real-Time System ScenariosApplied Sciences10.3390/app1405202314:5(2023)Online publication date: 29-Feb-2024
https://doi.org/10.3390/app14052023
Leng JZhong YLin ZXu KMourtzis DZhou XZheng PLiu QZhao JShen W(2023)Towards resilience in Industry 5.0: A decentralized autonomous manufacturing paradigmJournal of Manufacturing Systems10.1016/j.jmsy.2023.08.02371(95-114)Online publication date: Dec-2023
https://doi.org/10.1016/j.jmsy.2023.08.023
Rechtberger VBures MAhmed B(2022)Overview of Test Coverage Criteria for Test Case Generation from Finite State Machines Modelled as Directed Graphs2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)10.1109/ICSTW55395.2022.00044(207-214)Online publication date: Apr-2022
https://doi.org/10.1109/ICSTW55395.2022.00044
Alshammari MMezher MAl-utaibi K(2022)Automatic Test Data Generation Using Genetic Algorithm for Python Programs2022 2nd International Conference on Computing and Information Technology (ICCIT)10.1109/ICCIT52419.2022.9711607(197-205)Online publication date: 25-Jan-2022
https://doi.org/10.1109/ICCIT52419.2022.9711607
Huang RSun WXu YChen HTowey DXia X(2021)A Survey on Adaptive Random TestingIEEE Transactions on Software Engineering10.1109/TSE.2019.294292147:10(2052-2083)Online publication date: 1-Oct-2021
https://doi.org/10.1109/TSE.2019.2942921
Kloibhofer SPointhuber THeisinger MMössenböck HStadler LLeopoldseder DMarr S(2020)SymJEx: symbolic execution on the GraalVMProceedings of the 17th International Conference on Managed Programming Languages and Runtimes10.1145/3426182.3426187(63-72)Online publication date: 4-Nov-2020
https://dl.acm.org/doi/10.1145/3426182.3426187
Pradhan SRay M(2020)Asynchronous Testing in Web ApplicationsIntelligent and Cloud Computing10.1007/978-981-15-5971-6_39(355-361)Online publication date: 31-Oct-2020
https://doi.org/10.1007/978-981-15-5971-6_39
Niedermayr RWagner SAli SGarousi V(2019)Is the Stack Distance Between Test Case and Method Correlated With Test Effectiveness?Proceedings of the 23rd International Conference on Evaluation and Assessment in Software Engineering10.1145/3319008.3319021(189-198)Online publication date: 15-Apr-2019
https://dl.acm.org/doi/10.1145/3319008.3319021
Wang XXie ZHe JZhao GNie R(2019)Basis Path Coverage Criteria for Smart Contract Application Testing2019 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery (CyberC)10.1109/CyberC.2019.00016(34-41)Online publication date: Oct-2019
https://doi.org/10.1109/CyberC.2019.00016
Dadeau FFourneret EBouchelaghem A(2019)Temporal property patterns for model-based testing from UML/OCLSoftware and Systems Modeling (SoSyM)10.1007/s10270-017-0635-418:2(865-888)Online publication date: 1-Apr-2019
https://dl.acm.org/doi/10.1007/s10270-017-0635-4
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.

References

Cited By

Recommendations

Self-Checked Metamorphic Testing of an Image Processing Program

An Approach to Software Product 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