|
|
|
|
|
Static SlicingStatic slicing is a concept in computer programming. Based on the original definition of Weiser a static program slice S consists of all statements in program P that may affect the value of variable v at some point p. The slice is defined for a slicing criterion C=(x,V), where x is a statement in program P and V is a subset of variables in P. A static slicing includes all the statements that affect variable v for a set of all possible inputs at the point of interest. Static slices are computed by finding consecutive sets of indirectly relevant statements, according to data and control dependencies.
|
 |
|
| Copyright 2005-2009 OnPedia.com. All Rights Reserved |
|
|