Case studies on testing object-oriented programs

Proceedings of the Symposium on Testing, Analysis, and Verification, TAV 1991

Volumn , Issue , 1991, Pages 165-177

  Doong, Roong Ko ^a   Frankl, Phyllis G ^a  

^a POLYTECHNIC UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT DATA TYPES; FORMAL SPECIFICATION; SPECIFICATIONS; TESTING;

ALGEBRAIC SPECIFICATIONS; CLASS UNDER TESTS; EXPERIMENTAL PROTOTYPE; NEW APPROACHES; SEQUENCE LENGTHS; TEST EXECUTION; TEST GENERATIONS; TESTING OBJECT-ORIENTED PROGRAMS;

OBJECT ORIENTED PROGRAMMING;

EID: 0002606756     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/120807.120822     Document Type: Conference Paper

References (19)

1. P. G. Frankl and R.-K. Doong, "Tools for testing object-oriented programs, " in Proceedings of Pacific Northwest Software Quality Conference 1990, (Portland, Oregon), pp. 309-324, Oct. 1990.
2. A. Goldberg and D. Robson, SmaUtalk-80: The Language and its Implementation. Reading, MA: Addison-Wesley, 1983.
3. B. Stroustrup, The C++ Programming Language. Reading, Mass.: Addison-Wesley, 1986.
4. B. Meyer, Object-Oriented Software Construction. New York, New York: Prentice Hall International, 1988.
5. B. H. Liskov and S. N. Zilles, "Specification techniques for data abstractions, " IEEE Transactions -on Software Engineering, Vol. 1, pp. 7-19, Mar. 1975.
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 Trends in Programming Methodology, Vol. 4, 1978.
7. J.J. Guttag, "Abstract data types and the development of data structures, " Communications of the ACM, Vol. 20, pp. 396-404, June 1977.
8. J. J. Guttag, E. Horowitz, and D. R. Musser, "Some extensions to algebraic specifications, " in Proceedings of Language Design for Reliable Software, pp. 63-67, Mar. 1977.
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.
10. W. Bartussek 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. 111-130, Reading, MA: Addison-Wesley Publishing Company, 1986.
11. D. Hoffman and R. Snodgrass, "Trace specifications: Methodology and models, " IEEE Transactions on Software Engineering, Vol. 14, pp. 1243-1252, Sept. 1988.
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.
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.
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, ed.), pp. 97-102, ACM Press, Dec. 1989.
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.
16. M. Gaudel and B. Marre, "Generation of test data from algebraic specifications, " in Proc. Second Workshop on Software Testing, Verification, and Analysis, (Banff, Canada), pp. 138-139, July 1988.
17. P. Jalote and M. G. Caballero, "Automated test-case generation for data abstraction, " in Proceedings of COMPSAC 88, (Chicago, IL), pp. 205-210, Oct. 1988.
18. P. Jalote, "Testing the completeness of specifications, " IEEE Transactions on Software Engineering, Vol. 15, pp. 526-531, May 1989.
19. D. E. Perry and G. E. Kaiser, "Adequate testing and object-oriented programming, " Journal of Object-Oriented Programming, Vol. 2, pp. 13-19, Jan/Feb 1990.