research-article

More Experience with Data Flow Testing

Author:

E. J. WeyukerAuthors Info & Claims

IEEE Transactions on Software Engineering, Volume 19, Issue 9

Pages 912 - 919

https://doi.org/10.1109/32.241773

Published: 01 September 1993 Publication History

Abstract

Experience is provided about the cost and effectiveness of the Rapps-Weyuker data flow testing criteria. This experience is based on studies using a suite of well-known numerical programs, and supplements an earlier study (Weyuker 1990) using different types of programs. The conclusions drawn in the earlier study involving cost are confirmed in this study. New observations about tester variability and cost assessment, as well as fault detection, are also provided.

References

[1]

{1} Collected Algorithms from ACM, Vol. 1, Association for Computing Machinery, New York, 1980.

[2]

{2} L. A. Clarke, A. Podgurski, D. J. Richardson, and S. J. Zeil, "A formal evaluation of data flow path selection criteria," IEEE Trans. Software Eng., vol. 15, no. 11, pp. 1318-1332, Nov. 1989.

Digital Library

[3]

{3} R. A. DeMillo, R. J. Lipton, and F. G. Sayward, "Hints on test data selection: Help for the practicing programmer," Computer, vol. 11, no. 4, pp. 34-41, Apr. 1978.

Digital Library

[4]

{4} L. M. Foreman and S. H. Zweben, "A study of the effectiveness of control and data flow testing strategies," J. Syst. Software, vol. 21, pp. 215-228, 1993.

Digital Library

[5]

{5} P. G. Frankl and E. J. Weyuker, "A data flow testing tool," in Proc. IEEE Softfair II, San Francisco, CA, Dec. 1985, pp. 46-53.

Digital Library

[6]

{6} P. G. Frankl and E. J. Weyuker, "An applicable family of data flow testing criteria," IEEE Tran. Software Eng., vol. 14, no. 10, pp. 1483-1498, Oct. 1988.

Digital Library

[7]

{7} P. G. Frankl and E. J. Weyuker, "Comparing fault detecting ability of testing methods," in Proc. ACM SIGSOFT 91, Conf. Software for Critical Syst., New Orleans, LA, Dec 1991, pp. 77-91.

Digital Library

[8]

{8} P. G. Frankl and E. J. Weyuker, "A formal analysis of the fault-detecting ability of testing methods," IEEE Trans. Software Eng., pp. 202-213, Mar. 1993.

Digital Library

[9]

{9} P. M. Herman, "A data analysis approach to program testing," Australian Comput. J., vol. 8, no. 3, pp. 92-96, Nov. 1976.

[10]

{10} B. W. Kernighan and P. J. Plauger, Software Tools in Pascal. Reading MA: Addison-Wesley, 1981.

Digital Library

[11]

{11} J. W. Laski and B. Korel, "A data flow oriented program testing strategy," IEEE Trans. Software Eng., vol. SE-9, no. 3, pp. 347-354, May 1983.

Digital Library

[12]

{12} L. Lauterbach and W. Randall, "Experimental evaluation of six test techniques," in Proc. Fourth Annu. Conf. Comput. Assurance, Gaithersburg, MD, June 1989, pp. 36-40.

[13]

{13} L. J. Morell, "A theory of fault-based testing," IEEE Trans. Software Eng., vol. SE-16, no. 8, pp. 844-857, Aug. 1990.

Digital Library

[14]

{14} S. Ntafos, "An evaluation of required element testing strategies," in Proc. Seventh Int. Conf. Software Eng., Mar. 1984, pp. 250-256.

Digital Library

[15]

{15} S. Ntafos, "A comparison of some structural testing strategies," IEEE Trans. Software Eng., vol. 14, no. 6, pp. 868-874, June 1988.

Digital Library

[16]

{16} S. Rapps and E. J. Weyuker, "Selecting software test data using data flow information," IEEE Trans. Software Eng., vol. SE-11, no. 4, pp. 367-375, Apr. 1985.

Digital Library

[17]

{17} D. J. Richardson and M. C. Thompson, "The RELAY model of error detection and its application," in Proc. Second Workshop Software Testing, Verification, and Analysis, IEEE Computer Society, Banff, Canada, July 1988, pp. 223-230.

[18]

{18} E. J. Weyuker, "The cost of data flow testing: An empirical study," IEEE Trans. Software Eng., vol. 16, no. 2, pp. 121-128, Feb 1990.

Digital Library

[19]

{19} E. J. Weyuker, S. N. Weiss, and D. Hamlet, "Comparison of program testing strategies," in Proc. Fourth ACM SIGSOFT Symp. Software Testing, Analysis and Verification (TAV4), Victoria, B.C., Canada, Oct. 1991, pp. 1-10.

Digital Library

Cited By

