Article

Free access

Case studies on testing object-oriented programs

Authors:

Roong-Ko Doong,

Phyllis G. FranklAuthors Info & Claims

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

Pages 165 - 177

https://doi.org/10.1145/120807.120822

Published: 01 October 1991 Publication History

PDF eReader

References

[1]

P. G. Frankl and R.-K. Doong, "Tools for testing object-oriented programs", in Proceedings of Pacific No rthwest Software Quality Conference 1990, (Portland, Oregon), pp. 309-324, Oct. 1990.

Google Scholar

[2]

A. Goldberg and D. Robson, Smalltalk-80: The Language and its Implementation. Reading, MA: Addison-Wesley, 1983.

Digital Library

Google Scholar

[3]

B. Stroustrup, The C++ Programming Language. Reading, Mass.: Addison-Wesley, 1986.

Digital Library

Google Scholar

[4]

B. Meyer, Object-Oriented Software Construction. New York, New York: Prentice Hall International, 1988.

Digital Library

Google Scholar

[5]

B. H. Liskov and S. N. Zilles, "Specification techniques for data abstractions, IEEE Transactions -on Software Engineemng, vol. 1, pp. 7-19, Mar. 1975.

Digital Library

Google Scholar

[6]

J. A. Goguen, J. W. Thatcher, and E. G. Wagner, "An initial algebra approach to the specification, correctness, and implementation of abstract data types," Current finds in Programming Methodology,vol. 4, 1978.

Google Scholar

[7]

J. J. Guttag, "Abstract data types and the development of data structures," Communications of the ACM, vol. 20, pp. 396-404, June 1977.

Digital Library

Google Scholar

[8]

J. J. Guttag, E. Horowitz, and D. R. Musser, "Some extensions to algebraic specifications," in Proceedings of Language Design for Reliable Software, pp. 6367, Mar. 1977.

Digital Library

Google Scholar

[9]

J. D. Gannon, R. G. Hamlet, and H. D. Mills, "Theory of modules," IEEE transactions on Software Engineering, vol. 13, pp. 820-829, July 1987.

Digital Library

Google Scholar

[10]

W. Bartusaek and D. L. Parnas, "Using assertions about traces to write abstract specifications for software modules," in Software Specification Techniques (N. Gehani and A. McGettrick, eds.), pp. 11 1130, Reading, MA: Addison-Wesley Publishing Company, 1986.

Google Scholar

[11]

D. Hoffman and R. Snodgrass, "Trace specifications: Methodology and models, IEEE Transactions on Software Engineering, vol. 14, pp. 1243- 1252, Sept. 1988.

Digital Library

Google Scholar

[12]

J. V. Guttag, J. J. Horning, and J. M. Wing, The larch family of specification languages, IEEE Software, vol. 2, pp. 24 36, Sept. 1985.

Digital Library

Google Scholar

[13]

J. D. Gannon, P. R. Mcullin, and R. Hamlet, "Data-abstraction implementation, specification, and testing," ACM Transactions on Programming Languages and Systems, vol. 3, pp. 211-223, July 1981.

Digital Library

Google Scholar

[14]

D. Hoffman and C. Brealey, "Module test case generation," in Proceedings of the ACM SIGSOFT '89 Third Symposium on Software Testing, Analysis, and Verification (R. A. Kemmerer, cd.), pp. 97 102, ACM Press, Dec. 1989.

Digital Library

Google Scholar

[15]

N. Choquet, "Test data generation using a prolog with constrains," in Proceedings of Workshop on Software Testing, pp. 132-141, IEEE Computer Society,1986.

Google Scholar

[16]

M. Gaudel and B. Marre, "Generation of test data from algebraic specifications," in Proc. Second Workshop on Software Testing, Verfication, and Analysis, (Banff, Canada), pp. 138-139, July 1988.

Google Scholar

[17]

P. Jalote and M. G. Caballero, "Automated testcase generation for data abstraction," in Proceedings of COMPSAC 88, (Chicago, IL), pp. 205-210, Oct. 1988.

Google Scholar

[18]

P. Jalote, "Testing the completeness of specifications," IEEE Transactions on Software Engineering,vol. 15, pp. 526-531, May 1989.

Digital Library

Google Scholar

[19]

D. E. Perry and G. E. Kaiser, "Adequate testing and object-oriented programming," Journal of Object-Oriented Progmmming, vol. 2, pp. 13-19, Jan/Feb 1990.

Digital Library

Google Scholar

Cited By

View all

