摘要：需求工程知识库／ＰＬ——ＲＫＢ／ＰＬ（ｒｅｑｕｉｒｅｍｅｎｔ—ｅｎｇｉｎｅｅｒｉｎｇｋｎｏｗｌｅｄｇｅｂａｓｅ／ＰＬ）是保持Ｃ＋＋原有风格对Ｃ＋＋进行的持久性扩充．为支持对象的持久性，ＲＫＢ／ＰＬ在Ｃ＋＋对象类的基础上扩充了以约束声明加强对象状态的用户监控；引入簇来表达对象类的集合含义；引入集合、簇、簇闭包的遍历机制来支持对象查询．为支持这些语言机制，ＲＫＢ／ＰＬ具有一个由一组ｂｕｉｌｄ—ｉｎ对象类层次、类型信息库及接口函数、系统状态表以及系统服务函数等构成的运行时系统．本文讨论了ＲＫＢ／ＰＬ中这些机制的表示、相应的运行时系统的组成以及它们的主要实现技术．ＲＫＢ／ＰＬ已成功地用于实现“软件需求获取助手ＦＲＡ”系统的需求工程知识库子系统．

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

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

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

摘要：本文结合数据流图编辑工具开发过程的描述，阐述了一个责任驱劝的面向对象开发方法的基本思想，实施框架和记号系统。这一方法强调软件是对现实的模拟，软件开发应从问题理解入手，以对象在问题中所承担的责任来驱动软件的开发。这一过程包括反复循环的５个步骤。划分主题、标识对象类，建立联系，定义服务和定主饷性。通过行为分析，获得问题的主题划分，从而引导标识与问题相关的对象类及其相互联系，并指导定认其属性和服务。

摘要：设计和开发图象档案管理系统重点要考虑以下问题：档案的快速、完整收集，归档自动化．大容量存储和实时动态调档。C２是一种基于构件和连接器的构架风格,对具有图形用户界面的应用有良好的支持。设计了一个Ｃ２风格的图像档案管理系统构架，说明了如何运用构件构架理论去指导、监控系统开发,并通过应用实例来讨论有关具体问题。

摘要：借鉴软件体系结构的思想,提出了面向体系结构的构件接口模型,它既能表达体系结构设计的高层抽象构件,又能表达底层代码级别的实现构件。同时基于该模型,运用顺序通信进程,提出了两级构件接口行为协议规约方法,能够有效规约大粒度复杂软件构件的行为交互协议。

摘要：软件配置管理(SCM)贯穿于整个软件生命周期,是软件开发过程中质量管理的精髓所在。该文在研究了现有的软件配置管理技术成果的基础上,分析了新的软件开发技术的发展所提出的问题和要求以及目前软件配置管理系统的不足,提出了一个支持可变粒度的、面向过程的软件配置管理系统——FDSCM,并依次详细介绍了该系统在配置项的分类、组织、描述和版本管理方面对可变粒度配置管理的支持,以及在支持迭代开发的过程管理方面的具体设计和实现策略。

摘要：一、简介自从面向对象的分析与设计方法问世以来,由于其拥有众多的优点,已经得到了广泛的应用.面向对象的分析与设计方法与传统的软件开发方法有许多不同之处,在软件开发过程、分析与设计技术、度量以及测试和维护方面都存在很大的差异.软件产品的度量一直是软件工程研究人员研究的一个热点问题.对软件产品进行度量可以让我们对项目开发的进度,开发成本等方面有一个定量的认识.软件产品复杂性的度量是软件度量的一个重要方面,它直接关系到软件开发费用的多少,开发周期的长短和软件内部潜伏错误的多少,同时它还间接度量了软件产品的可理解性.

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