Li LZhou YYuan YWu S(2021)An Extensive Study on Multi-Priority Algorithm in Test Case Prioritization and Reduction2021 2nd Asia Service Sciences and Software Engineering Conference10.1145/3456126.3456135(48-57)Online publication date: 24-Feb-2021
https://dl.acm.org/doi/10.1145/3456126.3456135
Zhang PYu JJi S(2020)ADF-GAProceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops10.1145/3387940.3391499(754-761)Online publication date: 27-Jun-2020
https://dl.acm.org/doi/10.1145/3387940.3391499
Wang RSato YLiu S(2019)Specification-based Test Case Generation with Genetic Algorithm2019 IEEE Congress on Evolutionary Computation (CEC)10.1109/CEC.2019.8790233(1382-1389)Online publication date: 10-Jun-2019
https://dl.acm.org/doi/10.1109/CEC.2019.8790233
Show More Cited By

Index Terms

More Experience with Data Flow Testing
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis
        Software testing and debugging

Index terms have been assigned to the content through auto-classification.

Recommendations

An Experimental Comparison of the Effectiveness of Branch Testing and Data Flow Testing

An experiment comparing the effectiveness of the all-uses and all-edges test data adequacy criteria is discussed. The experiment was designed to overcome some of the deficiencies of previous software testing experiments. A large number of test sets was ...
Provable Improvements on Branch Testing

This paper compares the fault-detecting ability of several software test data adequacy criteria. It has previously been shown that if C/sub 1/ properly covers C/sub 2/, then C/sub 1/ is guaranteed to be better at detecting faults than C/sub 2/, in the ...
An Applicable Family of Data Flow Testing Criteria

The authors extend the definitions of the previously introduced family of data flow testing criteria to apply to programs written in a large subset of Pascal. They then define a family of adequacy criteria called feasible data flow testing criteria, ...

Comments

Information & Contributors

Information

Published In

cover image IEEE Transactions on Software Engineering

IEEE Transactions on Software Engineering Volume 19, Issue 9

September 1993

96 pages

ISSN:0098-5589

Issue’s Table of Contents

Copyright © Copyright © 1993 IEEE. All Rights Reserved.

Publisher

IEEE Press

Publication History

Published: 01 September 1993

Author Tags

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

29
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 13 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

Li LZhou YYuan YWu S(2021)An Extensive Study on Multi-Priority Algorithm in Test Case Prioritization and Reduction2021 2nd Asia Service Sciences and Software Engineering Conference10.1145/3456126.3456135(48-57)Online publication date: 24-Feb-2021
https://dl.acm.org/doi/10.1145/3456126.3456135
Zhang PYu JJi S(2020)ADF-GAProceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops10.1145/3387940.3391499(754-761)Online publication date: 27-Jun-2020
https://dl.acm.org/doi/10.1145/3387940.3391499
Wang RSato YLiu S(2019)Specification-based Test Case Generation with Genetic Algorithm2019 IEEE Congress on Evolutionary Computation (CEC)10.1109/CEC.2019.8790233(1382-1389)Online publication date: 10-Jun-2019
https://dl.acm.org/doi/10.1109/CEC.2019.8790233
Marcozzi MBardin SKosmatov NPapadakis MPrevosto VCorrenson LChaudron MCrnkovic IChechik MHarman M(2018)Time to clean your test objectivesProceedings of the 40th International Conference on Software Engineering10.1145/3180155.3180191(456-467)Online publication date: 27-May-2018
https://dl.acm.org/doi/10.1145/3180155.3180191
Su TWu KMiao WPu GHe JChen YSu Z(2017)A Survey on Data-Flow TestingACM Computing Surveys10.1145/302026650:1(1-35)Online publication date: 10-Mar-2017
https://dl.acm.org/doi/10.1145/3020266
Nautiyal LPreeti (2016)A Novel Approach of Equivalence Class Partitioning for Numerical InputACM SIGSOFT Software Engineering Notes10.1145/2853073.285308441:1(1-5)Online publication date: 22-Feb-2016
https://dl.acm.org/doi/10.1145/2853073.2853084
Afzal WGhazi AItkonen JTorkar RAndrews ABhatti K(2015)An experiment on the effectiveness and efficiency of exploratory testingEmpirical Software Engineering10.1007/s10664-014-9301-420:3(844-878)Online publication date: 1-Jun-2015
https://dl.acm.org/doi/10.1007/s10664-014-9301-4
Papadakis MMalevris N(2012)Mutation based test case generation via a path selection strategyInformation and Software Technology10.1016/j.infsof.2012.02.00454:9(915-932)Online publication date: 1-Sep-2012
https://dl.acm.org/doi/10.1016/j.infsof.2012.02.004
Cavarra A(2011)A data-flow approach to test multi-agent ASMsFormal Aspects of Computing10.1007/s00165-009-0134-723:1(21-41)Online publication date: 1-Jan-2011
https://dl.acm.org/doi/10.1007/s00165-009-0134-7
Bouchachia AMittermeir RSielecky PStafiej SZieminski M(2010)Nature-inspired techniques for conformance testing of object-oriented softwareApplied Soft Computing10.1016/j.asoc.2009.09.00310:3(730-745)Online publication date: 1-Jun-2010
https://dl.acm.org/doi/10.1016/j.asoc.2009.09.003
Show More Cited By

View Options

View options

Media

Figures

Other

Tables

View Issue’s Table of Contents