Article

Free access

Comparison of program testing strategies

Authors:

Elaine J. Weyuker,

Stewart N. Weiss,

Dick HamletAuthors Info & Claims

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

Pages 1 - 10

https://doi.org/10.1145/120807.120808

Published: 01 October 1991 Publication History

PDF eReader

References

[1]

V.R. Basili and R.W. Selby, "Comparing the Effectiveness of Software Testing Strategies", IEEE Trans. Software Eng., Vol. SE-13, No. 12, Dec 1987, pp. 1278-1296.

Digital Library

Google Scholar

[2]

L.A. Clarke, J. Hassell, and D.J. Richardson, "A Close Look at Domain Testing," IEEE Trans. Software Eng., Vol. SE-8, No. 4, July 1982, pp. 380-390.

Digital Library

Google Scholar

[3]

L.A. Clarke, A. Podgurski, D.J. Richardson and S.J. Zeil," A Comparison of Data Flow Path Selection Criteria", 8th IEEE International Conference on Software Engineering, August, 1985, London, pp. 244-251.

Digital Library

Google Scholar

[4]

M.D. Davis and E.J. Weyuker, "A Formal Notion of Program-Based Test Data Adequacy," Information and Control, vol.56, Nos.1-2, Jan/Feb 1983, pp. 52-71.

Crossref

Google Scholar

[5]

J.W. Duran and J. Wiorkowski, "Quantifying software vatidity by sampling," IEEE Trans. on Reliability, Vol. R-29, 1980, pp. 141-144.

Crossref

Google Scholar

[6]

J.W. Duran and S.C. Ntafos, "An Evaluation of Random Testing," IEEE Trans. Sofware Eng., Vol. SE-10, No. 4, July 1984, pp. 438-444.

Digital Library

Google Scholar

[7]

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

Digital Library

Google Scholar

[8]

P.G. Frankl and S.N. Weiss, "An experimental comparison of the effectiveness of the all-uses and all-edges adequacy criteria," Symposium on Testing, Analysis and Verification, Victoria, Canada, October 1991.

Digital Library

Google Scholar

[9]

M.R. Girgis and M.R. Woodward, "An Experimental Comparison of the Error Exposing Ability of Program Testing Criteria," Proc. Workshop on Software Testing, Banff, Canada, July 1986, pp. 64-73.

Google Scholar

[10]

J.S. Gourlay, "A Mathematical Framework for the Investigation of Testing," IEEE Trans. on Sofmare Eng., VO1.SE-9, No.6, Nov 1983, pp. 686-709.

Digital Library

Google Scholar

[11]

R. Hamlet, Editor's Introduction, Special Section on Software Testing, CACM, Vol. 31, June 1988, pp. 662-667.

Digital Library

Google Scholar

[12]

R. Hamlet, "Theoretical Comparison of Testing Methods," Proc. Third Symposium on Testing, Analysis, and Verijcation, Key West, Florida, Dec 1989, pp. 28-37.

Digital Library

Google Scholar

[13]

R. Hamlet and R. Taylor, "Partition Testing Does Not Inspire Confidence," Proc. Second Workshop on Software Testing, Verification, and Analysis, Banff, Canada, July 1988, pp. 206-215.

Google Scholar

[14]

W.E. Howden, "Reliability of the Path Analysis Testing Strategy," IEEE Trans. Software Eng., vol. SE-2, No.3, Sept 1976, pp. 208-215.

Digital Library

Google Scholar

[15]

IEEE Standard Dictionary of Electrical and Electronics Terms, Fourth Ed., IEEE, 1988.

Google Scholar

[16]

B. Jeng and E.J. Weyuker "Some Observations on Partition Testing," Proc. Third Symposium on Testing, Analysis, and Verification, Key West, Florida, Dec 1989, pp. 38-47.

Digital Library

Google Scholar

[17]

B. W. Kemighan and P.J. Plauger, Software Tools in Pascal, Addison Wesley, Reading Ma., 1981.

Digital Library

Google Scholar

[18]

L. Lauterbach and W Randall, Experimental evaluation of six test techniques, Proc. COMPASS '89, Gaitersburg, MD, June, 1989, pp. 36-41.

Crossref

Google Scholar

[19]

S. Ntafos, "An Evaluation of Required Element Testing Strategies," Proceedings Seventh International Conference on Sofware Engineering, Mar 1984, pp. 250- 256.

