软件模型检测中的抽象

软件模型检测对保证软件的正确性和可靠性具有十分重要的意义，而抽象是减轻模型检测中状态爆炸问题最重要的技术之一。本文综述当前广泛应用于软件模型检测中的抽象技术，介绍了该领域的进展及研究方向。     

青鸟Ⅱ型软件开发环境中的软件过程管理系统

本文介绍青鸟Ⅱ型软件开发的软件过程管理ＪＢⅡｓｐｍｓ的设计与实现。ＪＢⅡｓｐｍｓ的功能包括软件过程模型的定义及实施、控制。软件过程模型可以从抽象与实现两个导次加以描述，并由过程控制机构 加以实施。ＪＢⅡｓｐｍｓ包括两个子系统：ｓｐｄ和ｓｐｃ。前者用于软件过程模型的定义，后者用于过程控制。软件过程管理系统引入，体现了青岛Ⅱ型软件开发环境设计上的先进性。     

敏捷软件过程的研究

敏捷软件过程可能成为最适应软件开发全球化，个性化，快速化，高质量新格局的先进开发模式，它能够帮助软件企业快速响应市场赢得竞争，针对这一趋势，系统分析软件开发的敏捷性需求，总结出敏捷软件过程的5种典型特征，如并行，轻载，基于时间，正好策略，基于组件等，然后设计了FLEX语言，从3个不同抽象导 上形式化定义了敏捷软件过程的功能模型，合作模型，资源模型和产品模型，基于过程模型，同时提出了9种静态分析和动态模拟技术，支持软件过程面向敏捷性的优化。     

组态软件图形组态子系统的设计与实现

图形组态子系统是组态软件一个重要的组成部分。基于面向对象技术，提出并设计了一种合理的组态软件图形子系统的抽象系统模型，并给出用Delphi语言进行编程开发的具体实现。     

构件化组态软件及其内核程序实现

针时传统组态软件扩展性不强和开发周期长等缺点，在构件技术的基础上提出了构件化组态软件的模型及其内核程序的实现。其基本思想是在组态软件的体系结构的基础上，将组态软件系统内部相对独立的具体功能抽象为一个个构件来构建系统的构件库，将组态软件构件化，从而增强组态软件的可扩展性，缩短开发周期。     

高速公路联网收费软件系统及4+1抽象建模结构

将面向对象软件建模的“抽象”原则具体化,扩展“抽象”的定义为广义表结构,从而建立了“抽象”演化分层结构图,提高了“抽象”原则的实用性。以此为指导,创建了四川省高速公路联网收费软件系统4 1抽象建模结构,在保证模型结构有足够柔性的同时,进一步提高了系统的可重用性、可修改性、可移植性等非功能特性。     

网构软件体系结构代数模型

由于网络化软件的规模和复杂程度的不断增加,设计可伸缩的软件体系结构,开发可演化的软件系统遇到了挑战.挑战之一是很难把软件模型与原系统说明区分开来,使得软件系统的可演化性受到限制.一个有效的途径是建立可范用软件体系结构的抽象模型,指导网构软件设计,从而提高软件模型的概括能力和可伸缩能力.本文提出一种网构软件体系结构代数模型,其中一个创新思想是把网构连接子解释成网构变量的运算.结合代数学方法和软件实现技术,定义了6种网构连接运算,所有运算是对连接子的代数抽象,因此软件体系结构的抽象表达能力得到了加强.为了展示提出代数模型的建模与分析辅助作用,介绍了一个基于代数模型的网构软件设计与演化的案例研究.     

基于SPEM的CMM软件过程元模型

软件企业在实施CMM(capability maturity modelfor software)的过程中面临最主要的障碍是如何将CMM 软件过程模型转换成可实施的、体现组织过程特征的CMM实施过程模型.可以利用模型驱动架构MDA来支持CMM模型转换,其首要问题是建立CMM软件过程元模型.通过分析CMM软件过程,给出了面向CMM的软件过程工程元模型SPEM的扩展策略,提出了一个基于SPEM的CMM软件过程元模型一-SPM-CMM.该元模型既支持CMM软件过程的抽象语法和规则语义,也支持利用UML CASE工具操作CMM软件过程模型.     

基于软件框架的控制分组件测试系统的研究与实现

本文基于软件框架开发思想,对控制分组件测试系统结构和数据流模型进行分析,着重分析了自动测试系统中的热点,抽象出框架的核心对象模型,设计自动测试系统的软件框架,在框架基础上实现控制分组件测试系统。     

面向对象软件自动生成在检测系统中的应用

本文运用软件自动生成的方法在检测系统的应用领域内进行研究,通过对应用系统的归纳、抽象,建立了本系统的应用模型;然后运用面向对象的分析和设计方法对该模型进行应用描述、参数化和编译连接,提出了检测领域软件自动生成的设计方案,提高了软件的复用性.     

