一种软件特征模型扩展和演化分析方法

特征模型是面向特征的软件开发过程的重要概念和制品,该模型以特征为单位,刻画了领域产品的共性和可变性.在日趋频繁的软件演化过程中,保持特征模型的一致演化,对于支持高效的复用开发和按需配置至关重要.目前,大多数的研究是在需求层面进行共性和可变性分析,对特征模型的研究则集中在对共性和可变性的建模上.但是,由于特征变更在建模过程中存在\"涟漪\"效应,会导致新的共性和可变性演化.现有的分析方法还无法解决这个问题,会导致丢失一些潜在的产品共性,从而影响复用的效率.提出了一种特征模型扩展和演化分析方法.通过扩展特征关联关系和模型演化元操作,实现对特征变更\"涟漪\"效应的分析.发现潜在的产品共性,提出重构策略和半自动化的共性提取和特征重构支持方法.该方法还针对典型的配置冲突提出了冲突消解规则和策略.最后,通过案例分析验证了该方法的可用性和有效性.     

基于本体的可信软件演化框架模型*

为系统化地考虑开放环境对软件可信性的影响和驱动作用,提出了一种基于本体空间并支持动态演化的框架模型。该模型采用本体空间的方法解决用户、系统和环境三者之间交互的语义问题,在此基础上,通过预定义的规则对软件行为的可信性和自主调整的必要性进行评估,依据评估结果从微观层次的规约制导和宏观层次的人机协同在软件生命周期内对其调整、配置与修正。应用实例及测试结果验证了该框架模型的有效性与可行性。     

关于最佳鉴别特征维数问题的讨论

该文对最佳鉴别特征的最佳维数问题进行了详细的讨论．文章首先对最佳维数问题进行了界定,然后指出了两种最佳特征维数为c-1维的情况即以某些基于矩的可分性判据(准则函数)为优化目标的最优特征和以某些特殊的分类器错误率为优化目标的最优特征．最后该文运用方差分析法对最佳鉴别特征进行特征选择使之代入最小距离分类器后识别率最大．     

面向行为主题的软件特征定位方法

软件特征定位是成功实施软件演化意图的前提条件。针对当前特征定位方法准确率低,定位空间庞大和自动化程度不高等问题,提出了一种面向行为主题的混合特征定位方法。该方法将软件系统的行为知识和主题知识进行有机整合,实现了行为知识对主题知识的约简,并最终通过分析主题知识与软件功能属性间的相似性实现特征定位。实验结果表明,与传统的基于文本的特征定位方法相比,该方法具有较好的查全率、查准率和综合性能,从而验证了该方法的有效性。     

构件化软件演化信息及演化相似性度量技术研究

对软件演化信息的度量能发现软件演化过程中的问题,预测其变化趋势。传统的软件演化信息度量技术主要是以文件、目录或者项目作为度量的基本单位,缺乏在较高抽象层次对软件系统进行度量的能力。在基于构件的软件配置管理模型的基础上,以构件作为软件演化度量的基本单位,提出了一组基于属性变化、适用于构件以及软件系统演化度量的公式（包括较近、较早演化度量,演化相似性度量等）,并开发了原型支撑系统。     

Saving reuse from the noose: reuse of analogous specifications through human involvement in reuse process

Analogy is proposed as an alternative paradigm for the reuse of specifications during requirements analysis. First, critical determinants of analogies between software engineering problems are discussed in relation to a specification retrieval mechanism. Second, the process of specification reuse is examined. Specification reuse by analogy is knowledge-intensive, hence an important role is proposed for the analyst during specification reuse: analyst involvement would appear necessary to categorize a new problem, select between candidate reusable specifications, and customize the selected specification to the new domain. Finally, a specification reuse tool is proposed that recognises the collaborative nature of reuse by analogy. This tool assists and advises the analyst during reuse founded on cognitive models of analyst behaviour during analogous reasoning and reuse. The prototype version of this intelligent reuse advisor (Ira) is outlined.     

Specification-Based Browsing of Software Component Libraries

Specification-based retrieval provides exact content-oriented access to component libraries but requires too much deductive power. Specification-based browsing evades this bottleneck by moving any deduction into an off-line indexing phase. In this paper, we show how match relations are used to build an appropriate index and how formal concept analysis is used to build a suitable navigation structure. This structure has the single-focus property (i.e., any sensible subset of a library is represented by a single node) and supports attribute-based (via explicit component properties) and object-based (via implicit component similarities) navigation styles. It thus combines the exact semantics of formal methods with the interactive navigation possibilities of informal methods. Experiments show that current theorem provers can solve enough of the emerging proof problems to make browsing feasible. The navigation structure also indicates situations where additional abstractions are required to build a better index and thus helps to understand and to re-engineer component libraries.     