Khan SNadeem A(2014)Automated Test Data Generation for Coupling Based Integration Testing of Object Oriented Programs Using Particle Swarm Optimization (PSO)Genetic and Evolutionary Computing10.1007/978-3-319-01796-9_12(115-124)Online publication date: 2014
https://doi.org/10.1007/978-3-319-01796-9_12
Khan SNadeem A(2013)Automated Test Data Generation for Coupling Based Integration Testing of Object Oriented Programs Using Evolutionary ApproachesProceedings of the 2013 10th International Conference on Information Technology: New Generations10.1109/ITNG.2013.59(369-374)Online publication date: 15-Apr-2013
https://dl.acm.org/doi/10.1109/ITNG.2013.59
Khan SNadeem A(2013)A tool for data flow testing using evolutionary approaches (ETODF)2013 IEEE 9th International Conference on Emerging Technologies (ICET)10.1109/ICET.2013.6743535(1-6)Online publication date: Dec-2013
https://doi.org/10.1109/ICET.2013.6743535
Show More Cited By

Index Terms

Case studies on testing object-oriented programs
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
        Abstract data types
      2. Language types
        Object oriented languages
    2. System description languages
      1. Specification languages

Recommendations

What Is Object-Oriented Programming?

The meaning of the term 'object oriented' is examined in the context of the general-purpose programming language C++. This choice is made partly to introduce C++ and partly because C++ is one of the few languages that supports data abstraction, object-...
Object-Oriented COBOL
Testing object-oriented programs: making it simple

One of the major difficulties facing anyone trying to teach the first programming course is how to encourage students to thoroughly test their programs. We would argue that the main reasons for this are the lack of suitable tools for testing and the ...

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

45
Total Citations
View Citations
12,216
Total Downloads

Downloads (Last 12 months)126
Downloads (Last 6 weeks)15

Reflects downloads up to 27 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Khan SNadeem A(2014)Automated Test Data Generation for Coupling Based Integration Testing of Object Oriented Programs Using Particle Swarm Optimization (PSO)Genetic and Evolutionary Computing10.1007/978-3-319-01796-9_12(115-124)Online publication date: 2014
https://doi.org/10.1007/978-3-319-01796-9_12
Khan SNadeem A(2013)Automated Test Data Generation for Coupling Based Integration Testing of Object Oriented Programs Using Evolutionary ApproachesProceedings of the 2013 10th International Conference on Information Technology: New Generations10.1109/ITNG.2013.59(369-374)Online publication date: 15-Apr-2013
https://dl.acm.org/doi/10.1109/ITNG.2013.59
Khan SNadeem A(2013)A tool for data flow testing using evolutionary approaches (ETODF)2013 IEEE 9th International Conference on Emerging Technologies (ICET)10.1109/ICET.2013.6743535(1-6)Online publication date: Dec-2013
https://doi.org/10.1109/ICET.2013.6743535
Khan SNadeem A(2013)Coupling based integration testing: A fitness function2013 IEEE 9th International Conference on Emerging Technologies (ICET)10.1109/ICET.2013.6743534(1-6)Online publication date: Dec-2013
https://doi.org/10.1109/ICET.2013.6743534
Cristia MAlbertengo PMonetti P(2010)Pruning Testing Trees in the Test Template Framework by Detecting Mathematical ContradictionsProceedings of the 2010 8th IEEE International Conference on Software Engineering and Formal Methods10.1109/SEFM.2010.31(268-277)Online publication date: 13-Sep-2010
https://dl.acm.org/doi/10.1109/SEFM.2010.31
Alexander ROffutt JStefik A(2010)Testing coupling relationships in object-oriented programsSoftware Testing, Verification & Reliability10.1002/stvr.41720:4(291-327)Online publication date: 1-Dec-2010
https://dl.acm.org/doi/10.1002/stvr.417
Bagge ADavid VHaveraaen M(2009)The axioms strike backACM SIGPLAN Notices10.1145/1837852.162161245:2(15-24)Online publication date: 4-Oct-2009
https://dl.acm.org/doi/10.1145/1837852.1621612
Bagge ADavid VHaveraaen MSiek JFischer B(2009)The axioms strike backProceedings of the eighth international conference on Generative programming and component engineering10.1145/1621607.1621612(15-24)Online publication date: 4-Oct-2009
https://dl.acm.org/doi/10.1145/1621607.1621612
Hierons RBogdanov KBowen JCleaveland RDerrick JDick JGheorghe MHarman MKapoor KKrause PLüttgen GSimons AVilkomir SWoodward MZedan H(2009)Using formal specifications to support testingACM Computing Surveys10.1145/1459352.145935441:2(1-76)Online publication date: 23-Feb-2009
https://dl.acm.org/doi/10.1145/1459352.1459354
Chen HTse T(2009)Automatic Generation of Normal Forms for Testing Object-Oriented SoftwareProceedings of the 2009 Ninth International Conference on Quality Software10.1109/QSIC.2009.22(108-116)Online publication date: 24-Aug-2009
https://dl.acm.org/doi/10.1109/QSIC.2009.22
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

What Is Object-Oriented Programming?

Object-Oriented COBOL

Testing object-oriented programs: making it simple