基于PVM的并行调试环境

并行软件开发环境的研究已日益成为并行计算和并行处理的重点。本文简介了可移植的消息传递环境ＰＶＭ，讨论了以此为目标的图形监视环境ＸＰＶＭ，阐明ＸＰＶＭ环境与实际需要的ＰＶＭ并行调试环境之间的差距，并在此基础上探讨了并行调试环境开发中的技术难点及其设计要求。     

CASE环境工具支持接口

本文首先简要讨论了ＣＡＳＥ环境工具技术接口的发展情况，然后具体讨论了工具支持接口的需求：分布式数据库、分布式体系结构和高级用户接口，由于分布式数据库是ＣＡＳＥ环境工具技术接口的核心，因而着重对它进行了讨论。     

即时编译器中的代码消极生成机制

提出一种应用于即时编译器中的代码生成优化技术——代码消极生成机制,结合Intel微处理器研究院的XORP虚拟机对该项技术进行了阐述。介绍了XORP中实现的其他轻量级优化算法,并采用EEMBC对不同虚拟机和不同优化进行了科学评估。采用该项技术的XORP虚拟机的运行速度为KVM的15倍以上,超过其他商用高性能虚拟机。     

一种基于运行时交互约束的COTS构件集成测试用例生成方法

COTS(Commercial Off-The-Shelf)构件的源代码不可得,而且规约通常缺少交互语义信息,使得集成了COTS的构件软件系统无法采用基于源代码和基于规约的集成测试用例生成方法.提出基于运行时交互约束的COTS构件集成测试用例生成方法.方法在构件软件系统的初始功能测试用例执行过程中,获取COTS构件在系统上下文环境中的运行时接口交互约束信息,建立COTS构件与系统中其它构件的交互约束模型,根据建立的构件交互约束模型生成集成测试用例.当替换、更新集成的COTS构件时,采用生成的集成测试用例验证重新集成的COTS构件与系统其它构件交互的正确性.实现方法的自动化工具原型,并采用真实的系统实例对生成的测试用例的有效性进行了初步评估.     

结合本体筛选和文本挖掘的垂直搜索引擎研究

针对垂直搜索引擎研究领域的关键技术问题,提出了一个结合本体筛选和文本挖掘的垂直搜索引擎构建思想.首先探讨了作为研究基础的本体和文本挖掘技术,讨论了两者的作用;之后阐述了垂直搜索引擎构建的关键技术,包括基于本体筛选的智能搜索器、结合文本挖掘的网页信息分析及抽取、索引器及查询处理器的构造;最后,对提出的思想进行了实现验证,构造一个面向高校毕业生招聘的垂直搜索引擎原型.     

基于场景的软件体系结构分析

文章介绍了一种基于场景的、面向对象的软件体系结构分析方法（ＳＡＡＭ）。首次提出了用基于场景的软件体系结构分析方法来分析面向对象软件系统的体系结构质量属性,如软件结构的耦合度、内聚性和结构复杂性,从而解决了传统软件体系结构质量属性由于过于抽象而无法定量地度量的问题。文中还具体介绍了将该方法成功地应用到一个测试软件ＳａｆｅｐｒｏＣ的体系结构度量上。实践证明,此方法不仅能够有效地度量软件体系结构的静态质量属性,而且还能较好地度量软件体系结构的动态质量特性。     

Linux内核软件体系结构恢复的研究

Ｌｉｎｕｘ是由全球范围的系统软件设计专家在遵守通用公共许可证条款（ＧＰＬ）的前提下共同开发的符合ＰＯＳＩＸ标准的类ＵＮＩＸ操作系统,在开发过程中没有严格完整的文档化软件体系结构,因而不利于内核开发者对Ｌｉｎｕｘ内核的理解和维护。文章在综合分析Ｌｉｎｕｘ内核有关文档的基础上,利用软件工具并分析部分Ｌｉｎｕｘ内核源码,恢复了Ｌｉｎｕｘ内核文档化的软件体系结构,以提高其可靠性、可维护性和可扩展性。Ｌｉｎｕｘ代表了Ｉｎｔｅｒｎｅｔ时代一种新的软件开发模式,对Ｌｉｎｕｘ内核软件体系结构恢复的研究,是这种新的开发模式下进行软件工程学研究的一种尝试。     

Java构件的测试脚本生成技术

QESat/Java中的构件测试工具辅助用户生成测试脚本，通过测试脚本的执行获得功能测试结果以及程序覆盖信息。测试脚本生成技术是Java构件测试工具中的核心和难点部分，该文根据JUnit、Mock object、In Container等技术规范提出模板关键域替换方法生成测试脚本。     

二维限定Voronoi网格剖分细化算法

给出了限定点、限定线在Voronoi网格中存在的充要条件,提出了二维限定Voronoi网格细化算法,通过设置初始检测带,然后细分检测带来实现限定Voronoi网格的剖分;同时证明了该算法对于任意平面线段图输入限定条件的收敛性.对于生成的限定Voronoi网格,给出了尺寸控制和质量控制算法,并对其时间复杂度进行了分析.最后通过实例验证了文中算法的有效性.     

适应性软件体系结构中构件连接的概念、特点和作用

构件连接对软件体系结构的适应性有重要影响。目前人们对它的认识尚不统一，文章对构件连接的概念、特点和作用进行了论述，以期对适应性软件体系结构的进一步研究有所裨益。