Article

Free access

Data flow coverage and the C language

Authors:

J. R. Horgan,

S. LondonAuthors Info & Claims

TAV4: Proceedings of the symposium on Testing, analysis, and verification

Pages 87 - 97

https://doi.org/10.1145/120807.120815

Published: 01 October 1991 Publication History

PDF eReader

References

[1]

Bieman, J.M., J.L. Schultz, "Estimating the Number of Test Cases Required to Satisfy the All-dupaths Testing Criterion," Proceedings of the Third Workshop on Software Testing, Verification, and Analysis, Key West, IEEE Computer Society, 1989.

Digital Library

Google Scholar

[2]

Clarke, L.A., A. Podgurski, D.J. Richardson, S.J. Zeil, "A Formal Evaluation of Data Flow Path Selection Criteria," IEEE Transactions on Software Engineering, Vol. 15, No. 11, November 1989.

Digital Library

Google Scholar

[3]

DeMillo, R.A., W.M. McCracken, R,J. Martin, J.F. Passafiume, Software Testing and Evaluation, The Benjamin/Cummings Publishing Company, Menlo Park, CA, 1987.

Digital Library

Google Scholar

[4]

DeMillo, R.A., D.S. Gundi, K.N. King, W.M. McCracken, and A.J. Offutt, "An extended overview of the Mothra software testing environment," Proceedings of the Second Workshop on Software Testing, Verification, and Analysis, Banff, IEEE Computer Society, 1988.

Google Scholar

[5]

DeMillo, R.A., E.W. Krauser, A.P. Mathur, "Compiler-Integrated Mutation," Proceedings of the Fifteenth Annual Computer Software and Applications Conference, Kogakuin University, Tokyo, Japan, September 11-13, 1991.

Google Scholar

[6]

Frankl, P.G., The use of Data Flow Information for the Selection and Evaluation of Software Test Data, Ph.D. dissertation. New York Univ., New York, Oct. 1987.

Digital Library

Google Scholar

[7]

Frankl, P.G., E.J. Weyuker, "An Applicable Family of Data Flow Testing Criteria," IEEE Transactions on Software Engineering, Vol. SE-14, No. 10, October 1988.

Digital Library

Google Scholar

[8]

Horgan, J.R, S.A. London, "ATAC -- Automatic Test Analysis For C programs," Bellcore internal memorandum, 1990.

Google Scholar

[9]

Horgan, J.R., A.P. Mathur, "Effectiveness of Data Flow Testing," under preparation, 1991.

Google Scholar

[10]

Horgan, J.R., A.P. Mathur, "Weak Mutation is Probably Strong Mutation," SERC-TR-83-P, Software Engineering Research Center, Purdue University, December 1990.

Google Scholar

[11]

Horgan, J.R., "Test Selection Oracles and their speed-up," Bellcore internal memorandum, 1991.

Google Scholar

[12]

Kernighan, B.W., D.M. Ritchie, The C Programming Language, Prentice-Hall, Englewood Cliffs, 1978.

Digital Library

Google Scholar

[13]

Kernighan, B.W., R. Pike, The UNIX Programming Environment, Prentice-Hall, Englewood Cliffs, 1984.

Digital Library

Google Scholar

[14]

Laski, J., "Data Flow Testing in STAD," Journal of Systems Software, 12, pp. 3-14, 1990.

Digital Library

Google Scholar

[15]

Nachbar, D.W., "SPIFF -- A Program for Making Controlled Approximate Comparison of Files," Bellcore internal memorandum, 1988.

Google Scholar

[16]

Offutt, A.J., "Automatic Test Data Generation," Ph.D. Thesis, Georgia Institute of Technology, Atlanta, Ga., 1988.

Digital Library

Google Scholar

[17]

Rapps, S., E.J. Weyuker, "Selecting Software Test Data Using Data Flow Information," IEEE Transac-tions on Software Engineering, Vol. SE-11, N0,4, April 1985.

Digital Library

Google Scholar

[18]

Weyuker E.J., "The applicability of program scheme results to programs," Int. J. Comput. Inform. Sci., vol. 8, pp.387-403, Nov, 1979.

Crossref

Google Scholar

[19]

Weyuker, E.J., The Cost of Data Flow Testing: An Empirical Study, IEEE Transactions on Software Engineering, Vol. 16, No. 2, February 1990.

Digital Library

Google Scholar

Cited By

View all

Liu YLi RTao HZheng Z(2024)Test Adequacy Criteria for Metamorphic Testing2024 IEEE 24th International Conference on Software Quality, Reliability, and Security Companion (QRS-C)10.1109/QRS-C63300.2024.00072(527-534)Online publication date: 1-Jul-2024
https://doi.org/10.1109/QRS-C63300.2024.00072
Hildebrandt Cvon Stein MElbaum SJust RFraser G(2023)PhysCov: Physical Test Coverage for Autonomous VehiclesProceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis10.1145/3597926.3598069(449-461)Online publication date: 12-Jul-2023
https://dl.acm.org/doi/10.1145/3597926.3598069
Herrera APayer MHosking A(2023) DatAFLow: Toward a Data-Flow-Guided FuzzerACM Transactions on Software Engineering and Methodology10.1145/358715632:5(1-31)Online publication date: 21-Jul-2023
https://dl.acm.org/doi/10.1145/3587156
Show More Cited By