A Component-Based Software Configuration Management Model and Its Supporting System

Software configuration management(SCM)is an important key technology in software development.Component-based software development (CBSD)is an emerging paradigm in software development.However,to apply CBSD effectively in real world practice,supporting SCM in CBSD needs to be further investigated.In this paper,the objects that need to be managed in CBSD is analyzed and a component-based SCM model is presented.In this model,Components,as the integral logical constituents in a system,are managed as the basic configuration items in SCM,and the relationships between/among components are defined and maintained.Based on this model.a configuration management system is implemented.     

Configuration management for Lyee software

This article presents a configuration management concept for software projects using Lyee methodology. To illustrate this concept, an introduction in configuration management is given. Then, the structure of Lyee programs is defined by sets and their dependencies. From this structure, the actual configuration management concept is deduced and discussed by rendering the structure for an existing configuration management testbed and describing the involved key players as well as the necessary procedures.     

Can the effectiveness of software processes be assessed?

A conceptual model is presented for the assessment of the effectiveness of software processes. The model distinguishes between three levels — the organization, the process, and the constituent activities, and proposes appropriate indicators for each level. The validity of the model has been investigated through an empirical case study of the configuration management process in a small software development organization, and preliminary results demonstrate its validity and usefulness.     

一种星载软件配置流程管理工具的设计

星载软件配置管理是星载软件工程化的一项重要内容,目前国内的软件配置管理基本上是采用国外的通用配置管理工具,由于工具没有和具体的流程相结合,因此对软件的出入库流程只能采用手工管理的方式;为了解决手工方式配置管理手续繁琐、效率低下及容易导致文实不符等问题,这里介绍了一种自主开发的星载软件配置流程管理工具的设计方案,它基于B/S结构,实现了配置管理流程审批过程的电子化和网络化,还通过和通用配置管理工具ClearCase接口,实现了软件源程序和目标代码的出、入库随流程审批过程自动完成;该工具大大提高了星载软件配置管理的质量和效率。     

软件系统配置研究综述

随着软件系统规模和复杂度的不断提升, 软件配置已经成为软件工程领域中的一个重要话题. 大量、复杂的配置项为正确使用软件系统带来了极大的困难, 例如, 配置错误会影响系统性能, 并带来严重损失. 软件系统配置技术得到广泛关注, 并取得了众多的研究成果. 本文对软件配置领域的研究现状和主要成果进行分析和综述. 文章首先提出了基于软件生命周期和技术手段两个维度的软件配置相关工作分析框架, 然后基于该框架对当前主要研究成果进行分类总结和分析评价, 最后总结软件配置领域的工作特点, 探讨未来可能的研究热点, 对于今后该领域的深入研究具有一定借鉴意义.     

扩充CDL支持基于构件的系统组装与演化

基于构件的软件开发方法适应于软件构造性和演化性的特征，也对软件配置管理提出了新要求，在基于构件的软件配置管理模型基础上，提出了在构件描述语言CDL上扩充系统演化信息的方法，使构件组装系统与配置管理系统形成有机的整体，为基于构件的软件开发方法提供了良好的技术支持，不仅可以有效地支持基于构件的系统构造定义，而且可以支持系统的演化以及系统的部署。     

架构软件配置管理模型

软件架构是设计实现大规模软件的基础,并且追踪和控制软件架构的演化是十分必要的。但是许多传统的软件配置管理工具将软件仅看做一个文件集合,而不是一个架构,这造成软件设计领域（架构层）与软件配置管理领域（文件层）的脱节。提出了软件架构配置管理模型,它可以对软件架构进行版本控制和配置管理。     

一个支持构件演化的配置管理框架

构件库在基于构件的软件开发(CBSD)中扮演着重要的角色,然而在实际的软件开发过程中,构件的生产、维护、复用等还存在许多困难,其中一个主要的困难是大多数构件库仅提供构件的描述、存储和检索功能,缺乏配置管理支持。该文提出了一个支持构件演化的配置管理框架。这个框架将构件库作为一类特殊的资源库加以管理,从而为构件的演化提供系统的配置管理支持。     

论配置管理对软件产业的质量控制

本文论述了配置管理对软件生存周期中各个阶段的质量控制作用，阐明了配置管理是我国迅速发展软件产业、组织大型软件企业的唯一科学管理模式。     

软件配置管理研究

首先介绍了软件配置管理的基本概念 ,着重讨论了组成软件配置管理的配置标识、版本控制、变化控制、状态报告和配置审核 ,通过其管理 ,可以提高软件开发效率 ,保证软件开发的有序性。