Towards Rebuilding the Design Model of Programs by Static Analysis and Abstraction
Yanjun Wen, Liqian Chen, Ji Wang · Journal of Physics Conference Series · 2021
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.