ISSN:
1573-7535
Keywords:
program slicing
;
subsetting
;
reuse
;
redesign
Source:
Springer Online Journal Archives 1860-2000
Topics:
Computer Science
Notes:
Abstract Developers of software product families and maintainers of “legacy” software can benefit from the ability to automatically extract a correctly functioning subset of the code of a system that performs a desired subset of its behaviors. This article introduces a technique for automatic subsetting based on computing asimultaneous dynamic program slice of the code for a set of representative inputs. I show first why the naive approach (unioning traditional dynamic slices) fails, then give an abstract algorithm that succeeds in any slicing framework satisfying certain (mild) assumptions. Experiments using an implementation within the ISAT environment indicate that the algorithm consistently produces significantly smaller subsets than three competing approaches. I also discuss how to characterize the subset's correctness on inputs of interest outside the set used to compute the slice.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF00873408
Permalink