Index Terms

Data flow coverage and the C language
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. General programming languages
      1. Language features
        Control structures
      2. Language types
2. Theory of computation
  1. Semantics and reasoning
    1. Program constructs
      1. Control primitives

Recommendations

Efficiently monitoring data-flow test coverage
ASE '07: Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering

Structural testing of software requires monitoring the software's execution to determine which program entities are executed by a test suite. Such monitoring can add considerable overhead to the execution of the program, adversely affecting the cost of ...
Data coverage testing
Checked Coverage and Object Branch Coverage: New Alternatives for Assessing Student-Written Tests
SIGCSE '15: Proceedings of the 46th ACM Technical Symposium on Computer Science Education

Many educators currently use code coverage metrics to assess student-written software tests. While test adequacy criteria such as statement or branch coverage can also be used to measure the thoroughness of a test suite, they have limitations. Coverage ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

TAV4: Proceedings of the symposium on Testing, analysis, and verification

October 1991

213 pages

ISBN:089791449X

DOI:10.1145/120807

Chairman:
William Howden
Univ. of California, San Diego

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 October 1991

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

TAV-4

Sponsor:

SIGSOFT

TAV-4: Symposium on Testing Analysis and Verification

October 8 - 10, 1991

British Columbia, Victoria, Canada

Upcoming Conference

ISSTA '25

Sponsor:
sigsoft

34th ACM SIGSOFT International Symposium on Software Testing and Analysis

June 25 - 28, 2025

Trondheim , Norway

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

80
Total Citations
View Citations
1,629
Total Downloads

Downloads (Last 12 months)181
Downloads (Last 6 weeks)19

Reflects downloads up to 03 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Liu YLi RTao HZheng Z(2024)Test Adequacy Criteria for Metamorphic Testing2024 IEEE 24th International Conference on Software Quality, Reliability, and Security Companion (QRS-C)10.1109/QRS-C63300.2024.00072(527-534)Online publication date: 1-Jul-2024
https://doi.org/10.1109/QRS-C63300.2024.00072
Hildebrandt Cvon Stein MElbaum SJust RFraser G(2023)PhysCov: Physical Test Coverage for Autonomous VehiclesProceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis10.1145/3597926.3598069(449-461)Online publication date: 12-Jul-2023
https://dl.acm.org/doi/10.1145/3597926.3598069
Herrera APayer MHosking A(2023) DatAFLow: Toward a Data-Flow-Guided FuzzerACM Transactions on Software Engineering and Methodology10.1145/358715632:5(1-31)Online publication date: 21-Jul-2023
https://dl.acm.org/doi/10.1145/3587156
Su TZhang CYan YFan LLiu YFu ZSu Z(2023)Towards Efficient Data-Flow Test Data GenerationTheories of Programming and Formal Methods10.1007/978-3-031-40436-8_10(257-293)Online publication date: 8-Sep-2023
https://doi.org/10.1007/978-3-031-40436-8_10
Zhang ZWang YWang ZQian J(2019)How to Effectively Reduce Tens of Millions of Tests: An Industrial Case Study on Adaptive Random TestingIEEE Transactions on Reliability10.1109/TR.2019.292764368:4(1429-1443)Online publication date: Dec-2019
https://doi.org/10.1109/TR.2019.2927643
Gao RWong WChen ZWang Y(2017)Effective software fault localization using predicted execution resultsSoftware Quality Journal10.1007/s11219-015-9295-125:1(131-169)Online publication date: 1-Mar-2017
https://dl.acm.org/doi/10.1007/s11219-015-9295-1
Nouman MPervez UHasan OSaghar K(2016)Software testing: A survey and tutorial on white and black-box testing of C/C++ programs2016 IEEE Region 10 Symposium (TENSYMP)10.1109/TENCONSpring.2016.7519409(225-230)Online publication date: May-2016
https://doi.org/10.1109/TENCONSpring.2016.7519409
Su TFu ZPu GHe JSu ZBertolino ACanfora GElbaum S(2015)Combining symbolic execution and model checking for data flow testingProceedings of the 37th International Conference on Software Engineering - Volume 110.5555/2818754.2818834(654-665)Online publication date: 16-May-2015
https://dl.acm.org/doi/10.5555/2818754.2818834
Rabe MDeininger MScheidler ATaylor SMustafee NSon Y(2015)Verification of Petri Nets based Simulation Models using Coverage MetricsProceedings of the 3rd ACM SIGSIM Conference on Principles of Advanced Discrete Simulation10.1145/2769458.2769460(247-256)Online publication date: 10-Jun-2015
https://dl.acm.org/doi/10.1145/2769458.2769460
Su TFu ZPu GHe JSu Z(2015)Combining Symbolic Execution and Model Checking for Data Flow Testing2015 IEEE/ACM 37th IEEE International Conference on Software Engineering10.1109/ICSE.2015.81(654-665)Online publication date: May-2015
https://doi.org/10.1109/ICSE.2015.81
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

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

Cited By

Index Terms

Recommendations

Efficiently monitoring data-flow test coverage

Data coverage testing

Checked Coverage and Object Branch Coverage: New Alternatives for Assessing Student-Written Tests