期刊名称：International Journal of Computer Science and Information Technologies
电子版ISSN：0975-9646
出版年度：2015
卷号：6
期号：4
页码：3396-3399
出版社：TechScience Publications
摘要：Software testing is important to reduce errors, maintenance and overall software costs. Testing the software is an activity whose aims to evaluate the feature or competency of system and determining that whether it meets required prospects. To comfort this one way is program slicing, this method is to break down the large programs into smaller ones and other is model based slicing that break down the large software architecture model into smaller models at the initial stage of SDLC (Software Development Life Cycle). It is completely a new approach to extract the sub model from a big model diagrams on the basis of slicing criteria. The planned procedure used the concept of model based slicing to slice the sequence diagram to extract the desired piece. This literature survey presents an overview of Model based slicing, including the various general methods and techniques used to compute slices
关键词：Model Based Slicing; Feature Based Slicing; ;UML/OCL Model Verification; Model Transformation ;Verification Through Slicing; Dependency Graph; Model.