Digital Library

Google Scholar

[20]

S. Ntafos, "A Comparison of Some Structural Testing Strategies," IEEE Trans. Software Eng., Vol. 14, No.6, Jun 1988, pp. 868-874.

Digital Library

Google Scholar

[21]

S. Rapps and E.J. Weyuker, "Data Flow Analysis Techniques for Program Test Data Selection," Proceedings Sixth International Conference on Software Engineering, Tokyo, Japan, Sept. 1982, pp. 272-278.

Digital Library

Google Scholar

[22]

S. Rapps and E.J. Weyuker, "Selecting Software Test Data Using Data Flow Information," IEEE Trans. Sofware Eng., Vol. SE-11, No.4, April 1985, pp. 367-375.

Digital Library

Google Scholar

[23]

Rowland, John H. and Yu Zuyuan, "Experimental comparison of three system test strategies preliminary report," Proceedings of the ACM SIGSOFT 89 Third Symposium on Testing, Analysis, and Verification, Dec. 1989, pp. 141-145.

Digital Library

Google Scholar

[24]

K.C. Tai, "Program Testing Complexity and Test Criteria," IEEE Trans. Software Eng., Vol. SE-6, No.6, Nov. 1980, pp. 531- 538.

Digital Library

Google Scholar

[25]

M.D. Weiser, J.D. Gannon, P.R. McMullin, "Comparison of Structural Test Coverage Metrics," IEEE Software, Vol. 19, No. 2, Mar 1985, pp. 80-85.

Digital Library

Google Scholar

[26]

S.N. Weiss, "Comparing Test Data Adequacy Criteria," Software Engineering Notes, Vol. 14, No.6, Oct 1989, pp. 42-49.

Digital Library

Google Scholar

[27]

E.J. Weyuker, "The Complexity of Data Flow Criteria for Test Data Selection," Information Processing Letters, Vol. 19, No. 2, August 1984, pp. 103-109.

Digital Library

Google Scholar

[28]

E.J. Weyuker, "An Empirical Study of the Complexity of Data Flow Testing," Proc, Second Workshop on Software Testing, Verification, and Analysis, Banff, Canada, July 1988, pp. 188-195.

Google Scholar

[29]

E.J. Weyuker, "The Cost of Data Flow Testing: An Empirical Study," IEEE Trans. on Software Engineering, Vol. 16, No. 2, Feb 1990, pp. 121-128.

Digital Library

Google Scholar

[30]

L.J. White and E.I. Cohen, "A Domain Testing Strategy," IEEE Transactions on Sofiware Engineering, Vol. SE-6, No. 3, May, 1980, pp. 247-257.

Digital Library

Google Scholar

[31]

S.J. Zeil, "Selectivity of Data-Flow and Control-Flow Path Criteria," Proc. Second Workshop on Software Testing, Verification, and Analysis, Banff, Canada, July 1988, pp. 216-222.

Crossref

Google Scholar

Cited By

View all

Abd-Elkawy EAhmed R(2023)Empirical Comparison of Higher-Order Mutation Testing and Data-Flow Testing of C# with the Aid of Genetic AlgorithmApplied Sciences10.3390/app1316917013:16(9170)Online publication date: 11-Aug-2023
https://doi.org/10.3390/app13169170
Ahishakiye FRequeno Jarabo JKristensen LStolz V(2021)MC/DC Test Cases Generation Based on BDDsDependable Software Engineering. Theories, Tools, and Applications10.1007/978-3-030-91265-9_10(178-197)Online publication date: 18-Nov-2021
https://doi.org/10.1007/978-3-030-91265-9_10
Bousquet LDelahaye MOriat C(2016)Applying a Pairwise Coverage Criterion to Scenario-Based Testing2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)10.1109/ICSTW.2016.23(83-91)Online publication date: Apr-2016
https://doi.org/10.1109/ICSTW.2016.23
Show More Cited By

Index Terms

Comparison of program testing strategies
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis
        Software testing and debugging

Recommendations

A Comparison of Structural Testing Strategies Based on Subdomain Testing and Random Testing
DEPCOS-RELCOMEX '09: Proceedings of the 2009 Fourth International Conference on Dependability of Computer Systems

Both partition testing and random testing methods are commonly followed practice towards selection of test cases. For partition testing, the program’s input domain is divided into subsets, called subdomains, and one or more representatives from each ...
A Comparison of Tabular Expression-Based Testing Strategies

