Content deleted Content added
m add data dependecy link |
|||
Line 7:
== Static slicing ==
Based on the original definition of Weiser, informally, 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 (i.e. at the statement x). Static slices are computed by finding consecutive sets of indirectly relevant statements, according to [[data dependency|data]] and control dependencies.
=== Example ===
Line 38:
* [[Software maintenance]]
* [[Reaching definition]]
* [[Data dependency]]
== References ==
| |||