摘要：从分析印象主义绘画风格作品入手 ,采用混合笔触设计和立体笔触方法 。

摘要：通信软件在其基本服务基础上进行扩展而得到的附加功能被称为特征,由于特征之间的相互干扰所导致的软件系统的异常行为被称为特征冲突问题.研究了下一代通信软件中由于特征的分布式实现和部署而产生的特征冲突问题.基于通信有限状态机模型,采用系统验证的技术设计了一种分布式特征冲突检测方案;对于生成全局状态自动机所导致的状态爆炸问题,提出了4条消除冗余状态和变迁的优化规则.对所提出的方案及优化策略进行了理论上的证明和实际中的验证,结果均表明,该方案对于通信软件中的特征冲突检测是有效的.

摘要：体系结构风格是体系结构设计的重要指导,它为设计人员的交流建立了公共的术语空间,促进了设计复用与代码复用.本文试图为体系结构风格定义提供一个通用的形式化框架,支持建模风格的结构约束、拓扑约束和交互行为约束,并且将风格所蕴含的体系结构变化性特征显式化;通过将该框架引入ABC方法,给出了一种基于风格的体系结构建模方法,并提供了图形化的建模工具.

摘要：构件技术的新特点为构件测试带来挑战。合约式设计是一种重要的软件易测试性设计方法。基于合约的构件易测试性设计为构件测试提供了一种有效的手段。设计并实现了一种新的合约式设计工具(PKUJDBCT),为构件的易测试性设计提供有力的支撑,并为今后进一步研究基于合约的构件易测试性设计方法打下了良好的基础。

摘要：作为控制软件复杂性、提高软件系统质量、支持软件开发和复用的重要手段之一,软件体系结构自提出以来,日益受到软件研究者和实践者的关注,并发展成为软件工程的一个重要的研究领域.如今,软件体系结构的研究也开始超出传统的对软件设计阶段的支持,逐步扩展到整个软件生命周期.基于软件体系结构近十年来的研究进展,综述了在软件生命周期的不同阶段软件体系结构的研究与应用,并探讨了软件体系结构领域的发展与研究方向.

摘要：　针对Internet环境下广泛的信任危机,人们着力于研究可信性支撑和度量技术.传统模型和机制很少从信任本身看问题,并且大多只涉及可信的单个方面,对于有多种可信特性需求的系统来说,很难提供一致的管理.本文以Internet环境下的软件服务为研究实体,从信任角度出发,致力于为软件服务的可信性管理建立一致视图.首先基于中间件建立了一个信任管理模型,然后基于对可信特性的共性提炼,构建了一个可定制、扩展性良好的信任管理框架,并以可扩展为目标建立了一个可行的可信性度量模型.最后基于构件运行支撑平台PKUAS进行了设计和实现,并与相关工作进行了比较.

摘要：尽管在J2EE(Java 2platform ,EnterpriseEdition)规范中尚未明确提出与负载平衡相关的公共服务 ,为了提高网络软件的伸缩性 ,在中间件层次上支持负载平衡已成为J2EE应用服务器提供商事实上必须关注的内容 .本文在分析现有的面向J2EE平台的负载平衡技术的基础上 ,提出了一种支持多种负载平衡策略、可灵活定制的负载平衡框架 ,并详细描述了该框架在一个产品化的J2EE应用服务器PKUAS(PekingUniversityApplicationServer)中的实现细节 .

摘要：在对当前的面向服务体系结构研究的基础上,提出了一种用于设计面向服务体系结构的参考模型,深入地阐述了有关概念,详述了参考模型的结构以及其中的服务总线和服务合约的元模型,并提出了一个用于评价面向服务体系结构的成熟度模型．该参考模型为进一步设计面向服务的体系结构奠定了基础．

摘要：提出针对体系结构层次设计的决策抽象和问题分解原则,以及基于该原则的一种以决策为中心的体系结构设计方法.该方法从决策的视角对体系结构进行建模,并通过一个从导出体系结构关键问题到对体系结构方案决策的过程完成设计,还在其中实现了候选体系结构方案的自动合成以及设计决策与理由的捕捉.这种以决策为中心的方法切合体系结构层次的特点,降低了体系结构设计的复杂性和设计决策与理由捕捉的代价.

摘要：从软件测试的技术与过程、持续的软件测试、软件测试的充分性准则等方面简要介绍软件测试的基本思想 ;讨论软件测试中的若干问题 ,包括面向路径的测试数据自动生成、测试预言、期望结果的自动生成、回归测试等 ;并且探讨软件测试的发展趋势 ,包括构件测试、软件的易测试性与基于合约的构件易测试性设计和WebServices测试等。