一种恢复状态模式的状态转换图的方法

A Method to Recover State Transition Graph of State Pattern

现有研究不能从状态模式的代码中恢复状态转换图这一状态模式的核心语义信息。针对状态驱动的转换这种典型实现方式,通过分析类型传播图确定状态模式的状态变量在各次赋值前后所属的具体状态类,并由此恢复该模式的状态转换图。给出了具体算法,通过实例分析验证了方法的可行性。

Existing researches can＇t recover state translation graph from codes of state pattern, which is the core semantic of state pattern. An approach is proposed to recover state translation graph from codes of typical implementation of state pattern. By analysis of type propagation graph, the approach figures out which concrete state class the current state variable belongs to before and after it has been assigned, and thus the state transition graph is recovered. The algorithm of the approach is presented, and the effectiveness of the approach is verified by a case study.