Open AccessTowards Rebuilding the Design Model of Programs by Static Analysis and Abstraction
Author(s) -
Wen Yi,
Liqian Chen,
Ji Wang
Publication year - 2021
Publication title -
journal of physics. conference series
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.21
H-Index - 85
eISSN - 1742-6596
pISSN - 1742-6588
DOI - 10.1088/1742-6596/1828/1/012152
Subject(s) - abstraction , computer science , program design language , static analysis , set (abstract data type) , software engineering , program analysis , programming language , philosophy , epistemology
It is difficult to understand a complex software program if its detailed design is not available. A model-rebuilding approach is presented to recover the design on an abstract level. In this approach, by static analysis of the program, a design is constructed and described in an abstract program which includes all behaviour that is observable at a set of selected program points. The approach provides an effective way for the understanding of complex programs.