The ASTOOT Approach to Testing Object-Oriented Programs

ACM Transactions on Software Engineering and Methodology (TOSEM)

Volumn 3, Issue 2, 1994, Pages 101-130

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

^a SUN MICROSYSTEMS   (United States)

^b POLYTECHNIC UNIVERSITY   (United States)

Author keywords

Abstract data types; algebraic specification; object oriented programming; software testing

Indexed keywords

ALGORITHMS; COMPUTABILITY AND DECIDABILITY; COMPUTER PROGRAMMING LANGUAGES; DATA STRUCTURES; EQUIVALENCE CLASSES; PROGRAM DEBUGGING; SOFTWARE ENGINEERING;

ALGEBRAIC SPECIFICATION; PROGRAM TESTING; SYMBOLIC EXECUTION; TEST DATA GENERATORS;

OBJECT ORIENTED PROGRAMMING;

EID: 0028421077     PISSN: 1049331X     EISSN: 15577392     Source Type: Journal    
DOI: 10.1145/192218.192221     Document Type: Article

References (31)

1. ANTOY, S. 1989. Systematic design of algebraic specifications. In Proceedings of the 5th International Workshop on Software Specification and Design. ACM, New York, 278-280.
2. ANTOY, S. AND HAMLET, D. 1992. Automatically checking an implementation against its formal specification. Tech. Rep. TR 91-1, Rev. 1, Portland State Univ., Portland, Ore.
3. BARTUSSEK, W. AND PARNAS, D. L. 1986. Using assertions about traces to write abstract specifications for software modules. In Software Specification Techniques. Addison-Wesley, Reading, Mass., 111-130.
4. BERNOT, G., GAUDEL, M. C., AND MARRE, B. 1991. Software testing based on formal specifications: A theory and a tool. Softw. Eng. J. 6, 6 (Nov.), 387-405.
5. CHOQUET, N. 1986. Test data generation using a prolog with constraints. In Proceedings of the Workshop on Software Testing. IEEE Computer Society, Washington, D.C., 132-141.
6. DOONG, R.-K. 1993. An approach to testing object-oriented programs. Ph.D. thesis, Polytechnic Univ., Brooklyn, N.Y. Also appeared as Computer Science Dept. Tech. Rep. No. PUCS-110-92.
7. DOONG, R.-K. AND FRANKL, P. G. 1991. Case studies on testing object-oriented programs. In Proceedings of the Symposium on Testing, Analysis, and Verification (TAV4). ACM, New York, 165-177.
8. GANNON, J. D., HAMLET, R. G., AND MILLS, H. D. 1987. Theory of modules. IEEE Trans. Softw. Eng. 13, 7 (July), 820-829.
9. GANNON, J. D., MCMULLIN, P. R., AND HAMLET, R. 1981. Data-abstraction implementation, specification, and testing. ACM Trans. Program. Lang. Syst. 3, 3 (July), 211-223.
10. GAUDEL, M. AND MARRE, B. 1988. Generation of test data from algebraic specifications. In Proceedings of the 2nd Workshop on Software Testing, Verification, and Analysis. IEEE Computer Society, Washington, D.C., 138-139.
11. GOGUEN, J. A. AND WINKLER, T. 1988. Introducing OBJ3. Tech. Rep. SRI-CSL-88-9, Computer Science Lab., SRI Int., Menlo Park, Calif.
12. GOGUEN, J. A., THATCHER, J. W., AND WAGNER, E. G. 1978. An initial algebra approach to the specification, correctness, and implementation of abstract data types. Current Trends Program. Meth. 4, 80-149.
13. GOLDBERG, A. AND ROBSON, D. 1983. Smalltalk-80: The Language and its Implementation. Addison-Wesley, Reading, Mass.
14. GUTTAG, J. J. 1980. Notes on type abstraction (version 2). IEEE Trans. Softw. Eng. 6, 1 (Jan.), 13-23.
15. GUTTAG, J. J. 1977. Abstract data types and the development of data structures. Commun. ACM 20, 6 (June), 396-404.
16. GUTTAG, J. J. AND HORNING, J. J. 1978. The algebraic specification of abstract data types. Acta Inf. 10, 1, 27-52.
17. GUTTAG, J. J., HOROWITZ, E., AND MUSSER, D. R. 1978. Abstract data types and software validation. Commun. ACM 21, 12 (Dec.), 1048-1064.
18. GUTTAG, J. J., HOROWITZ, E., AND MUSSER, D. R. 1977. Some extensions to algebraic specifications. In Proceedings of Language Design for Reliable Software. ACM, New York, 63-67.
19. HOFFMAN, D. AND BREALEY, C. 1989. Module test case generation. In Proceedings of ACM SIGSOFT ′89 3rd Symposium on Software Testing, Analysis and Verification. ACM Press, New York, 97-102.
20. HOFFMAN, D. AND SNODGRASS, R. 1988. Trace specifications: Methodology and models. IEEE Trans. Softw. Eng. 14, 9 (Sept.), 1243-1252.
21. HOFFMAN, D. M. AND STROOPER, P. 1991. Automated module testing in Prolog. IEEE Trans. Softw. Eng. 17, 9 (Sept.), 934-943.
22. JALOTE, P. 1989. Testing the completeness of specifications. IEEE Trans. Softw. Eng. 15, 5 (May), 526-531.
23. JALOTE, P. AND CABALLERO, M. G. 1988. Automated testcase generation for data abstraction. In Proceedings of COMPSAC 88. IEEE Computer Society, Washington, D C., 205-210.
24. KNUTH, D. E. AND BENDIX, P. B. 1970. Simple word problems in universal algebras. In Computational Problems in Abstract Algebra. Pergamon Press, Elmsford, N.Y., 263-297.
25. LISKOV, B. H. AND ZILLES, S. N. 1975. Specification techniques for data abstractions. IEEE Trans. Softw. Eng. 1, 1 (Mar.), 7-19.
26. ACM Transactions on Software Engineering and Methodology, Vol 3, No. 2, April 1994.
27. MCLEAN, J. M. 1984. A formal method for the abstract specification of software. J. ACM 31, 3 (July), 600-627.
28. MEYER, B. 1988. Object-Oriented Software Construction. Prentice-Hall International, New York.
29. MUSSER, D. R. 1980. Abstract data type specification in the AFFIRM system. IEEE Trans. Softw. Eng. 6, 1 (Jan.), 24-32.
30. STROUSTRUP, B. 1991. The C + + Programming Language. 2nd ed. Addison-Wesley, Reading, Mass
31. WEYUKER, E. J. 1982. On testing non-testable programs. Comput. J. 25, 4, 465-470.