Abstract

We propose an integrated approach to generate test cases from UML sequence and activity diagrams. We first transform these UML diagrams into a graph. Then, we propose an algorithm to generate test scenarios from the constructed graph. Next, the necessary information for test case generation, such as method-activity sequence, associated objects, and constraint conditions are extracted from test scenario. Our approach reduces the number of test cases and still achieves adequate test coverage. We achieve message-activity path coverage and category partitioning method for each predicate conditions found in the specific path of the design model.

References

• R.V.Binder, Testing object-oriented software: a survey. Software Testing Verification and Reliability, 6(3/4): 125-252, 1996.
• R. Mall. Fundamentals of Software Engineering. Prentice Hall, 2nd edition, 2003.
• Bertolino, F. Basanieri, A practical approach to UML-based derivation of integration tests, in: Proceedings of the Fourth International Software Quality Week Europe and International Internet Quality Week Europe (QWE), Brussels, Belgium, 2000.
• S. Ghose, R. France, C. Braganza, N. Kawane, A. Andrews, O. Pilskalns: “Test adequacy assessment for UML design model testing” In: Proceeding of the International Symposium on Software Reliability Engineering, Denver, CO , pp. 332-343, 2003.
• N. Kawanw: “Fault Detection Effectiveness of UML Design Model Test Adequacy Criteria “. ISSRE (2003).
• A. Abdurazik, J. Offutt: Using UML collaboration diagrams for static checking and test generation. In: 3rd International Conference on the UML. 383-395, 2000.
• P. Samuel and R. Mall: “Boundary Value Testing based on UML Models”. In: Proceedings of the 14th Asian Test Symposium (ATS ’05), 2005.
• J. Offutt, A. Abdurazik: “Generating tests from UML specifications”, In Proceedings of 2nd International Conference on the UML, pp. 416-429,
• Object Management Group: The Unified Modeling Language UML 1.5 Technical Report formal/03-03-01, The Object Management Group (OMG) , 2003.
• T. Dinh Trong: “A Systematic Procedure for Testing UML Designs”. ISSRE(2003).
• Booch, J. Rumbaugh and I. Jacobson: “Unified Modeling Language User Guide”. Addition-Wesley, 1999.
• W.Linzhang,Y.Jiesong et al.: “Generating Test Cases from UML Activity Diagram based on Gray-Box Method”. In Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC04), pages 284-291. IEEE,2004.
• T. Dinh Trong: “A Systematic Approach to Testing Design Models” In Doctoral Symposium, 7th International Conference on the Unified Modeling Language, Lisbon, Portugal, 10-15, October 2004.
• O. Pilskalns, A. Andrews, S. Ghose, Robert France: “Rigorous testing by merging structural and behavioral uml representations. “ In: Proceeding of the 6th International Conference on the Unified Modeling Language, San Francisco, CA , pp. 234-248, 2003.
• Basanieri, A. Bertolino, E. Marchetti, The cow suit approach to planning and deriving test suites in UMLprojectsProceedings of the Fifth International Conference on the UML, LNCS, 2460, Springer-Verlag GmbH, Dresden, Germany, pp. 383–397, 2000.
• Fraikin, T. Leonhardt, SEDITEC-testing based on sequence diagrams, in: Proceedings 17th IEEE International Conference on Automated Software Engineering, IEEE Computer Society, pp. 261–266, 2000.
• S. K. Swain. UML-based Testing of Software System, Technical Report, KIIT, 2005.
• Andrew, R. France, S. Ghose, G. Craig: “Test Adequacy Criteria for UML Design Models”. Journal of Software Testing, Verification and Reliability 13 : 95-127, 2003
• Cavarra, C. Crichton and j. Davies: “A method for the automatic generation of test suites from object models. Information and Software Technology, 46(5): 309-314, 2004.
• Hartmann, C. Imoberdorf, M. Meisinger, UML-based integration testing, in: ACM SIGSOFT Software Engineering Notes, Proceedings of International Symposium on Software testing and analysis, 2000.
• T. Dinh Trong “Rules for Generating Code From UML Collaboration diagram and Activity Diagrams” Master’s Thesis, Colorado State University, Fort Collins, Colorado,2003.
• A. Abdurazik, J. Offutt, A. Baldini: “A Controlled Experimental Evaluation of Test Cases Generated from UML Diagrams”, Technical report, George Mason University, Department of Information and Software Engineering, May, 2004.