软件工程课程群设计

本文根据本科生和研究生两个层次对软件工程类课程的教学要求，介绍了软件工程课程群的设计，包括课程定位、课程设置、主要课程的知识单元和知识点。

软件复用度量综述

软件复用度量是软件复用技术中不可分割的一部分,在软件复用开发中占据重要地位。软件复用开发与传统的软件开发方式不同,从而影响到软件度量,因此需要新的软件复用度量方法,软件复用度量的研究已经引起学术界的广泛重视。本文是一篇软件复用度量综述,阐述了软件复用对度量的影响以及有关软件复用的度量。

青鸟Ⅱ型系统需求文档分析工具的设计和实现

需求文档分析工具（ＲＤＡＴ）是青鸟Ⅱ型系统中的一个支持结构化开发方法的ＣＡＳＥ工具。本文首先简要介绍ＲＤＡＴ系统的设计背景，然后较详细地描述了用面向对象建模技术（ＯＭＴ）设计和实现系统的全过程。

基于刻面描述的构件检索

随着软件复用实践的深入和软件构件库规模的扩大,对软件构件的表示与检索的研究正受到越来越多的重视.针对基于刻面描述的软件构件,结合模式分析中的树匹配思想,根据构件刻面描述的特点,提出了一种基于树包含(tree inclusion)的构件检索方法,并进行了理论上的分析与实验上的检验.实验结果证明了它的可行性与有效性.

刻面分类构件的匹配模型

随着软件复用实践的深入和软件构件库规模的扩大,对软件构件的表示与检索的研究正得到越来越多的重视.针对基于刻面描述的软件构件,结合模式分析中的树匹配思想,并根据构件刻面描述的特点,提出了一个包含3个层次,5种匹配类型的刻面匹配模型.给出了该匹配模型的泛型算法并对具化情况下的算法实现与时间复杂度进行了讨论.同时,通过理论和实践的结果证明了该匹配模型在构件检索上的可行性与有效性.

基于XML的软件构件查询匹配算法研究

在研究无序树包含匹配的基础上,提出一种新的基于XML的软件构件查询匹配算法.该算法可以在保持较高构件查准率的前提下,显著地提高构件的查全率,并提供对布尔查询的支持.此外,通过合理地设定约束条件以及利用动态规划的方法,将计算查询匹配代价的算法时间复杂度限定为多项式级,确保构件查询具有足够的查询效率.最后,通过在构件库原型系统RCRS上进行的一系列实验,进一步证明了新的查询匹配算法在软件构件查询实际应用中的可行性和有效性.

基于扩展有限状态机测试中测试输入数据自动选取的研究

扩展有限状态机 (EFSM )模型是有限状态机 (FSM )模型的一个扩展 ,它在FSM模型的基础上增加了变量、操作以及状态迁移的前置条件 ,通过EFSM我们可以更加精确地刻画软件系统的动态行为 .基于EFSM的测试可以应用到许多领域 ,因此具有重要的研究价值和实际意义 .许多研究人员已经提出了基于FSM测试的测试输入序列的构造方法 ,但基于EFSM的测试与FSM相比由于变量和状态迁移的前置条件的引入 ,增加了构造其测试输入的复杂性 .我们认为基于EFSM测试的测试输入应该包含两个部分 :即测试输入序列以及该输入序列上包含的输入变量的确定值 (测试输入数据 ) .手工选取这些测试数据的工作十分繁琐 ,极大地增加了测试的花费 ,因此自动选取这些测试数据可以大大提高实际测试工作的效率 .该文提出一种基于EFSM测试的测试数据自动选取方法 ,该方法利用两个关键的步骤 :①区间削减和②分段梯度最优下降算法来自动选取测试数据 .实验表明利用该方法可以自动选取大部分的测试数据 ,并且收敛速度较快 ;在某些无法得到确定解的情况下 ,区间削减也可以为测试人员提供一个较小的输入变量取值区间 ,方便了测试人员从中手工选择测试数据 .

基于设计模式的软件重用

针对软件重用，很出应用设计模式来记录软件设计知识，这可以使软件重用从构架重用提高到软件开发各阶段知识的重用。此外结合通用仓库／销售系统的实际对设计模式的用法进行了讨论。

层次化软件构造

该文针对面向对象和可视化开发环境中出现的常见问题,结合软件系统开发的实践经验,参照计算机网络中的层次参考模型,提出了层次化软件构造的思想。同时结合实现软件复用的构件技术,将软件系统的组成构件划分为物理操作层构件、公共服务层构件、特定领域层构件和用户界面层构件4个层次。文章最后结合软件开发项目的具体应用,说明了层次化软件构造的有效性和实用性。

Semantic Web研究综述

近年来 ,SemanticWeb逐渐成为WWW领域的研究热点以及智能化网络服务和应用开发中的关键技术之一。归纳了Se manticWeb技术的研究背景和主要发展历史。在分析了典型的SemanticWeb概念后 ,给出了SemanticWeb的定义。通过讨论SemanticWeb构想的层次框架模型 ,指出了各个层次扮演的角色 ,并着重分析了SemanticWeb的重要研究领域 ,指出了它们在SemanticWeb构架中的核心作用。通过分析SemanticWeb的应用领域和相关开发工具以及面临的问题和挑战 ,指明了SemanticWeb研究和实践的方向。作为总结 ,给出了SemanticWeb领域下一步的研究趋势。

