Literature Analysis on Model based Slicing
نویسندگان
چکیده
To understand and test a large software product is very challenging task. One way to ease this is program slicing technique that decomposes the large programs into smaller ones and another is model based slicing that decomposes the large software architecture model into smaller models at the early stage of SDLC (Software Development Life Cycle). This literature analysis presents an overview of Model based slicing, including the various general approaches and techniques used to compute slices.
منابع مشابه
A Review of Model Based Slicing
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 do...
متن کاملFlow analysis models for interprocedural program slicing algorithms
We present flow analysis models for dependence graph based algorithms for (a) computing program slices and (b) computing summary information needed for slicing. Our models benefits typical of declarative specification. First, they show that algorithms for solving flow analysis problems may be applied to computing slices and summary information. Second, they make it explicit that SDG-based algor...
متن کاملA State-Based Model Slicing: A Survey
Program slicing is a source code analysis and manipulation technique, in which a subprogram is identified based on a user-specified slicing criterion. The criterion captures the point of interest within the program, while the process of slicing consists of following dependencies to locate those parts of the program that may affect the slicing criterion [Weiser 1979]. Some flavours of slicing me...
متن کاملDependence for Slicing State-based Models: A Survey
Dependence is a relation that determines which parts of a system influence the computation of another part. Dependence analysis underpins many activities in computer science, such as model checking, debugging, slicing, security. We are interested in dependence analysis for slicing for finite state machine-based models. In this paper we survey existing dependence relations defined for slicing at...
متن کاملSlicing Algorithm of VRML Model in Rapid Prototyping
VRML (Virtual Reality Modeling Language) as an international standard for Virtual Reality, has already been widely adopted for graphical representation of 3D objects over the Web. Adopting VRML model in RP (Rapid Prototyping) can reduce the precision loss which is caused by triangulation in generating STL file. Hence exploring a slicing method and software for VRML model is significant to impro...
متن کامل