Static execute after/before as a replacement of traditional software dependencies

Judit Jász, A. Beszédes, T. Gyimóthy, Václav Rajlich

Research output: Chapter in Book/Report/Conference proceedingConference contribution

31 Citations (Scopus)

Abstract

The paper explores Static Execute After (SEA) dependencies in the program and their dual Static Execute Before (SEB) dependencies. It empirically compares the SEA/SEB dependencies with the traditional dependencies that are computed by System Dependence Graph (SDG) and program slicers. In our case study we use about 30 subject programs that were previously used by other authors in empirical studies of program analysis. We report two main results. The computation of SEA/SEB is much less expensive and much more scalable than the computation of the SDG. At the same time, the precision declines only very slightly, by some 4% on average. In other words, the precision is comparable to that of the leading traditional algorithms, while intuitively a much larger difference would be expected. The paper then discusses whether based on these results the computation of the SDG should be replaced in some applications by the computation of the SEA/SEB.

Original languageEnglish
Title of host publicationIEEE International Conference on Software Maintenance, ICSM
Pages137-146
Number of pages10
DOIs
Publication statusPublished - 2008
Event24th IEEE International Conference on Software Maintenance, ICSM 2008 - Beijing, China
Duration: Sep 28 2008Oct 4 2008

Other

Other24th IEEE International Conference on Software Maintenance, ICSM 2008
CountryChina
CityBeijing
Period9/28/0810/4/08

Keywords

  • Program dependencies
  • Program slicing
  • Source code analysis
  • Static execute after
  • System dependence graph

ASJC Scopus subject areas

  • Software

Cite this

Jász, J., Beszédes, A., Gyimóthy, T., & Rajlich, V. (2008). Static execute after/before as a replacement of traditional software dependencies. In IEEE International Conference on Software Maintenance, ICSM (pp. 137-146). [4658062] https://doi.org/10.1109/ICSM.2008.4658062

Static execute after/before as a replacement of traditional software dependencies. / Jász, Judit; Beszédes, A.; Gyimóthy, T.; Rajlich, Václav.

IEEE International Conference on Software Maintenance, ICSM. 2008. p. 137-146 4658062.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Jász, J, Beszédes, A, Gyimóthy, T & Rajlich, V 2008, Static execute after/before as a replacement of traditional software dependencies. in IEEE International Conference on Software Maintenance, ICSM., 4658062, pp. 137-146, 24th IEEE International Conference on Software Maintenance, ICSM 2008, Beijing, China, 9/28/08. https://doi.org/10.1109/ICSM.2008.4658062
Jász J, Beszédes A, Gyimóthy T, Rajlich V. Static execute after/before as a replacement of traditional software dependencies. In IEEE International Conference on Software Maintenance, ICSM. 2008. p. 137-146. 4658062 https://doi.org/10.1109/ICSM.2008.4658062
Jász, Judit ; Beszédes, A. ; Gyimóthy, T. ; Rajlich, Václav. / Static execute after/before as a replacement of traditional software dependencies. IEEE International Conference on Software Maintenance, ICSM. 2008. pp. 137-146
@inproceedings{49514a59d4e54de1afc9c1c7d1851354,
title = "Static execute after/before as a replacement of traditional software dependencies",
abstract = "The paper explores Static Execute After (SEA) dependencies in the program and their dual Static Execute Before (SEB) dependencies. It empirically compares the SEA/SEB dependencies with the traditional dependencies that are computed by System Dependence Graph (SDG) and program slicers. In our case study we use about 30 subject programs that were previously used by other authors in empirical studies of program analysis. We report two main results. The computation of SEA/SEB is much less expensive and much more scalable than the computation of the SDG. At the same time, the precision declines only very slightly, by some 4{\%} on average. In other words, the precision is comparable to that of the leading traditional algorithms, while intuitively a much larger difference would be expected. The paper then discusses whether based on these results the computation of the SDG should be replaced in some applications by the computation of the SEA/SEB.",
keywords = "Program dependencies, Program slicing, Source code analysis, Static execute after, System dependence graph",
author = "Judit J{\'a}sz and A. Besz{\'e}des and T. Gyim{\'o}thy and V{\'a}clav Rajlich",
year = "2008",
doi = "10.1109/ICSM.2008.4658062",
language = "English",
isbn = "9781424426140",
pages = "137--146",
booktitle = "IEEE International Conference on Software Maintenance, ICSM",

}

TY - GEN

T1 - Static execute after/before as a replacement of traditional software dependencies

AU - Jász, Judit

AU - Beszédes, A.

AU - Gyimóthy, T.

AU - Rajlich, Václav

PY - 2008

Y1 - 2008

N2 - The paper explores Static Execute After (SEA) dependencies in the program and their dual Static Execute Before (SEB) dependencies. It empirically compares the SEA/SEB dependencies with the traditional dependencies that are computed by System Dependence Graph (SDG) and program slicers. In our case study we use about 30 subject programs that were previously used by other authors in empirical studies of program analysis. We report two main results. The computation of SEA/SEB is much less expensive and much more scalable than the computation of the SDG. At the same time, the precision declines only very slightly, by some 4% on average. In other words, the precision is comparable to that of the leading traditional algorithms, while intuitively a much larger difference would be expected. The paper then discusses whether based on these results the computation of the SDG should be replaced in some applications by the computation of the SEA/SEB.

AB - The paper explores Static Execute After (SEA) dependencies in the program and their dual Static Execute Before (SEB) dependencies. It empirically compares the SEA/SEB dependencies with the traditional dependencies that are computed by System Dependence Graph (SDG) and program slicers. In our case study we use about 30 subject programs that were previously used by other authors in empirical studies of program analysis. We report two main results. The computation of SEA/SEB is much less expensive and much more scalable than the computation of the SDG. At the same time, the precision declines only very slightly, by some 4% on average. In other words, the precision is comparable to that of the leading traditional algorithms, while intuitively a much larger difference would be expected. The paper then discusses whether based on these results the computation of the SDG should be replaced in some applications by the computation of the SEA/SEB.

KW - Program dependencies

KW - Program slicing

KW - Source code analysis

KW - Static execute after

KW - System dependence graph

UR - http://www.scopus.com/inward/record.url?scp=57849154466&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=57849154466&partnerID=8YFLogxK

U2 - 10.1109/ICSM.2008.4658062

DO - 10.1109/ICSM.2008.4658062

M3 - Conference contribution

AN - SCOPUS:57849154466

SN - 9781424426140

SP - 137

EP - 146

BT - IEEE International Conference on Software Maintenance, ICSM

ER -