论文部分内容阅读
从逆向工程角度,状态可以看作对象收到消息后产生的行为的分类,类的方法体中的流程控制语句可以用来区别对象的行为.该文据此提出了一种逆向抽取对象状态模型的方法,该方法定义了"状况树"和"具体状况树"等概念,给出了在这些概念基础上进行状态模型抽取的具体步骤.为验证上述方法的可行性,该文设计并实现了一个小型的实验系统.