第三代软件工程环境研究——一个可配置的开放式系统框架

关于软件工程环境有多种定义。E.Fedchak曾将其定义为“共同构成软件开发与支持框架的一组工具、结构、规则和方法(proeedures)的集合。”〔2〕。C.J.Tully在第九届国际软件工程年会(I CSEg)上又将软件工程环境定义为“为了获得更高的生产率和更高的产品质量,用于支持程序设计者、软件工程师、系统设计者和项目管理者等活动的一组计算机辅助设施。

遗传算法及其在软件测试数据生成中的应用研究

文中首先给出了遗传算法的形式化的表示和一个基于此算法的测试数据生成系统原型。然后结合一个典型的测试单元例程，介绍系统实现中必须解决的参数选取、参数编码、评价函数的构造及驱动模块自动生成等关键问题。最后，介绍了一个实用的Ada软件测试数据生成工具——TCAG。

软件构件的可信保证研究

近年来,可信构件的研究逐渐引起软件工程领域的重视。可信构件研究与应用的目标是为了给基于构件的软件工程(CBSE)提供坚实的基础,而方法就是通过扩展与完善可信重用的软件构件(可信构件)库。构件的可信来源于可信保障技术的应用,如:契约设计的使用、正确性的数学证明、软件测试、详细的代码走查、基于度量的评估、实际项目的验证、严格的变更管理等。本文通过分析可信构件研究的若干领域,总结出构件可信性的3个角度,探讨了可信构件研究的不足之处,并分析其原因。作为总结,给出了可信构件领域研究需要解决的若干问题。

软件过程改进中项目计划与跟踪的实例研究

项目的计划与跟踪是软件过程管理与改进活动中应该首先着手的方面。成熟的软件开发组织能够通过有效的软件项目计划与跟踪实现对项目的策划与监控。文章立足小组软件过程,以实际项目为背景,着重介绍了以项目计划和跟踪为主的软件过程改进实施活动。在此基础上,分析了相关项目的计划与跟踪数据,研究总结了实施中遇到的问题和经验,并提出了进一步完善的措施及相关支持工具的研制。

软件体系结构描述语言研究现状分析

软件体系结构描述语言ADL(Architecture Description Language)为软件体系结构的表示和分析提供了语言符号和支持工具。目前,已定义的ADL超过20种,新的ADL还在不断出现。然而,各种ADL并没有在实际项目开发中得到真正的推广。为了明确ADL的研究进展情况,分析了ADL的研究现状,讨论了ADL研究中存在的主要问题及解决思路。

有效改善软件过程方法研究

改善软件过程是软件生产和发展软件产业的必由之路 .结合目前软件过程工程领域研究现状 ,研究分析两种软件过程改善的方法 :自顶向下和自底向上 .自顶向下的方法以 CMM模型框架为基础 ,结合其 5层结构指导企业软件过程的改善 ;自底向上的方法根据企业及其具体软件项目的特点 ,采取“理解”-“评估”-“打包”的软件过程改善过程 ,“理解”过程目的是建立软件过程基线 ,“评估”过程是引进过程变更并评估过程变更造成的影响 ,“打包”过程是评估成功过程变更得到的经验并形成新的过程规范 .最后从软件过程改善目标、软件过程基线、软件过程变更评价。

基于CMM的软件过程度量系统的研究与设计

首先描述了软件过程的度量过程 ,结合软件度量定义模型GQ(I)M提供的方法和软件能力成熟度模型(CMM)提供的过程框架 ,给出了项目跟踪与监控过程域的一些度量实例 ,在此基础上完成了软件过程度量系统的设计 ;最后 。

软件过程度量技术的研究

软件度量是软件项目管理的关键技术。文章在介绍度量基本概念的基础上，重点分析对软件过程的度量，包括分析不同过程成熟度层次对度量的需求。研究系统化的问题驱动的度量过程ISPM（Issue－driven Software Process Measurement），包括“剪裁”、“应用”、“实现”三个子过程。分析针对软件过程的三大类度量内容和它们子类及子类之间的结构关系，并结合软件过程的层次特性细化度量子类在各个层次的具体表现。最后探讨度量过程随着软件过程成熟度的提高而随之改善的方法。

中小型企业软件过程改善方法研究

软件过程改善是各个企业建立适合自身软件生产线和促进软件工业化生产的必由之路。软件过程理论和技术的研究与应用始终存在一定的差距,在国内外成功应用并受益于这些软件经验与技术的企业多数是国防企业和大型的商业企业,中小型企业具有不同于大型企业的企业特征,这些特征有些有利于软件工程技术的应用与实施,而有些又限制了软件工程技术的应用与实施。软件过程改善的关键是量体裁衣,以理论和模型为指导,充分结合企业特征,进行适合企业特色的软件过程改善。该文在分析中小型软件企业的企业文化、企业规模、软件生产的创新能力、动态变化能力、技术革新能力等特征的基础上,提出在对中小型软件企业进行过程改善时应突出几个方面,一是过程改善应充分利用开发组的丰富创造能力为解决过程改善问题提出方案,在确立过程改善目标时应尽可能多地涉及各种层次的项目组人员,同时采取划分过程改善任务单元的方法,不破坏软件开发过程的连续性;二是过程改善得到的结果应不限制团体的创造性,对过程改善结果的应用应针对具体项目相关的问题,而非建立一般性的软件过程规范。三是过程改善是应着重企业关心的目标,不一定完全依从CMM。在进行过程改善时,应实施“项目分析”关键子域,“项目分析”是以过程度量为核心的,分析?

