首页 | 本学科首页   官方微博 | 高级检索  
     

一种使用动态分析的对象状态机自动提取方法
引用本文:吴浩,彭鑫,赵文耘. 一种使用动态分析的对象状态机自动提取方法[J]. 小型微型计算机系统, 2008, 29(9)
作者姓名:吴浩  彭鑫  赵文耘
作者单位:复旦大学,计算机科学与工程系,软件工程实验室,上海,200433
基金项目:国家自然科学基金,国家高技术研究发展计划(863计划)
摘    要:对象行为协议对于辅助其他开发者理解并正确使用对象所提供的外部行为具有十分重要的意义.然而相关文档却常常缺失或存在不一致,需要通过逆向分析的方法进行恢复.针对这一问题,本文提出了一种基于驱动执行和动态分析的对象状态机(Object State Machine,OSM)提取方法.该方法从源代码中提取包含类属性的条件表达式,以其在运行时刻的取值情况及程序异常信息作为状态标识,并通过驱动执行的方式获取运行时的状态转换信息,然后分析运行时信息逐步构造对象状态机.该方法已实现为相应的原型系统,初步实验结果表明通过该方法可以高效、准确地恢复对象行为协议.

关 键 词:对象状态机  行为协议  条件提取  状态分析  驱动式调用

An Automatic Object State Machine Extraction Method Using Dynamic Analysis
WU Hao,PENG Xin,ZHAO Wen-yun. An Automatic Object State Machine Extraction Method Using Dynamic Analysis[J]. Mini-micro Systems, 2008, 29(9)
Authors:WU Hao  PENG Xin  ZHAO Wen-yun
Affiliation:WU Hao,PENG Xin,ZHAO Wen-yun (Department of Computer Science , Engineering,Fudan University,Shanghai 200433,China)
Abstract:Object behavior protocols are of great significance in guiding developers to understand and properly use the external functions provided by the object.Nevertheless,the related documents are often missed or inconsistent.Therefore,reverse analysis is used to recover the protocols.To achieve this goal,this paper presents a new method to extract Object State Machine(OSM) based on intentional method invoking and dynamic analysis.This method firstly extracts condition expressions containing class attributes from ...
Keywords:object state machine  object behavior protocols  conditions extraction  state analysis  intentional method invoking  
本文献已被 CNKI 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号