z-logo
open-access-imgOpen Access
GammaPolarSlicer
Author(s) -
Sérgio Areias,
Cruz da,
Pedro Rangel Henriques,
Jorge Sousa Pinto
Publication year - 2011
Publication title -
computer science and information systems
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.244
H-Index - 24
eISSN - 2406-1018
pISSN - 1820-0214
DOI - 10.2298/csis110107006a
Subject(s) - computer science , program slicing , reuse , slicing , software engineering , visualization , code reuse , component (thermodynamics) , component based software engineering , software , software visualization , control flow graph , context (archaeology) , programming language , control flow , software development , world wide web , data mining , ecology , paleontology , physics , biology , thermodynamics
In software development, it is often desirable to reuse existing software components. This has been recognized since 1968, when Douglas Mcllroy of Bell Laboratories proposed basing the software industry on reuse. Despite the failures in practice, many efforts have been made to make this idea successful. In this context, we address the problem of reusing annotated components as a rigorous way of assuring the quality of the application under construction. We in- troduce the concept of caller-based slicing as a way to certify that the integration of an annotated component with a contract into a legacy system will preserve the behavior of the former. To complement the efforts done and the benefits of the slicing techniques, there is also a need to find an efficient way to visualize the annotated components and their slices. To take full profit of visualization, it is crucial to combine the visualization of the control/data flow with the textual representation of source code. To attain this objective, we extend the notion of System Dependence Graph and slicing criterion.Fundação para a Ciência e a Tecnologia (FCT

The content you want is available to Zendy users.

Already have an account? Click here to sign in.
Having issues? You can contact us here