结构健康监测系统的软件主体协作规范

为了有效协调管理和配置结构健康监测的硬软件系统,初步研究了结构健康监测的软件主体协作规范。首先研究了健康监测目前已有的相关规范,讨论分析了它们彼此之间的关系;然后,对软件主体协作规范进行研究,重点是FIPA规范的5个主要规范,为结构健康监测的软件主体协作规范提供指导和应用基础;最后,针对结构健康监测系统的需求,参照上述规范,提出了适合于结构健康监测系统的软件主体协作规范。以大型航空铝板结构为例,验证所提出的软件规范。     

基于非功能性特征的软件动态自演化框架

针对软件系统的动态自适应演化要求,提出一个基于非功能性特征的软件动态自演化框架。该框架将非功能性特征与不同目标的方面实现相关联,刻画它们之间的正负影响及权衡关系,并通过对方面实现的动态编织实现动态自演化。实验结果表明,该框架是有效可行的。     

基于特征迹的软件演化研究

需求变化是导致软件演化的根本原因,而问题空间与解空之间存在的缺口是软件难以成功演化的根源。通过系统接口,把变化的需求与支持它的特征迹联系起来,定义了基于需求和特征迹的软件演化。根据需求的不同,把软件演化分为功能演化、非功能演化和环境演化,并对软件演化方法进行了讨论。根据特征迹的私有消息、局部消息和公有消息之间的关系,对演化影响进行了定量分析,得到了可演化软件的一些性质。基于特征迹的软件演化,有利于演化定位、演化管理和演化的验证.     

软件需求规格说明自动生成工具

首先提出了一种面向业务流的需求分析方法，并给出了相应的条件有向图需求描述模型(CDGRD)，然后详细地介绍了基于CDGRD的软件需求规格说明自动生成工具，最后以某大型企业信息系统项目为例，详细讨论了CD-GRD描述方法以及该自动生成工具的具体应用．     

构件化软件演化信息建模和获取方法研究

为了清晰、全面地获取构件化软件的演化历史信息, 通常需要提供演化信息表示和建模的有效手段。分析了构件化软件演化信息获取所需解决的若干问题, 提出了在软件构件模型基础上, 增加建模元素以表示软件演化信息的方法; 通过结合软件配置管理系统, 实现对构件化软件变化过程的追踪和管理。基于该方法和相应的系统支持, 可以为实施软件重构和后期开发提供指导。     

基于扩展的构件依赖关系图聚类的体系结构重构策略研究*

通过在软件体系结构层次实施软件重构,能够改善软件的质量、提高软件的易演化性。提出了扩展的构件依赖关系图的概念,将软件体系结构的逻辑依赖关系以及演化历史中蕴涵的演化依赖关系纳入到统一的表示中。进一步提出了基于扩展的构件依赖关系图聚类的体系结构重构策略,从而达到改善体系结构质量的目的。     

演化信息驱动的软件体系结构重构技术研究

通过在软件体系结构层次实施软件重构,能够改善软件的质量、提高软件的易演化性。提出了基于演化信息实施软件体系结构重构的策略,通过分析体系结构的演化历史,采用概念格的方法分析其中构件间的演化依赖关系,从而达到改善体系结构质量的目的。     

The essential synthesis of problem frames and assurance cases

Abstract: Problem frames and assurance cases are two current research areas that can improve – and have improved – system dependability, in critical and noncritical systems alike. While these two techniques are effective separately, their synthesis is much more powerful. This paper describes the synthesis of these two techniques and the rationale behind the synthesis, the particular pieces that influence each other, and the beginning of a process to integrate the two in software system development. A detailed example of the application of the synthesis is also provided.     

组件思想在模拟执行的需求检查方法中的运用

模拟执行是一种重要的需求规格说明书(SRS)的检测方法。文章基于面向嵌入式实时系统的需求描述模型RTRSM,提出了如何将组件化的思想和技术应用于模拟执行的检查方法中,从而增加了SRS的可靠性和正确性。最后,文章提出了根据需求描述模型直接生成框架代码的构想,这也是一种从需求直接生成嵌入式实时系统的探索。     

从交互情景出发的需求捕获方法及其支撑工具

需求捕获是需求工程中的重要问题.文中结合情景和问题框架方法,提出一个从交互情景出发的需求捕获方法.其特点是:(1)对问题领域以及软件系统与问题领域间的交互进行分类,以捕获深层需求信息;(2)将情景定义为产生有意义问题领域变化的交互序列,引人交互情景约束,以捕获隐式需求信息.文中构建了支持这个方法的需求描述元模型,提出以...