一个集成式的软件构件描述框架

该文提出了一个可扩展、可裁减的集成式软件构件描述框架 .该框架采用了相宜的方法对构件的接口、语义、问题空间等方面进行描述 ,并且通过 XML 提供了可扩展的机制 .实践证明 。

基于行为自动机的构件可替换性分析与验证

在交互协议层面讨论构件的可替换性,采用非确定性有限状态自动机(nondeterministic finite automata,简称NFA)来建模构件的交互行为,在保证交互兼容性的前提下,提出了按构件环境的透明度和构件交互的变化度两维划分的可替换性模型,给出了4类可替换性的形式化定义及其之间的关系,并基于NFA理论给出了相关的验证算法.另外,该模型以构件的替换行为而不是其全部行为作为构件替换的参照,从而使替换时有更多的候选构件可供使用,提高了构件复用的几率.

构件组装及其形式化推导研究

基于构件的软件工程(component based software engineering,简称CBSE)能够有效地提高软件开发的质量和效率.构件组装和组装推导(compositional reasoning)是CBSE的关键技术.基于软件构件的特点,借鉴进程代数中进程构造的方法,提出6种构件组装机制,能够灵活、简便地集成软件构件,并主张在构件组装的同时进行接口组装,通过生成功能更强、抽象级别更高的复合接口,提高构件组装的抽象级别和粒度.同时,基于Wright的形式化规约软件体系结构的研究,给出了复合构件和复合接口的组装推导算法,为系统行为的形式化分析、验证和仿真奠定了基础.

基于GenVoca模型的软件构架研究

ＧｅｎＶｏｃａ 是一个领域独立模型，用于设计和构造基于大规模软件重用的层次软件系统．该模型为在多个领域中实现软件构架技术提供了一套有效的方法．文章讨论了ＧｅｎＶｏｃａ 模型的主要特征，提出了基于该模型构造的一个可复用的图形编辑器（ｇｒａｐｈｉｃａｌｅｄｉｔｏｒ，简称ＧＥ）软件构架，并对该构架中的主要域、构件以及构件间的相互关系进行了分析。

基于确定有限状态机的测试输入序列选取

有限状态机可以精确地刻画软件系统或其子系统的行为 ,其在软件建模中被广泛应用 .基于有限状态机的测试问题得到了广泛的研究 ,其中 Wp方法由于限制条件较少 ,并且其可以达到较高的错误覆盖度 ,因此被广泛使用 .但当有限状态机的实现中的状态数目的估计值 m较大时 ,产生的测试输入序列数目过多 ,影响了其使用效率 .提出一种 Wp方法的改进方法 R- Wp方法 ,使用该方法在 m值较大时可以产生相对较少的测试输入序列数目 ,可以提高测试效率 ;同时本文对 Wp方法和 R- Wp方法产生的测试输入序列数目进行了讨论 ,并证明了该方法与Wp方法相同的错误覆盖能力 .

软件风险管理及优化控制

描述并分析了基于CMM的软件风险管理特点,给出一个软件风险优化控制模型及优化控制策略,并设计一个动态规划的软件风险优化控制算法。最后给出使用上述方法解决问题的一个例子。该文的研究为有效地管理和定量地控制软件风险,提高软件项目的成功率提供了有力支持,因而可广泛应用于基于CMM的软件项目风险管理。

Agile方法研究综述

本文综述了近来新出现的Agile方法,对其应用范围、价值系统、核心实践给出了阐述,并介绍了XP、SCRUM、Crystal等主要的Agile方法及其发展趋势,在此基础上,给出了CMM与Agile方法之间的比较分析,最后提出了Agile方法待研究的问题。

基于Pi演算的构件演化研究

确保构件系统的一致性是构件演化的根本目标 .根据构件交互过程 ,借鉴Pi演算的类型系统和进程构造方法 ,提出构件交互的类型系统和基于交互的构件模型 .为确保构件服务端口和交互通道的正确行为 ,给出服务的端口类型和通道类型 .以此为基础 ,结合Pi演算中良类型的思想 ,提出一致性构件系统的概念 .然后 ,结合构件演化的特点 ,给出能保持系统一致性的构件静态演化和动态演化规则 .最后 。

基于J2EE体系的Web应用框架整合

在研究了大量流行的Web应用框架的基础上,提出了一种Web应用框架整合模型,即WAFC模型(Web Application Framework Composition),该模型基于分层思想,结合设计模式方法,给出了一组约束,增加了域对象层、服务定位层和数据接口层,有效地解决了框架整合过程中出现的功能冗余、层间通信不便、耦合度太高等问题。该模型充分挖掘了各个框架的长处,使它们以一种松散耦合方式结合,形成一个更高层次的应用框架。此外还结合了具体实例,分析和探讨了该模型的实例化过程。

基于度量的软件项目过程优化控制研究

本文给出一个软件过程度量的过程模型 ,描述并分析了基于度量的软件过程跟踪和控制策略 ,在此基础上 ,结合实施CMM的软件工程实践 ,提出一个软件项目过程控制优化模型 ,并设计一个动态规划的软件项目过程控制优化算法 .当项目的实际过程偏离计划轨道时 ,管理者利用本文给出的软件项目过程优化控制方法 ,基于软件过程数据库中的历史数据 ,迅速做出最佳的控制决策 。