To reduce error Software testing is important, upholding and overall software costs. To evaluate the feature or competency testing the software is an activity of system and determining that whether it meets required scenario. One way is program slicing to comfort, this method is to break down the large programs into smaller ones and further is model based slicing that split the large software architecture model into smaller models at the initial phase of SDLC (Software Development Life Cycle). To extract the sub model from a big model diagrams it is a completely new approach on the basis of slicing criteria. This planned procedure used the notion of model based slicing to segment the sequence diagram to extract the desired piece. An overview of Model based slicing is presented by this literature survey, including the different general methods and techniques used to compute slices. Our proposed test case generation technique can be used for integration and system testing accommodating the object message and condition information associated with the use case scenarios.

Model Based Slicing, Quality Based Slicing, UML/OCL Model Verification, Model Revolution Verification Through Slicing, Dependency Graph, Model, Test Case Generation.

[1]. Blouin, B. Combemale, B. Baudry, O. Beaudoux, “Kompren Modeling and Generating Model Slicers,” Journal of Software and System Modeling, Springer, 2012.
[2]. Grady Booch, James Rumbaugh, Ivar Jacobson, “The Unified Modeling Language User Guide," 2nd Edition, May 2005, Publisher. Addison Wesley.
[3]. M. Weiser, Program slicing, IEEE Transactions on Soft. Eng., 10, July 1984, pp.352–357.
[4]. Jianjun Zhao, "Slicing Software Architecture," Technical Report 97-SE-117, pp.85-92, Information Processing Society of Japan, Nov 1997.
[5]. Jianjun Zhao, “Applying slicing technique to software architectures,” In Fourth IEEE International Conference on Engineering of Complex Computer Systems, ICECCS’98, pp 87 –98, 1998.
[6]. W. Fangjun and Y. Tong, “Dependence Analysis for UML Class Diagrams,” J. Electronics (China), vol. 21, no. 3, pp. 249-254, May 2004, doi 10.1007/BF02687879.
[7]. M. Harman, A. Mansouri, and Y. Zhang, “Search Based Software Engineering: A Comprehensive Analysis and Review of Trends Techniques and Applications,” Technical Report TR-09-03, Dept.of Computer Science, King’s College London, Apr. 2009.
[8]. H. Kagdi, J.I. Maletic, and A. Sutton, “Context- Free Slicing of UML Class Models,” Proc. 21st IEEE Int’l Conf. Software Maintenance, pp. 635-638, 2005.
[9]. S. Van Langehove, “Internal Broadcasting to Slice UML State Charts: As Rich as Needed,” Proc. Abstracts of the FNRS Contact Day: The Theory and Practice of Software Verification, Oct.2005.
[10]. J.H. Bae, K. Lee, and H.S. Chae, “Modularization of the UML Metamodel Using Model Slicing,” Proc. Fifth Int’l Conf. Information Technology: New Generations, pp. 1253-1254, 2008.
[11]. ANSI/IEEE Standard 1008-1987, “IEEE Standard for Software Unit Testing”, pp.1-23, IEEE Computer Society, 1997.
[12]. Sagar Sen, Naouel Moha, Benoit Baudry, and Jean Marc Jézéquel, "Meta-model Pruning," In 12th International Conference on Model Driven Engineering Languages and Systems (MODELS’09), 2009.
[13]. Jung Ho Bae and Heung Seok Chae, “UMLSlicer: A tool for modularizing the UML metamodel using slicing,” In 8th IEEE International Conference on Computer and Information Technology (CIT), pp.772–777, 2008.
[14]. Jaiprakash T. Lallchandani, R. Mall, "Static Slicing of UML Architectural Models," Journal of Object Technology, vol. 8, no. 1, pp. 159- 188, January-February 2009.
[15]. J. Lallchandani and R. Mall, “A Dynamic Slicing Technique for UML Architectural Models,” IEEE Transaction on Software Engineering, Vol. 37, No. 6, NOV/DEC 2011.
[16]. Philip Samuel, Rajib Mall, “Slicing-Based Test Case Generation from UML Activity Diagrams,” ACM SIGSOFT Software Engineering Notes, Vol. 34 No. 6, November 2013.
[17]. Philip Samuel, Rajib Mall, “A Novel Test Case Design Technique Using Dynamic Slicing of UML Sequence Diagrams,” e-Informatics Software Engineering Journal, Vol. 2, Issue 1, 2008.
[18]. Nisansala Yatapanage, KirstenWinter, and Saad Zafar, “Slicing behavior tree models for verification,” In IFIP Advances in Information and Communication Technology, Vol. 323, pp. 125–139, 2010.
[19].Philip Samuel , Rajib Mall, Pratyush Kanth, “Automatic test case generation from UML communication diagrams,” Information and Software Technology (ELSEVIER), 2007.
[20]. Asadullah Shaikh, Robert Clarisó, Uffe Kock Wiil, and Nasrullah Memon, “Verification-driven slicing of UML/OCL models,” In Proceedings of the IEEE/ACM international conference on Automated software engineering, pp. 185–194, ACM, 2010.
[21].Asadullah Shaikh, Uffe Kock Wiil, and Nasrullah Memon, "Evaluation of tools and slicing techniques for efficient verification of UML/OCL class diagrams," Advances in Software Engineering, vol.18, pp 173-192, 2011.
[22].Monalisa Sarma, Debasish Kundu, Rajib Mall, “Automatic Test Case Generation from UML Sequence Diagrams,” 15th IEEE International Conference on Advanced Computing and Communications, 2007.
[23]. Mathieu Acher, Philippe Collet, Philippe Lahire, and Robert France, “Slicing feature models,” In 26th IEEE/ACM International Conference On Automated Software Engineering (ASE’11), IEEE/ACM, 2015.
[24]. Mathieu Acher, Philippe Collet, Philippe Lahire, and Robert France, “Separation of Concerns in Feature Modeling: Support and Applications,” In Aspect- Oriented Software Development(AOSD’12), ACM Press, 2017.
[25]. Arnaud Hubaux, Patrick Heymans, Pierre-Yves Schobbens, Ebrahim Khalil Abbasi, and Dirk Deridder, “Supporting multiple perspectives in feature-based configuration,” Software and Systems Modeling, 2018.
[26]. T. Kim, Y.-T. Song, L. Chung, and D.T. Huynh, “Dynamic Software Architecture Slicing,” Proc. 23rd Int’l Computer Software and Applications Conf., pp. 61- 66, 1999.
[27].T. Kim, Y.-T. Song, L. Chung, and D.T. Huynh, “Software Architecture Analysis: A Dynamic Slicing Approach,” J. Computer and Information Science, vol. 1, no. 2, pp. 91-103, 2017.
[28]. Davide Falessi, Shiva Nejati, Mehrdad Sabetzadeh, Lionel Briand, and Antonio Messina, “SafeSlice: a model slicing and design safety inspection tool for SysML,” In SIGSOFT/FSE’11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC’11: 13rd European Software Engineering Conference (ESEC-13), ACM, 2018.
[29]. Zoltán Ujhelyi, Ákos Horváth, and Dániel Varró, “Towards dynamic backward slicing of model transformations,” In 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), pp.404–407, IEEE Computer Society, 2011.
[30]. Zoltán Ujhelyi, Ákos Horváth, and Dániel Varró, “Dynamic Backward Slicing of Model Transformations,” IEEE Fifth International Conference on Software Testing, Verification and Validation, 2016.
[31]. A. Blouin, B. Combemale, B. Baudry, O. Beaudoux, “Modeling model slicers,” Proceedings of the 14th international conference on Model driven engineering languages and systems, 2017.
[32]. A. Blouin, B. Combemale, B. Baudry, O. Beaudoux, “Kompren Modeling and Generating Model Slicers,” Journal of Software and System Modeling, Springer, 2017.