Abstract

UML diagrams are vital design and modeling artifacts. These UML models can also be used to create test cases. In this approach, condition slicing is used and creates test cases from UML sequence diagrams. Test cases can be planned at design level of software development life cycle. But to visualize the system model or architecture is hard due to its bulky and complex structure. This methodology derives test cases of the computed slice using conditional predicate and it beneficial for sequence diagram containing number of messages. The proposed methodology also use the notion of model based slicing to compute the slice of the sequence diagram by extracting the desired chunk.

References

• Mark Weiser, "Program slicing",1981. Proceedings of the 5th International Conference on Software Engineering, IEEE Computer Society Press, pages 439–449, March 1981.
• Jianjun Zhao, "Applying slicing technique to software architectures," 1998. In Fourth IEEE International Conference on Engineering of Complex Computer Systems, pp. 87 –98.
• J. T. Lallchandani and R. Mall, "Slicing UML architectural models," 2008. ACM SIGSOFT Software Engineering Notes, vol. 33, No. 3, pp. 1–9.
• Grady Booch, Ivar Jacobson & James Rumbaugh, "OMG Unified Modeling Language Specification", 1998. Publisher: Addison Wesley, Version 1. 3, First Edition: October 20, 1998.
• Jianjun Zhao, "Slicing Software Architecture," Nov 1997. Technical Report 97-SE-117, pp. 85-92, Information Processing Society of Japan.
• Hyeon-Jeong Kim , Doo-Hwan Bae, Vidroha Debroy, W. Eric Wong, "Deriving Data Dependence from UML State Machine Diagrams,"2011. In Proceeding 5th IEEE International Conference on Secure Software Integration and Reliability Improvement, pp. 118-126.
• B. Korel, I. Singh, L. Tahat, and B. Vaysburg, "Slicing of State Based Models", 2003. In Proceeding of International Conference of Software Maintenance, pp. 34-43.
• "Automatic test case generation from UML communication diagrams", 2007. Information and Software Technology (ELSEVIER), vol. 44, No. 2, pp. 158-171.
• H. Kagdi, J. I. Maletic, and A. Sutton, "Context-Free Slicing of UML Class Models", 2005. In Proceeding of 21st IEEE International Conference on Software Maintenance, pp. 635-638.
• Philip Samuel, Rajib Mall, "Slicing-Based Test Case Generation from UML Activity Diagrams," 2009. ACM SIGSOFT Software Engineering Notes, vol. 34, No. 6.
• Nisansala Yatapanage, Kirsten Winter and Saad Zafar, "Slicing behavior tree models for verification", 2010. In IFIP Advances in Information and Communication Technology, pp. 125–139.
• Kevin Lano Crest, "Slicing of UML State Machines", 2009. In Proceedings of the 9th WSEAS International Conference on Applied Informatics and Communications, pp. 63-69.
• A. Shaikh, R. Clarisó, U. K. Wiil, and N. Memon. , "Verification-driven slicing of UML/OCL models", 2010. In Proceedings of the IEEE/ACM International Conference on Automated software engineering, pages 185–194.
• Asadullah Shaikh, Uffe Kock Wiil, and Nasrullah Memon, "UOST: UML/OCL aggressive slicing technique for efficient verification of models", 2010. In 6th International Workshop on System Analysis and Modeling, pp. 173–192.
• Asadullah Shaikh, Uffe Kock Wiil, and Nasrullah Memon, "Evaluation of tools and slicing techniques for efficient verification of UML/OCL class diagrams", 2011. Advances in Software Engineering, vol. 18, pp 173-192.
• Kunihiro Noda, Takashi Kobayashi, Kiyoshi Agusa, Shinichiro Yamamoto, "Sequence Diagram Slicing", 2009. In Proceeding of 16th Asia-Pacific Software Engineering Conference, IEEE, pp. 291-298.
• Ranjita Kumari Swain , Vikas Panthi, Prafulla Kumar Behera, "Test Case Design Using Slicing of UML Interaction Diagram", 2012. In Proceeding 2nd International Conference on communication, computing and security, Elsevier, pp. 136-144.
• Monalisa Sarma, Debasish Kundu, Rajib Mall, "Automatic Test Case Generation from UML Sequence Diagrams,"2007. 15th IEEE International Conference on Advanced Computing and Communications, pp. 60-65.
• Mathieu Acher, Philippe Collet, Philippe Lahire, and Robert France, "Slicing feature models," 2011. In Proceeding 26th IEEE/ACM International Conference on Automated Software Engineering, pp. 424-427.
• Mathieu Acher, Philippe Collet, Philippe Lahire, and Robert France, "Separation of Concerns in Feature Modeling: Support and Applications," 2012. In Proceedings of the Aspect-Oriented Software Development (AOSD'12), pp. 1-12, ACM, March 2012.
• Zoltán Ujhelyi, Ákos Horváth, and Dániel Varró, "Towards dynamic backward slicing of model transformations," 2011. In Proceeding 26th IEEE/ACM International Conference on Automated Software Engineering, pp. 404–407.
• Zoltán Ujhelyi, Ákos Horváth, and Dániel Varró, "Dynamic Backward Slicing of Model Transformations", 2012. In Proceeding IEEE 5th International Conference on Software Testing, Verification and Validation, pp. 1-10.
• A. Blouin, B. Combemale, B. Baudry, O. Beaudoux, "Modeling model slicers," 2011. In Proceedings of the 14th IEEE/ACM International conference on Model driven engineering languages and systems, pp. 62-76.
• A. Blouin, B. Combemale, B. Baudry, O. Beaudoux, "Kompren Modeling and Generating Model Slicers," 2012. Journal of Software and System Modeling, Springer.
• Davide Falessi, Shiva Nejati, Mehrdad Sabetzadeh, Lionel Briand, and Antonio Messina, "SafeSlice: A model slicing and design safety inspection tool for SysML", 2011. In Proceeding 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering and 13rd European Software Engineering Conference.
• Jaiprakash T. Lallchandani, R. Mall, "Static Slicing of UML Architectural Models", 2009. Journal of Object Technology, vol. 8, No. 1, pp. 159-188.
• J. Lallchandani and R. Mall, "A Dynamic Slicing Technique for UML Architectural Models", 2011. IEEE Transaction on Software Engineering, vol. 37, No. 6.