基于企事业模型的软件需求工程方法

在当前软件开发中,软件需求的获取和分析在软件开发中变得越来越重要。该文针对大型管理信息系统的实际要求,提出了一种基于企事业模型的方法,并给出了具体的实施步骤。该方法适用于企事业信息系统的需求分析,具有与实践结合紧密,与用户交流方便,支持重用,工具支持等特点。

基于元模型的软件开发与管理集成研究

当今软件开发呈现一些新特点：团队并行开发，基于模型的软件开发，迭代增量开发等。开发过程是如此复杂，融合软件开发与管理支持的环境成为必要。文章认为开发与管理集成的关键是：环境提供对元模型的支持，以UML为基础的软件产品标准化，多种开发工具的数据集成和良好的数据管理机制。文章介绍了将开发与管理融为一体的集成化环境UML＿IDME，集中讨论环境如何提供和协调过程模型，产品模型，组织模型和开发工具集合来达到开发与管理集成的目的。此外，还讨论了过程模型如何组织，指导和监控软件开发。

一种有效的软件测试工程化方法

合适的软件测试方法可以明显提高软件测试的质量和效率。该文以POCERM软件测试过程模型为基础,结合一个实际测试项目,阐述了一种有效的软件测试工程化方法。

软件体系结构层次的适应性度量技术研究

软件适应特定变化的能力对软件开发和维护都具有重要的影响。软件适应性(Software Flexibility)是反映软件适应变化能力的一项重要质量特征。实践说明软件体系结构设计在很大程度上决定了软件的适应性。在软件体系结构层次上量化地度量软件适应性,有助于设计人员改善和比较软件体系结构的设计方案,并可以辅助设计人员评价软件体系结构的质量。本文首先定义了软件适应性的因素-准则-度量模型(FCM模型);然后在此基础上提出了一种利用变化影响图(CIG)对软件适应性进行度量的方法。

基于本体的软件测试知识管理模型研究

本文针对知识管理在软件测试领域的具体应用,提出了一个基于本体的软件测试知识管理模型,其关注的主要对象是软件测试过程中产生的具有高知识密集性的创造性文档。该模型的主要思想是:将软件测试知识分为个人知识和组织知识,并以本体索引的自由文本为软件测试知识的方式得以表示和组织,然后根据SWEBOK软件测试领域本体得到分类保存,最终目的是协助软件测试知识以"知识螺旋"的方式得以共享和重用。

软件过程中的度量数据收集方法研究

度量数据收集在软件过程改善实践中起着重要作用,但是往往在研究中受到忽视。介绍了软件过程数据收集方法和技术的发展历程,提出了软件过程度量数据收集方法的评价准则,给出了一个软件过程度量数据自动收集的框架,并且列举了四种实现方法。

营造个体软件工程规程

软件产品的开发都是由个体软件工程师完成的，因此能否具有有效的个体软件工程规程会直接影响到产品开发的效率、费用和最终产品的质量。文章从自我意识、过程规程和开发规程三个层次描述了个体软件工程规程应该包含的基本内容，给出了构建个体软件工程规程的基本步骤，并进一步讨论了个体软件开发过程中的工具支持、个体软件工程规程同软件企业能力成熟度之间的关系等问题。

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

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

面向过程的软件工程环境的集成问题探讨

本文前五节仔细介绍了Thomas和Nejmeh一文“Definitions of Tool Integration for Environments”中的基本观点,并给以必要的评述。这些观点对我们考察软件工程环境的集成问题仍然是有益的。本文第六节提出了构造面向过程的软件工程环境的集成机制,这是美国当前建造软件工程环境的一个新的潮流,值得我们注意。

软件测试数据生成中的区间削减方法研究

在面向对象软件测试中,为了降低根据方法参数的约束条件生成测试数据的复杂性,提出了从前置条件的属性约束、测试消息序列的谓词约束以及派生的中间参数约束3个方面对参数的取值范围进行区间削减的算法,得到了关于方法参数的最小区间约束,提高了测试数据的生成效率.

软件体系结构层次的结构度量研究

提出了一套可操作的度量组,利用该度量组可以对软件体系结构模型的结构特征(复杂性、耦合性、形态)进行测量。利用软件度量中常用的相关性分析方法对度量的经验值进行分析,初步得出了各种度量间可能存在的相关关系。此研究为研究软件体系结构的结构特征与软件其它质量属性的关系提供了必要的基础。