一种恢复状态模式的状态转换图的方法
尹恒
周晓宇
1.东南大学计算机科学与工程学院,南京,2111892.东南大学计算机科学与工程学院,南京,211189
摘要:现有研究不能从状态模式的代码中恢复状态转换图这一状态模式的核心语义信息.针对状态驱动的转换这种典型实现方式,通过分析类型传播图确定状态模式的状态变量在各次赋值前后所属的具体状态类,并由此恢复该模式的状态转换图.给出了具体算法,通过实例分析验证了方法的可行性.
关键词:设计模式状态模式类型传播图状态转换图
分类号:TP311(计算技术、计算机技术)
资助基金:国家自然科学基金重大研究计划和重点项目(90818027)国家自然科学基金重大研究计划和重点项目(60633010)国家高技术研究发展计划(八六三计划)目标导向类项目(2009AA01Z147)国家自然科学(60873049)国家自然科学( 60803008)国家自然科学( 60903026)江苏省自然科学基金项目(BK2006094)江苏省自然科学基金项目( 2008292)武汉大学软件工程国家重点实验室开放基金(SKLSE20080717)
论文发表日期:2010-01-01
在线出版日期:2025-08-15(本平台首次上网日期,不代表文献的发表时间)
页数:4( 71-73,154 )
英文信息
