基于反射机制的构件化软件静态分析器的设计与实现  

The Research and Implementation of a Static Analyzer for Component-Based Software Based on Reflection Mechanism

作　　者：曹晋阳[1] 张毅坤[1] 杨凯峰[1] 徐涛[1] 

机构地区：[1]西安理工大学计算机科学与工程学院,陕西西安710048

出　　处：《西安理工大学学报》2008年第1期108-113,共6页Journal of Xi'an University of Technology

基　　金：陕西省自然科学基金资助项目(2007F51);陕西省教育厅基金资助项目(07JK348)

摘　　要：设计并实现基于反射机制的构件化软件静态分析器。该静态分析器通过对构件化软件源程序代码的静态分析,使用反射机制,自动提取源程序的结构、构件测试元素和构件交互关系,采用XML保存分析结果并图形化直观显示程序结构和构件交互。实例结果表明,该分析器适用于对基于.NET的构件化软件进行分析处理。A component-based software static analyzer is designed and implemented in this paper. This static analyzer can automatically obtain the resource program structure, the component testing elements and the component inter-relation via the static analysis of the component-based software source program codes and the application of reflect mechanism. Also, XML is adopted to preserve the analysis results, graphic visual display program structure and component interaction. The experimental results indicate that this analyzer is adaptable to carrying-out of component software based on . NET.

关 键 词：静态分析器 XML 测试元素 反射 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]