Program slicing: Difference between revisions

Content deleted Content added
Lightweight forward static slicing approach: we don't put references in section titles and "download limit exceeded" isn't a useful reference title
Line 49:
In fact, most static slicing techniques, including Weiser's own technique, will also remove the <code>write(sum)</code> statement. Since, at the statement <code>write(sum)</code>, the value of <code>sum</code> is not dependent on the statement itself. Often a slice for a particular statement x will include more than one variable. If V is a set of variables in a statement x, then the slice for (x, V) is the union of all slices with criteria (x, v) where v is a variable in the set V.
 
== Lightweight forward static slicing approach <ref>{{Cite web|url=http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.641.8891&rep=rep1&type=pdf|title=Download Limit Exceeded|website=citeseerx.ist.psu.edu|access-date=2018-06-28}}</ref> ==
A very fast and scalable, yet slightly less accurate, slicing approach is extremely useful for a number of reasons. Developers will have a very low cost and practical means to estimate the impact of a change within minutes versus days. This is very important for planning the implementation of new features and understanding how a change is related to other parts of the system. It will also provide an inexpensive test to determine if a full, more expensive, analysis of the system is warranted. A fast slicing approach will open up new avenues of research in metrics and the mining of histories based on slicing. That is, slicing can now be conducted on very large systems and on entire version histories in very practical time frames. This opens the door to a number of experiments and empirical investigations previously too costly to undertake <ref>{{Cite journal|last=Alomari|first=Hakam W.|last2=Collard|first2=Michael L.|last3=Maletic|first3=Jonathan I.|last4=Alhindawi|first4=Nouh|last5=Meqdadi|first5=Omar|date=2014-05-19|title=srcSlice: very efficient and scalable forward static slicing|url=https://onlinelibrary.wiley.com/doi/pdf/10.1002/smr.1651|journal=Journal of Software: Evolution and Process|language=en|volume=26|issue=11|pages=931–961|doi=10.1002/smr.1651|issn=2047-7473}}</ref>.