期刊文献+

基于依赖性分析的对象行为协议逆向恢复 被引量:3

Behavior Protocols Recovery Based on Dependency Analysis
下载PDF
导出
摘要 对象行为协议对于理解对象行为语义、对象行为验证、测试以及指导其他开发者正确使用对象所提供的外部行为都有十分重要的意义。然而在很多遗产系统中,对象行为协议常常缺失或随着长期的代码维护而出现不一致。针对这一问题,本文提出了一种静态的对象行为协议逆向恢复方法。该方法首先通过源代码分析获取对象(类)内部各方法之间直接和间接的依赖关系,然后在对象(类)内部依赖关系的基础上构建行为协议状态机。由于对象(类)内部的依赖关系是对象行为约束的主要根源,而静态分析具有全面、准确的优点,因此该方法获得的行为协议具有较好的准确性,而相关的实验结果也很好地验证了这一点。 The behavior protocol of object has the critical meaning in understanding and integrating the object into development. Unfortunately, protocol is rarely maintained during the development of lagecy systems. To handle the problem,this paper proposes a technical to recovery the behavior protocol of object in the form of Finite State Machine. It extracts dependency of functions through a static source-code analyse procedure and reconstruct the relations between states. The method offers an accurate and understandable result to instruct the developers in reengineering procedure.
出处 《计算机科学》 CSCD 北大核心 2008年第8期265-268,276,共5页 Computer Science
基金 国家863计划(2007AA01Z125) 国家自然科学基金(60473061 60703092)
关键词 行为协议 抽象状态图 方法依赖 静态分析 再工程 逆向工程 Behavior protocol, Abstract state graph, Function dependence, Static analysis, Reengineering, Reverse engi- neering
  • 相关文献

参考文献16

  • 1Kim Y, Hong H, Bae D, et al. Test cases generation from UML state diagrams//IEEE Proceedings-Software. 1999, 146 (4) : 197-192.
  • 2Briand Y L L C, Penta M D. Assessing and improving state-based class testing: A series of experiments. IEEE Transactions on Software Engineering, 2003,30 (11).
  • 3Yang Jinlin, Evans D. Dynamically Inferring Temporal Properties//Proc, the ACM-SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering. 2004:23-28.
  • 4Yuan Hal, Xie Tao. Automatic Extraction of Abstract-Object-State Machines Based on Branch Coverage//Proceedings of the 1st International Workshop on Reverse Engineering to Requirements at WCRE 2005 (RETR 2005). November 2005:5-11.
  • 5Xie Tao,Notkin D. Automatic Extraction of Sliced Object State Machines for Component Interfaces//Proc. 3rd Workshop on Specification and Verification of omponent-Based Systems at ACM SIGSOFT 20047FSE-12 (SAVCBS 2004). October 2004: 39-46.
  • 6Corbett J, Dwyer M, Hatcliff J, et al. Bandera.. extracting finites-tate models from Java source code//22nd International Conference on Software Engineering. June 2000.
  • 7Whaley J, Martin M C, Lam M S. Automatic extraction of object-oriented component interfaces//International Symposium on Software Testing and Analysis. July 2002.
  • 8Olender K M, Osterweil L J. Interprocedural Static Analysis of Sequencing Constraints. ACM Transactions on Software Engineering and Methodology, 1992,1 (1) : 21-52.
  • 9Tang M H,Wang W L.Chen M H. A UML Approach for Software Change Modeling. cs. albany, edu.
  • 10Abstract state machines and high-level system design and analysis. Theor. Comput. Sci, 2205,336 (2-3) : 205-207.

二级参考文献1

共引文献15

同被引文献20

  • 1Yang Jinlin, Evans D. Dynamically Inferring Temporal Properties[C]//Proc, the ACM-SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering. 2004: 23- 28.
  • 2Yuan Hai, Xie Tao. Automatic Extraction of Abstract - objectstate Machines Based on Branch Coverage[C] ffProceedings of the 1st International Workshop on Reverse Engineering To Requirements at WCRE 2005 (RETR 2005). November 2005:5-11.
  • 3Tang Mei-huei,Wang Wen-li,Chen Mei-hwa. A UML Approach for Software Change Modeling. cs. albany. edu.
  • 4http://compilers. cs. ucla. edu/j tb/jtb-2003.
  • 5https://javacc. dev. java. net.
  • 6Mohamed G. Gouda Closed Covers: to Verify Progress for Communicating Finite State Machines Technical Report[R]. CS-TR- 82-191 Year of Publication: 1982.
  • 7http:///www. graphviz. org.
  • 8https: / /javac-dev. java net.
  • 9Mohamed G_Gouda Closed Covers: tO Verify Progress for Com--municating Finite State Machines Technical Report[R]. CS- TR-82--191 Year of Publication: 1982.
  • 10http//. graviz. org.

引证文献3

二级引证文献5

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部