Abstract
Distributed programming and object-oriented programming are two popular programming paradigms. The former is driven by advances in networking technology whereas the latter provides vigorous software principles needed in developing complex software systems. While more and more distributed object-oriented software has appeared, not much work exists on the testing of these systems in an integrated manner. Instead, the distributed and object features have been tested separately. In this paper, we propose an integrated framework known as DOOT for incremental testing of distributed object-oriented software systems. It combines various testing techniques to provide comprehensive test coverage at four levels — class testing, intra-cluster testing, inter-cluster testing and system testing. Each level uses a specific fault model, test strategy and test case generation that build on the previous test level to reduce the overall test effort. They are designed to handle the distinct requirements of the two paradigms at each level. Moreover, a reduction algorithm for testing the inherited class is also included in the framework. The approach is illustrated using a real life example of a conferencing system.
Chapter PDF
References
Andleigh P.K. and Gretzinger M.R., Distributed object oriented data-systems design,Prentice Hall, 1992.
Chanson S.T. and Zhu. J., Automatic protocol suite derivation, Proceedings of INFOCOM ‘84 Conference on Computer Communications, Vol. 2, pp. 792–799, 1994.
Cheung S.C. and Kramer J., Contextual local analysis in the design of distributed systems, International Journal of Automated Software Engineering, Vol. 2, No. 1, pp. 5–32, 1995.
Chin R.S. and Chanson S.T., Distributed object-based programming systems, ACM Computing Surveys, Vol. 23, No. 1, pp. 91–124, 1991.
Graham I., Object-Oriented Methods,Addison-Wesley, 1994.
Hayes J.H., Testing of object-oriented programming (OOPS): A fault-based approach, Proceedings of 14th ICSE, IEEE Press, pp. 205–220, 1992.
Hoffman D., A case study in class testing, PROC/CASON’93, Vol. 1, pp. 472–82, 1993.
Holzmann G J, Design and validation of computer protocols,Prentice-Hall, 1991.
Jorgensen P.C. and Erickson C., Object-oriented integration testing, Communications of the ACM, Vol. 37, No. 9, pp. 30–33, 1994.
Jorgensen P.C., Software testing - a craftsman’s approach,CRC Press, 1995.
Kim M., Chanson S.T. and Kang S., An approach or testing asynchronous communicating systems, Proceedings of IWTCS’96, pp. 141–155, 1996.
Kim M.C., Chanson S.T. and Kim G.H., Concurrency model and its application to formal specifications of asynchronous protocols, Proceedings of IEEE GLOBECOM, Vol. 3, pp. 1580–4, 1995.
Kirani S. and Tsai W.T., Specification and verification of object-oriented programs, Technical report, University of Minnesota, 1994.
Lamport L. and Lynch N., Distributed computing: models and methods, Handbook of theoretical computer science. pp. 1157–1199, Elseiver Science, 1990.
Marick B., The craft of software testing - subsystem testing including object-based and object-oriented testing,Prentice Hall, 1995.
McGregor J.D. and Korson T.D., Integrating object-oriented testing and development processes, Communications of the ACM, Vol. 37, No. 9, pp. 59–77, 1994.
Mihail M., Papadimitriou C.H. and Dill D.L., On the random walk method for protocol testing, Proceedings of Computer Aided Verification, pp. 132–41, 1994.
Mueller F., Whalley D.B. and B. Le Charlier, Efficient on-the-fly analysis of program behavior and static cache simulation, Proceedings of First International Static Analysis Symposium, SAS ‘84, Springer-Verlag, pp. 101–15, 1994.
Murphy G.C., Townsend P. and Pok S.W., Experiences with cluster and class testing, Communications of the ACM, Vol. 37, No. 9, pp. 48–58, 1994.
Poston R.M., Automating specification-based software testing,IEEE Press, 1996.
Rumbaugh J., Blaha M., Premerlani W., Eddy F. and Lorensen W.: Object-Oriented Modelling and Design, Prentice Hall, 1991.
Ryan T.W., Distributed object technology: concepts applications,Prentice Hall, 1997.
Shel S., Object oriented software testing,John Wiley Sons, 1996.
Smith M.D. and Robson D.J., A framework for testing object-oriented programs, Journal of object-oriented programming, Vol. 5, No. 3, pp. 45–53, 1992.
Tai K.C. and Carver R.H., Testing of distributed programs, Handbook of parallel and distributed computing, pp 955–978, McGraw Hill, 1995.
Ulrich A. and Chanson S.T., An approach to testing distributed software systems, In Proceedings of PSTV’95, Chapman Hall, pp. 121–136, 1995.
Ulrich A., A Description model to support test suite derivation for concurrent systems, Kommunikation in verteilten Systemen (KiVS’97), Springer Verlag, pp. 151–166, 1997.
Ural H., Testing sequence selection based on static data flow analysis, Computer communication, 10 (5), 1987.
Wong C.Y., Chanson S.T., Cheung S.C. and Fuchs H., Testing distributed object-oriented system, Technical report, Hong Kong University of Science and Technology, April 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Wong, A.C.Y., Chanson, S.T., Cheung, S.C., Fuchs, H. (1997). A Framework for Distributed Object-Oriented Testing. In: Mizuno, T., Shiratori, N., Higashino, T., Togashi, A. (eds) Formal Description Techniques and Protocol Specification, Testing and Verification. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35271-8_3
Download citation
DOI: https://doi.org/10.1007/978-0-387-35271-8_3
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5260-1
Online ISBN: 978-0-387-35271-8
eBook Packages: Springer Book Archive