检索结果-维普期刊中文期刊服务平台

环境参数与状态参数融合的测试用例集约简方法被引量：6: 1; 作者王俊杰沈湘衡 +2 位作者张波权巍陈磊《光学精密工程》 EI CAS CSCD 北大核心 2009年第7期1678-1685,共8页; 为提高软件测试的效率和覆盖率,对测试用例的生成方法进行了研究。以等价类划分等测试用例生成方法为基础,提出把接口参数分成环境参数和状态参数,针对这两种不同性质的参数分析测试用例生成的影响,并分别建立测试用例生成算法模型,据... 展开更多; 关键词软件测试测试用例参数融合配置项约简; 在线阅读下载PDF 职称材料

基于形式化方法的航空电子系统检测被引量：11: 2; 作者李睿连航 +1 位作者马世龙黎涛《软件学报》 EI CSCD 北大核心 2015年第2期181-201,共21页; 随着航空型号的快速发展,航空电子系统的数字化程度越来越高,软件在其中所占的比例越来越大.对航空电子系统中的软件进行测试和检测是保证航空电子系统质量及可信运行的基础.通过分析航空电子系统软件体系结构,对航空电子系统进行形式... 展开更多; 关键词模型检测系统形式化航空电子系统软件配置项有限状态自动机; 在线阅读下载PDF 职称材料

CMM二级KPA软件配置管理的设计及实施方案被引量：2: 3; 作者梁成才金红马闰娟《计算机工程》 CAS CSCD 北大核心 2003年第1期259-261,277,共4页; 介绍了软件组织设计及实施CMM二级KPA软件配置管理的方案，着重于组织结构、文件体系、过程和资源4个方面描述了建立软件配置管理体系的过程，对于配置标识、配置控制、配置状态统计和配置审核4大活动描述了实施软件配置管理的过程。; 关键词 CMM 二级KPA 软件配置管理设计软件工程软件开发软件生命周期; 在线阅读下载PDF 职称材料

军用软件研制过程的管理与控制被引量：3: 4; 作者付庆宏琚章锋甘宁《火力与指挥控制》 CSCD 北大核心 2005年第4期97-101,共5页; 分析了军用软件研制过程和军用系统研制过程的对应关系,详细阐述了军用软件研制过程控制的要求和阶段划分方法。在对阶段概念划分的基础上,对各个阶段的管理控制工作进行了论述,包括阶段的主要工作内容、实施步骤、完成标志及转段条件... 展开更多; 关键词军用软件计算机软件配置项(csci) 配置管理; 在线阅读下载PDF 职称材料

CVS在小城镇电子政务系统中的应用被引量：1: 5; 作者赵丽赵春江 +2 位作者吴华瑞李美英杨宝祝《计算机工程与设计》 CSCD 北大核心 2008年第5期1067-1068,1290,共3页; 介绍了软件配置管理工具CVS的运行机制及其功能特点,以及小城镇电子政务系统的体系结构和运行模式。针对在小城镇电子政务系统开发中产生的问题,CVS规范了软件开发流程,降低了管理难度,提高了开发效率,使整个开发过程在受控制、高效率... 展开更多; 关键词软件配置管理电子政务版本管理配置项并行版本控制系统; 在线阅读下载PDF 职称材料

可变粒度及面向过程的软件配置管理系统被引量：3: 6; 作者李娜钱乐秋 +1 位作者赵文耘彭鑫《计算机工程》 EI CAS CSCD 北大核心 2006年第1期64-66,150,共4页; 软件配置管理(SCM)贯穿于整个软件生命周期,是软件开发过程中质量管理的精髓所在。该文在研究了现有的软件配置管理技术成果的基础上,分析了新的软件开发技术的发展所提出的问题和要求以及目前软件配置管理系统的不足,提出了一个支持可... 展开更多; 关键词软件配置管理配置项可变粒度软件过程软件复用软件构架; 在线阅读下载PDF 职称材料

一个抽象的软件配置管理模型被引量：1: 7; 作者蒋立平《计算机应用》 CSCD 北大核心 2002年第6期38-40,共3页; 介绍了软件配置管理 (CM)的概念 ,并从软件生命周期和软件过程角度讨论了对CM的抽象认识 ,提出一种基于配置项属性和关系的抽象配置管理模型。; 关键词软件配置管理模型软件生命周期软件过程软件工程; 在线阅读下载PDF 职称材料

