Visualization Analysis Framework for Large-Scale Software Based on Software Network

Ren, Shengbing; Jia, Mengyu; Huang, Fei; Liu, Yuan

doi:10.1007/978-981-10-6385-5_63

Cited by 1 publication

(2 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Inspired by the preliminary work of the article [15] and our previous work in representation, storage and retrieve for large-scale software, in this paper we present a novel approach of scenario oriented program slicing based on the combination of constraint logic programming and program transformation, which is implemented as a tool. And our experimental evaluation suggests that our approach can realize scenario oriented program slicing efficiently and effectively.…”

Section: Discussionmentioning

confidence: 99%

“…Inspired by the preliminary work of the article [15] and our previous work in representation, storage and retrieve for large-scale software, in order to address the problems of the state space exploration and the precision for analyzing largescale software, a method named scenario slicing is proposed which combines and extends the ideas which were developed in the fields of constraint logic programming and program transformation. There is no restriction on the languages with which our approach can be used, but for the simplicity we have only explored its use with java.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Scenario Oriented Program Slicing for Large-Scale Software Through Constraint Logic Programming and Program Transformation

Ren

Jia

2019

IEEE Access

Self Cite

View full text Add to dashboard Cite

Program slicing, as a technique of program decomposition, is widely used in the field of program testing, model checking, software verification, symbolic execution, and other fields. However, the traditional approaches of program slicing tend to produce too large slices and the static program analyses are hard to be precise enough. Scenario-oriented program slicing, which considers the actual usage of software, gives a more precise perspective of program slicing. In this paper, we propose an approach of scenario-oriented program slicing, which combines constraint logic programming and program transformation. According to the observation that the output of a program transformation is a semantically equivalent program where the properties of interest are preserved, we can apply a sequence of transformations, more powerful than those needed for program specialization, refining the slicing to the desired degree of precision. And constraint logic programming has been shown to be a powerful, flexible formalism to reason about the correctness of programs. The novel contributions of this paper are as follows: 1) converting the problem of program slicing into program transformation and retrieval; 2) presenting a set of constraint handling rules for scenario-oriented program slicing in constraint logical programming programs; and 3) deriving a scenariooriented program slicing algorithm. The method of scenario-oriented program slicing has been implemented and we have demonstrated its effectiveness and efficiency on three open source software projects in GitHub. INDEX TERMS |Constraint logic programming, large-scale software, program slicing, program transformation, scenario.

show abstract

Section: Discussionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%