-
题名基线技术在软件配置管理过程中的应用
被引量:18
- 1
-
-
作者
于宏霞
陈凯
白英彩
-
机构
上海交通大学信息安全学院
-
出处
《计算机应用与软件》
CSCD
北大核心
2006年第2期43-45,共3页
-
文摘
基线管理是软件配置管理中一个关键活动,本文就软件配置管理及基线的概念和思想进行了论述,从软件开发与体会出发,对基线技术在软件配置管理中的应用进行了详细论述。
-
关键词
软件配置管理
CMM
软件配置项
基线
软件配置管理过程
基线管理
软件开发
-
Keywords
SCM CMM SCI BaseLine
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名软件配置管理概述
- 2
-
-
作者
王环
-
机构
北京空间飞行器总体设计部
-
出处
《航天器工程》
2000年第3期53-59,共7页
-
文摘
介绍了软件配置管理的概念,从其组织层次、形式、任务、技术状态和管理工具等方面对软件配置管理活动进行了分别论述;阐述了软件配置管理流程中必须建立的活动步骤、入库文档以及对它们的具体要求;指出了软件配置管理是保证软件质量和提高软件产品生产效率的重要手段;最后给出了一个可操作的例子。
-
关键词
软件工程
软件配置管理
软件配置项
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于任务的配置项版本管理
- 3
-
-
作者
潘明
杨贯中
胡浩
-
机构
湖南大学软件学院
-
出处
《计算机应用》
CSCD
北大核心
2007年第B06期335-336,339,共3页
-
文摘
提出支持过程并基于任务的软件配置管理方法,对软件配置管理的相关内容、概念、功能、重要性做了简要的阐述,着重介绍了软件配置项内容。通过对软件配置管理及技术现状的分析,提出了基于任务的配置项版本管理模型,并对其进行了探讨。
-
关键词
软件配置管理
软件配置管理项
版本管理
任务
-
分类号
TP311.53
[自动化与计算机技术—计算机软件与理论]
-
-
题名军用软件研制过程的管理与控制
被引量:3
- 4
-
-
作者
付庆宏
琚章锋
甘宁
-
机构
北方自动控制技术研究所
-
出处
《火力与指挥控制》
CSCD
北大核心
2005年第4期97-101,共5页
-
文摘
分析了军用软件研制过程和军用系统研制过程的对应关系,详细阐述了军用软件研制过程控制的要求和阶段划分方法。在对阶段概念划分的基础上,对各个阶段的管理控制工作进行了论述,包括阶段的主要工作内容、实施步骤、完成标志及转段条件等。提出的军用软件研制过程管理与控制方法是经过多年软件工作的实践所得,可以供军用软件开发管理者参考。
-
关键词
军用软件
计算机软件配置项(CSCI)
配置管理
-
Keywords
military software, Computer Software Configuration Item (CSCI), configuration management
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名软件可靠性技术
- 5
-
-
作者
党引弟
-
机构
中国电子科技集团公司第
-
出处
《现代电子技术》
2004年第22期71-73,79,共4页
-
文摘
介绍软件可靠性的基本概念 ,造成软件故障的原因 ,重点论述了提高软件可靠性的技术途径和管理措施。
-
关键词
软件
开发基线
软件可靠性
计算机软件单元
计算机软件部件
计算机软件配置项
-
Keywords
software
development baseline
software reliability
computer software unit
computer software component
computer software configuration item
-
分类号
TP336
[自动化与计算机技术—计算机系统结构]
-
-
题名基于形式化方法的航空电子系统检测
被引量:11
- 6
-
-
作者
李睿
连航
马世龙
黎涛
-
机构
软件开发环境国家重点实验室(北京航空航天大学)
-
出处
《软件学报》
EI
CSCD
北大核心
2015年第2期181-201,共21页
-
基金
国家自然科学基金(61003016
61300007
+3 种基金
61305054)
科技部基本科研业务费重点科技创新类项目(YWF-14-JSJXY-007)
软件开发环境国家重点实验室自主探索基金(SKLSDE-2012ZX-28
SKLSDE-2014ZX-06)
-
文摘
随着航空型号的快速发展,航空电子系统的数字化程度越来越高,软件在其中所占的比例越来越大.对航空电子系统中的软件进行测试和检测是保证航空电子系统质量及可信运行的基础.通过分析航空电子系统软件体系结构,对航空电子系统进行形式化建模,并在此基础上,提出了一种形式化的系统级综合检测方法,从静态和动态两个方面对航空电子系统进行检测,最后通过设计并实现一个综合检测系统来验证该方法的有效性.
-
关键词
模型检测
系统形式化
航空电子系统
软件配置项
有限状态自动机
-
Keywords
model checking
system formalization
avionics system
software configuration item
finite state automaton
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-