Specification-Based Program Slicing and Its Application

Cited 4 time in webofscience Cited 0 time in scopus
  • Hit : 558
  • Download : 0
More precise program slices could be obtained by considering the semantic relations between variables of interest. In this paper, we present specification-based slicing that allows a better decomposition of the program by taking a specification as its slicing criterion. A specification-based slice consists of a subset of program statements which preserve the behavior and the correctness of the original program with respect to a specification given by a pre-postcondition pair. Because specification-based slicing enables one to focus attention on only those program statements which realize the functional abstraction specified by the given specification. it can be widely used in many software engineering areas. In order to investigate its possible applications, we show how specification-based slicing can improve the process for extracting reusable functions from existing programs and restructuring complex programs for better maintainability. (C) 2001 Elsevier Science B.V. All rights reserved.
Publisher
Elsevier Science Bv
Issue Date
2001-05
Language
English
Article Type
Article
Citation

JOURNAL OF SYSTEMS ARCHITECTURE, v.47, no.5, pp.427 - 443

ISSN
1383-7621
URI
http://hdl.handle.net/10203/80993
Appears in Collection
CS-Journal Papers(저널논문)
Files in This Item
There are no files associated with this item.
This item is cited by other documents in WoS
⊙ Detail Information in WoSⓡ Click to see webofscience_button
⊙ Cited 4 items in WoS Click to see citing articles in records_button

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0