Towards Rebuilding the Design Model of Programs by Static Analysis and Abstraction

Yanjun Wen,Liqian Chen,Ji Wang
DOI: https://doi.org/10.1088/1742-6596/1828/1/012152
2021-01-01
Journal of Physics Conference Series
Abstract: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.
What problem does this paper attempt to address?