软件可靠性技术: 8; 作者党引弟《现代电子技术》 2004年第22期71-73,79,共4页; 介绍软件可靠性的基本概念 ,造成软件故障的原因 ,重点论述了提高软件可靠性的技术途径和管理措施。; 关键词软件开发基线软件可靠性计算机软件单元计算机软件部件计算机软件配置项; 在线阅读下载PDF 职称材料

题名环境参数与状态参数融合的测试用例集约简方法被引量：6: 1; 作者王俊杰沈湘衡张波权巍陈磊; 机构中国科学院长春光学精密机械与物理研究所中国科学院研究生院中国人民解放军理工大学理学院; 出处《光学精密工程》 EI CAS CSCD 北大核心 2009年第7期1678-1685,共8页; 基金国家863高技术研究发展计划资助项目(No.2007AA703112); 文摘为提高软件测试的效率和覆盖率,对测试用例的生成方法进行了研究。以等价类划分等测试用例生成方法为基础,提出把接口参数分成环境参数和状态参数,针对这两种不同性质的参数分析测试用例生成的影响,并分别建立测试用例生成算法模型,据此在实际应用中将两者的作用融合起来生成简约测试用例集。在覆盖率相同的条件下,生成的平均测试用例数量是传统生成测试用例方法的1/5,达到了用更少的测试用例覆盖更多测试需求的目的。; 关键词软件测试测试用例参数融合配置项约简; Keywords software testing test case parameter fusion configuration item reduction; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于形式化方法的航空电子系统检测被引量：11: 2; 作者李睿连航马世龙黎涛; 机构软件开发环境国家重点实验室(北京航空航天大学); 出处《软件学报》 EI CSCD 北大核心 2015年第2期181-201,共21页; 基金国家自然科学基金(61003016 61300007 +3 种基金 61305054) SKLSDE-2014ZX-06); 文摘随着航空型号的快速发展,航空电子系统的数字化程度越来越高,软件在其中所占的比例越来越大.对航空电子系统中的软件进行测试和检测是保证航空电子系统质量及可信运行的基础.通过分析航空电子系统软件体系结构,对航空电子系统进行形式化建模,并在此基础上,提出了一种形式化的系统级综合检测方法,从静态和动态两个方面对航空电子系统进行检测,最后通过设计并实现一个综合检测系统来验证该方法的有效性.; 关键词模型检测系统形式化航空电子系统软件配置项有限状态自动机; Keywords model checking system formalization avionics system software configuration item finite state automaton; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名CMM二级KPA软件配置管理的设计及实施方案被引量：2: 3; 作者梁成才金红马闰娟; 机构华东计算技术研究所中华人民共和国上海出入境检验检疫局; 出处《计算机工程》 CAS CSCD 北大核心 2003年第1期259-261,277,共4页; 文摘介绍了软件组织设计及实施CMM二级KPA软件配置管理的方案，着重于组织结构、文件体系、过程和资源4个方面描述了建立软件配置管理体系的过程，对于配置标识、配置控制、配置状态统计和配置审核4大活动描述了实施软件配置管理的过程。; 关键词 CMM 二级KPA 软件配置管理设计软件工程软件开发软件生命周期; Keywords Key process area(KPA) software configuration management(SCM) computer software configuration item(csci) Baseline Process; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名军用软件研制过程的管理与控制被引量：3: 4; 作者付庆宏琚章锋甘宁; 机构北方自动控制技术研究所; 出处《火力与指挥控制》 CSCD 北大核心 2005年第4期97-101,共5页; 文摘分析了军用软件研制过程和军用系统研制过程的对应关系,详细阐述了军用软件研制过程控制的要求和阶段划分方法。在对阶段概念划分的基础上,对各个阶段的管理控制工作进行了论述,包括阶段的主要工作内容、实施步骤、完成标志及转段条件等。提出的军用软件研制过程管理与控制方法是经过多年软件工作的实践所得,可以供军用软件开发管理者参考。; 关键词军用软件计算机软件配置项(csci) 配置管理; Keywords military software, computer software configuration item （csci）, configuration management; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名CVS在小城镇电子政务系统中的应用被引量：1: 5; 作者赵丽赵春江吴华瑞李美英杨宝祝; 机构首都师范大学信息工程学院国家农业信息化工程技术研究中心国家农业信息化工程技术研究中心; 出处《计算机工程与设计》 CSCD 北大核心 2008年第5期1067-1068,1290,共3页; 基金国家948引进国际先进农业科学技术计划基金项目(2006-G63) 国家863高技术研究发展计划基金项目(2006AA10Z237) 国家科技支撑计划基金项目(2006BAD10A04); 文摘介绍了软件配置管理工具CVS的运行机制及其功能特点,以及小城镇电子政务系统的体系结构和运行模式。针对在小城镇电子政务系统开发中产生的问题,CVS规范了软件开发流程,降低了管理难度,提高了开发效率,使整个开发过程在受控制、高效率的情况下进行,提高系统的可靠性、代码及文档的全面性与可追踪性。; 关键词软件配置管理电子政务版本管理配置项并行版本控制系统; Keywords software configuration management E-government version management configuration item concurrent version system; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名可变粒度及面向过程的软件配置管理系统被引量：3: 6; 作者李娜钱乐秋赵文耘彭鑫; 机构复旦大学计算机科学与工程系软件工程实验室; 出处《计算机工程》 EI CAS CSCD 北大核心 2006年第1期64-66,150,共4页; 基金上海市科委基金资助项目(035115026) 国家"863"计划基金资助项目(2002AA114010); 文摘软件配置管理(SCM)贯穿于整个软件生命周期,是软件开发过程中质量管理的精髓所在。该文在研究了现有的软件配置管理技术成果的基础上,分析了新的软件开发技术的发展所提出的问题和要求以及目前软件配置管理系统的不足,提出了一个支持可变粒度的、面向过程的软件配置管理系统——FDSCM,并依次详细介绍了该系统在配置项的分类、组织、描述和版本管理方面对可变粒度配置管理的支持,以及在支持迭代开发的过程管理方面的具体设计和实现策略。; 关键词软件配置管理配置项可变粒度软件过程软件复用软件构架; Keywords software configuration management（SCM） configuration item Diverse-grained software progress software reuse software architecture; 分类号 TP39 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名一个抽象的软件配置管理模型被引量：1: 7; 作者蒋立平; 机构招商银行总行信息技术部; 出处《计算机应用》 CSCD 北大核心 2002年第6期38-40,共3页; 文摘介绍了软件配置管理 (CM)的概念 ,并从软件生命周期和软件过程角度讨论了对CM的抽象认识 ,提出一种基于配置项属性和关系的抽象配置管理模型。; 关键词软件配置管理模型软件生命周期软件过程软件工程; Keywords software configuration management software life-cycle software process configuration management model configuration item baseline; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名软件可靠性技术: 8; 作者党引弟; 机构中国电子科技集团公司第; 出处《现代电子技术》 2004年第22期71-73,79,共4页; 文摘介绍软件可靠性的基本概念 ,造成软件故障的原因 ,重点论述了提高软件可靠性的技术途径和管理措施。; 关键词软件开发基线软件可靠性计算机软件单元计算机软件部件计算机软件配置项; Keywords software development baseline software reliability computer software unit computer software component computer software configuration item; 分类号 TP336 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	环境参数与状态参数融合的测试用例集约简方法	王俊杰沈湘衡张波权巍陈磊	《光学精密工程》 EI CAS CSCD 北大核心	2009	6	在线阅读下载PDF 职称材料
2	基于形式化方法的航空电子系统检测	李睿连航马世龙黎涛	《软件学报》 EI CSCD 北大核心	2015	11	在线阅读下载PDF 职称材料
3	CMM二级KPA软件配置管理的设计及实施方案	梁成才金红马闰娟	《计算机工程》 CAS CSCD 北大核心	2003	2	在线阅读下载PDF 职称材料
4	军用软件研制过程的管理与控制	付庆宏琚章锋甘宁	《火力与指挥控制》 CSCD 北大核心	2005	3	在线阅读下载PDF 职称材料
5	CVS在小城镇电子政务系统中的应用	赵丽赵春江吴华瑞李美英杨宝祝	《计算机工程与设计》 CSCD 北大核心	2008	1	在线阅读下载PDF 职称材料
6	可变粒度及面向过程的软件配置管理系统	李娜钱乐秋赵文耘彭鑫	《计算机工程》 EI CAS CSCD 北大核心	2006	3	在线阅读下载PDF 职称材料
7	一个抽象的软件配置管理模型	蒋立平	《计算机应用》 CSCD 北大核心	2002	1	在线阅读下载PDF 职称材料
8	软件可靠性技术	党引弟	《现代电子技术》	2004	0	在线阅读下载PDF 职称材料