赵建军
主要研究领域包括面向方面软件开发(Aspect-Oriented Software Development),高可靠软件系统的构建、软件体系结构、软件测试、软件理解与维护、软件系统的复杂性度量、软件系统的验证、程序语言设计与实现、编译优化等。
个性化签名
- 姓名:赵建军
- 目前身份:
- 担任导师情况:
- 学位:
-
学术头衔:
博士生导师
- 职称:-
-
学科领域:
计算机软件
- 研究兴趣:主要研究领域包括面向方面软件开发(Aspect-Oriented Software Development),高可靠软件系统的构建、软件体系结构、软件测试、软件理解与维护、软件系统的复杂性度量、软件系统的验证、程序语言设计与实现、编译优化等。
赵建军,男,1964年8月1日生于辽宁省沈阳市。1987年7月在清华大学计算机科学与技术系计算机应用专业获得学士学位。1987年9月免试进入中国运载火箭技术研究院北京航天自动控制研究所(原航天部第一研究院12所)攻读硕士学位,并于1990年5月获得计算机应用专业硕士学位。1993年4月到日本国立九州大学计算机科学与通信系留学,做研究生(Research Student)。1994年3月开始攻读计算机软件专业(软件工程)博士学位,于1997年3月获得计算机科学博士学位。论文题目为《并发逻辑程序的依赖性分析及其应用》。1997年4月起任日本福冈工业大学计算机科学与工程系助理教授(终身)。2000年4月起任副教授(终身)。2002年4月到2003年3月在美国麻省理工学院计算机科学实验室(MIT Laboratory for Computer Science)作访问教授一年。2005年11月起任上海交通大学电子信息与电气工程学院计算机科学与工程系教授,博士生导师。赵建军目前担任中国计算机学会软件工程专业委员会委员。赵建军的主要研究领域包括面向方面软件开发(Aspect-Oriented Software Development),高可靠软件系统的构建、软件体系结构、软件测试、软件理解与维护、软件系统的复杂性度量、软件系统的验证、程序语言设计与实现、编译优化等。
-
主页访问
1519
-
关注数
0
-
成果阅读
332
-
成果数
5
【期刊论文】Measuring Coupling in Aspect-Oriented Systems
赵建军, Jianjun Zhao
,-0001,():
-1年11月30日
Coupling is an internal software attribute that can beused to indicate the degree of interdependence among thecomponents of a software system. Coupling is thought tobe a desirable goal in software construction, leading to bettervalues for external attributes such as maintainability,reusability, and reliability. Aspect-oriented software development(AOSD) is a new technique to support separation ofconcerns in software development. In aspect-oriented (AO)systems, the basic components are aspects or classes, whichconsist of attributes (aspect or class instance variables) andthose modules such as advice, intertype declarations, pointcuts,and methods. Thus, in AO systems, the coupling ismainly about the degree of interdependence among aspectsand/or classes. To test this hypothesis, good coupling measuresfor AO systems are needed. In this paper, we proposea coupling measure suite for assessing the coupling inaspect-oriented systems. We first present a coupling frameworkfor AO systems which specially designed to count thedependencies between aspects and classes in the systems.Based on this framework, we formally define various couplingmeasures in terms of different types of dependenciesbetween aspects and classes. We also discuss the mathematicalproperties of these measures.
-
95浏览
-
0点赞
-
0收藏
-
0分享
-
61下载
-
0评论
-
引用
【期刊论文】Measuring Aspect Cohesion
赵建军, Jianjun Zhao and Baowen Xu
FASE 2004, LNCS 2984, pp.54-68, 2004.,-0001,():
-1年11月30日
Cohesion is an internal software attribute representing thedegree to which the components are bound together within a softwaremodule. Cohesion is considered to be a desirable goal in software development,leading to better values for external attributes such as maintainability,reusability, and reliability. Aspect-oriented software development(AOSD) is a new technique to support separation of concerns in softwaredevelopment. AOSD introduces a new kind of component called aspectwhich is like a class, also consisting of attributes (aspect instance variables)and those modules such as advice, introduction, pointcuts, andmethods. The cohesion for such an aspect is therefore mainly about howtightly the attributes and modules of aspects cohere. To test this hypothesis,cohesion measures for aspects are needed. In this paper, we proposean approach to assessing the aspect cohesion based on dependence analysis.To this end, we present various types of dependencies between attributesand/or modules in an aspect, and the aspect dependence graph(ADG) to explicitly represent these dependencies. Based on the ADG,we formally define some aspect cohesion measures. We also discuss theproperties of these dependencies, and according to these properties, weprove that these measures satisfy the properties that a good measureshould have.
-
77浏览
-
0点赞
-
0收藏
-
0分享
-
77下载
-
0评论
-
引用
【期刊论文】Pipa: A Behavioral Interface SpecificationLanguage for AspectJ_
赵建军, Jianjun Zhao and Martin Rinard
FASE 2003, LNCS 2621, pp.150-165, 2003.,-0001,():
-1年11月30日
Pipa is a behavioral interface specification language (BISL)tailored to AspectJ, an aspect-oriented programming language. Pipa isa simple and practical extension to the Java Modeling Language (JML),a BISL for Java. Pipa uses the same basic approach as JML to specifyAspectJ classes and interfaces, and extends JML, with just a few newconstructs, to specify AspectJ aspects. Pipa also supports aspect specificationinheritance and crosscutting. This paper discusses the goals andoverall approach of Pipa. It also provides several examples of Pipa specificationsand discusses how to transform an AspectJ program togetherwith its Pipa specification into a corresponding Java program and JMLspecification. The goal is to facilitate the use of existing JML-based toolsto verify AspectJ programs.
-
51浏览
-
0点赞
-
0收藏
-
0分享
-
65下载
-
0评论
-
引用
【期刊论文】System Dependence Graph Constructionfor Aspect-Oriented Programs
赵建军, Jianjun Zhao* and Martin Rinard
,-0001,():
-1年11月30日
We extend previous depedence-based representations called system dependence graphs (SDGs) to represent aspect-oriented programs and present an SDG construction algorithm. This algorithm first constructs a module dependence graph (MDG) for each piece of advice, introduction, and method in aspects and classes. It then uses existing techniques to connect the MDGs at call sites to form a partial SDG. Finally, it weaves the MDG for each eice of advice into the partial SDG for those methods whose behavior may be affected by the ad-vice. The result is the complete SDG. Our SDGs capture the additional structure present in many as pect-oriented fea-tures such as join points, advice, introuduction, aspects, and aspect in heritance, and various types of interactions between aspects and classes. They also correctly reflect the semantics of aspect-oriented concepts such as advice precedence, intro-duction scope, and aspect weaving. SDGs therefore provide a solid foundation for the further analysis of aspect-oriented programs.
-
51浏览
-
0点赞
-
0收藏
-
0分享
-
62下载
-
0评论
-
引用
【期刊论文】Towards A Metrics Suite for AspectOrientedSoftware
赵建军, Jianjun Zhao
Technical-Report Se-136-25, Informanation Processing Society of Japan (IPSJ), March 2002,-0001,():
-1年11月30日
Although a large body of research in software metrics has benn focused on procedural of object-oriented software, there is no software metric for aspect-oriented software until now. In this paper, we propose some metrics for aspect-oriented In this paper, we propose some metrics for aspect-iruebted siftwarem which are specifically designed to quantify the in-formation flows in an aspect-oriented program. We define these metrics based on a dependence model for aspect-oriented soft ware which consists of a group of depentence graphs each can be used to explicitly represent various dependence rela-tions at different levels of an aspect-oriented program. The proposed metrics can be used to measure the complexity of an aspect-oriented program frm various different.
-
58浏览
-
0点赞
-
0收藏
-
0分享
-
56下载
-
0评论
-
引用