Tabular expressions have been proposed as a notation to document mathematically precise but readable software specifications. One of the many roles of such documentation is to guide testers. This paper 1) explores the application of four testing ...
A Comparison of Some Structural Testing Strategies

Several structural testing strategies are compared in terms of their relative coverage of the program's structure and also in terms of the number of test cases needed to satisfy each strategy. Some of the deficiencies of such comparisons are discussed

Comments

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

83
Total Citations
View Citations
1,748
Total Downloads

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

Reflects downloads up to 16 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Abd-Elkawy EAhmed R(2023)Empirical Comparison of Higher-Order Mutation Testing and Data-Flow Testing of C# with the Aid of Genetic AlgorithmApplied Sciences10.3390/app1316917013:16(9170)Online publication date: 11-Aug-2023
https://doi.org/10.3390/app13169170
Ahishakiye FRequeno Jarabo JKristensen LStolz V(2021)MC/DC Test Cases Generation Based on BDDsDependable Software Engineering. Theories, Tools, and Applications10.1007/978-3-030-91265-9_10(178-197)Online publication date: 18-Nov-2021
https://doi.org/10.1007/978-3-030-91265-9_10
Bousquet LDelahaye MOriat C(2016)Applying a Pairwise Coverage Criterion to Scenario-Based Testing2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)10.1109/ICSTW.2016.23(83-91)Online publication date: Apr-2016
https://doi.org/10.1109/ICSTW.2016.23
Huo CClause J(2016)Interpreting Coverage Information Using Direct and Indirect Coverage2016 IEEE International Conference on Software Testing, Verification and Validation (ICST)10.1109/ICST.2016.20(234-243)Online publication date: Apr-2016
https://doi.org/10.1109/ICST.2016.20
Mei LCai YJia CJiang BChan WZhang ZTse T(2015)A Subsumption Hierarchy of Test Case Prioritization for Composite ServicesIEEE Transactions on Services Computing10.1109/TSC.2014.23316838:5(658-673)Online publication date: 1-Sep-2015
https://doi.org/10.1109/TSC.2014.2331683
Asoudeh NLabiche Y(2015)On the Effect of Counters in Guard Conditions When State-Based Multi-objective TestingProceedings of the 2015 IEEE International Conference on Software Quality, Reliability and Security - Companion10.1109/QRS-C.2015.26(105-114)Online publication date: 3-Aug-2015
https://dl.acm.org/doi/10.1109/QRS-C.2015.26
Asoudeh NLabiche Y(2014)Multi-objective Construction of an Entire Adequate Test Suite for an EFSMProceedings of the 2014 IEEE 25th International Symposium on Software Reliability Engineering10.1109/ISSRE.2014.14(288-299)Online publication date: 3-Nov-2014
https://dl.acm.org/doi/10.1109/ISSRE.2014.14
Labiche YSadeghi F(2013)Experimenting with Category Partition's 1-Way and 2-Way Test Selection CriteriaProceedings of the 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops10.1109/ICSTW.2013.41(301-310)Online publication date: 18-Mar-2013
https://dl.acm.org/doi/10.1109/ICSTW.2013.41
Schuler DZeller A(2013)Checked coverage: an indicator for oracle qualitySoftware Testing, Verification and Reliability10.1002/stvr.149723:7(531-551)Online publication date: 8-May-2013
https://doi.org/10.1002/stvr.1497
Nikolik B(2012)Software quality assurance economicsInformation and Software Technology10.1016/j.infsof.2012.06.00354:11(1229-1238)Online publication date: 1-Nov-2012
https://dl.acm.org/doi/10.1016/j.infsof.2012.06.003
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.

Cited By

Index Terms

Recommendations

A Comparison of Structural Testing Strategies Based on Subdomain Testing and Random Testing

A Comparison of Tabular Expression-Based Testing Strategies

A Comparison of Some Structural Testing Strategies

Comments

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Conference

Upcoming Conference

Other Metrics

Article Metrics

Other Metrics

Cited By

PDF

eReader

Login options

Full Access

References

Cited By

Index Terms

Recommendations

A Comparison of Structural Testing Strategies Based on Subdomain Testing and Random Testing

A Comparison of Tabular Expression-Based Testing Strategies

A Comparison of Some Structural Testing Strategies

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Conference

Upcoming Conference

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