TACCLE: A Methodology for Object-Oriented Software Testing at the Class and Cluster Levels

ACM Transactions on Software Engineering and Methodology

Volumn 10, Issue 1, 2001, Pages 56-109

  Chen, Huo Yan ^a   Tse, T H ^b   Chen, T Y ^c  

^a JINAN UNIVERSITY   (China)

^b UNIVERSITY OF HONG KONG   (Hong Kong)

^c SWINBURNE UNIVERSITY OF TECHNOLOGY   (Australia)

Author keywords

D.2.1 Software Engineering : Requirements Specifications Languages; D.2.5 Software Engineering : Testing and Debugging Testing tools (e.g., data generators, coverage testing)

Indexed keywords

EID: 0002908054     PISSN: 1049331X     EISSN: None     Source Type: Journal    
DOI: 10.1145/366378.366380     Document Type: Article

References (31)

1. 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.
2. BORBA, P. AND GOGUEN, J. A. 1994. An operational semantics for FOOPS. In Proceedings of the International Workshop on Information Systems: Correctness and Reusability (IS-CORE '94, Amsterdam), R. J. Wieringa and R. B. Feenstra, Eds.
3. BOUGE, L., CHOQUET, N., FRIBOURG, L., AND GAUDEL, M.-C. 1986. Test sets generation from algebraic specifications using logic programming. J. Syst. Softw. 6, 343-360.
4. BREU, R. 1991. Algebraic Specification Techniques in Object-Oriented Programming Environments. Springer-Verlag, New York, NY.
5. BREU, R. AND BREU, M. 1993. Abstract and concrete objects: An algrebraic design method for object-based systems. In Algebraic Methodology and Software Technology: Proceedings of 3rd International Conference (AMAST '93), M. Nivat, C. Rattray, T. Rus, and G. Scollo, Eds. Springer-Verlag, Berlin, Germany, 343-348.
6. CHEN, H. Y. 1987. The heuristic search algorithm A*LP for logic programs. In Proceedings of the 2nd International Symposium on Intelligent System Methodologies. 51-65.
7. CHEN, H. Y. AND TSE, T. H. 2000. Prototypes and initial experimentation on the tools of the TACCLE methodology, http://www.csis.hku.hk/~tse/Papers/staccSupp.pdf.
8. CHEN, H. Y. AND WAH, B. 1987. The "rid-redundant" procedure in C-Prolog. In Proceedings of the 2nd International Symposium on Intelligent System Methodologies. 71-83.
9. CHEN, H. Y., TSE, T. H., CHAN, F. T., AND CHEN, T. Y. 1998. In black and white: An integrated approach to class-level testing of object-oriented programs. ACM Trans. Softw. Eng. Methodol. 7, 3, 250-295.
10. CLARKE, E. M. AND WING, J. M. 1996. Formal methods: State of the art and future directions. ACM Comput. Surv. 28, 4, 626-643.
11. CLOCKSIN, W. F. AND MELLISH, C. S. 1994. Programming in Prolog. 4th ed. Springer-Verlag, Berlin, Germany.
12. 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, Victoria, British Columbia, Oct. 8-10), W. Howden, Chair. ACM Press, New York, NY, 165-177.
13. DOONG, R.-K. AND FRANKL, P. G. 1994. The ASTOOT approach to testing object-oriented programs. ACM Trans. Softw. Eng. Methodol. 3, 2 (Apr.), 101-130.
14. FIEDLER, S. P. 1989. Object-oriented unit testing. Hewlett-Packard J. 40, 4, 69-74.
15. FRANKL, P. G. AND DOONG, R.-K. 1990. Tools for testing object-oriented programs. In Proceedings of 8th Pacific Northwest Conference on Software Quality. 309-324.
16. GOGUEN, J. A. AND MALCOLM, G. 2000. A hidden agenda. Theor. Comput. Sci. 245, 1, 55-101.
17. GOGUEN, J. A. AND MESEGUER, J. 1987. Unifying functional, object-oriented and relational programming with logical semantics. In Research Directions in Object-Oriented Programming, B. Shriver and P. Wegner, Eds. MIT Press Series in Computer Systems. MIT Press, Cambridge, MA, 417-478.
18. GUTTAG, J. V. AND HORNING, J. J., EDS. 1993. Larch: Languages and Tools for Formal Specification. Springer-Verlag, New York, NY.
19. HARROLD, M. J., MCGREGOR, J. D., AND FITZPATRICK, K. J. 1992. Incremental testing of object-oriented class structures. In Proceedings of the 14th International Conference on Software Engineering (ICSE '92, Melbourne, Australia, May 11-15), T. Montgomery, Chair. ACM Press, New York, NY, 68-80.
20. HELM, R., HOLLAND, I. M., AND GANGOPADHYAY, D. 1990. Contracts: Specifying behavioral compositions in object-oriented systems. In Proceedings of the Joint ACM European Conference on Object-Oriented Programming: Systems, Languages, and Applications (OOPSLA/ECOOP '90, Ottawa, Canada, Oct. 21-25), N. Meyrowitz, Ed. ACM Press, New York, NY, 169-180.
21. JENG, B. AND WEYUKER, E. J. 1994. A simplified domain-testing strategy. ACM Trans. Softw. Eng. Methodol. 3, 3 (July), 254-270.
22. JORGENSEN, P. C. AND ERICKSON, C. 1994. Object-oriented integration testing. Commun. ACM 37, 9 (Sept.), 30-38.
23. KUNG, D. C. H., GAO, J. Z., HSIA, P., TOYOSHIMA, Y., AND CHEN, C. 1995. A test strategy for object-oriented programs. In Proceedings of the 19th Annual International Conference on Computer Software and Applications (COMPSAC '95). IEEE Computer Society Press, Los Alamitos, CA, 239-244.
24. KUNG, D. C. H., SUCHAK, N., HSIA, P., TOYOSHIMA, Y., AND CHEN, C. 1994. On object state testing. In Proceedings of the 18th Annual International Conference on Computer Software and Applications (COMPSAC '94). IEEE Computer Society Press, Los Alamitos, CA, 222-227.
25. PERRY, D. E. AND KAISER, G. E. 1990. Adequate testing and object-oriented programming. J. Object Oriented Program. 2, 5 (Jan./Feb.), 13-19.
26. SMITH, M. D. AND ROBSON, D. J. 1992. A framework for testing object-oriented programs. J. Object Oriented Program. 5, 3 (June), 45-53.
27. TURNER, C. D. AND ROBSON, D. J. 1993a. Guidance for the testing of object-oriented programs. TR-2/93. University of Durham, Durham, UK.
28. TURNER, C. D. AND ROBSON, D. J. 1993b. State-based testing and inheritance. TR-1/93. University of Durham, Durham, UK.
29. TURNER, C. D. AND ROBSON, D. J. 1995. A state-based approach to the testing of class-based programs. Software: Concepts and Tools 16, 3, 106-112.
30. WEYUKER, E J. 1986. Axiomatizing software test data adequacy. IEEE Trans. Softw. Eng. SE-12, 12 (Dec.), 1128-1138.
31. WHITE, L. J. AND COHEN, E. I. 1980. A domain strategy for computer program testing. IEEE Trans. Softw. Eng. SE-6, 3, 247-257.