检索结果-内蒙古大学图书馆

软件学报 2008年第7期19卷 1565-1580页

作者：王青伍书剑李明树中国科学院软件研究所互联网软件技术实验室北京100190

软件缺陷预测技术从20世纪70年代发展至今,一直是软件工程领域最活跃的内容之一,在分析软件质量、平衡软件成本方面起着重要的作用.研究和讨论了软件缺陷预测技术的起源、发展和当前所面临的挑战,对主流的缺陷预测技术进行了分类讨论和... 详细信息

软件缺陷预测技术从20世纪70年代发展至今,一直是软件工程领域最活跃的内容之一,在分析软件质量、平衡软件成本方面起着重要的作用.研究和讨论了软件缺陷预测技术的起源、发展和当前所面临的挑战,对主流的缺陷预测技术进行了分类讨论和比较,并对典型的软件缺陷的分布模型给出了案例研究.

关键词：软件缺陷度量缺陷预测缺陷模型分类技术

来源：评论

学校读者我要写书评

暂无评论

开放式实时系统中的自适应调度方法

引用

计算机学报 2004年第1期27卷 58-65页

作者：邹勇淮晓永李明树中国科学院软件研究所互联网软件技术实验室北京100080

首先针对开放式实时系统 ,讨论了自适应实时调度的需求情况和自适应技术应用上的关键问题 ;提出了适用于硬实时调度需求的调度参数自适应调整机制 ;重点面向软实时调度需求 ,提出了一种基于模糊控制策略的自适应调度方法 ,它致力于动态... 详细信息

首先针对开放式实时系统 ,讨论了自适应实时调度的需求情况和自适应技术应用上的关键问题 ;提出了适用于硬实时调度需求的调度参数自适应调整机制 ;重点面向软实时调度需求 ,提出了一种基于模糊控制策略的自适应调度方法 ,它致力于动态跟踪调度对象的负载变化 ,并把截止期错过率控制在期望值附近 .相对于现有方法。

关键词：开放式实时系统自适应调度方法调度策略服务器操作系统

来源：评论

学校读者我要写书评

暂无评论

一种支持软件过程控制和改进的主动度量模型

引用

软件学报 2005年第3期16卷 407-418页

作者：王青李明树刘霞中国科学院软件研究所互联网软件技术实验室北京100080

提出了一种支持软件过程控制与改进的主动度量模型 AMM(active measurement model)和度量方法.模型形式化描述了软件过程的目标、特征和度量指标等关键元素以及相互间的关系,给出了确定软件过程度量的原则、方法和步骤.基于该度量模型,... 详细信息

提出了一种支持软件过程控制与改进的主动度量模型 AMM(active measurement model)和度量方法.模型形式化描述了软件过程的目标、特征和度量指标等关键元素以及相互间的关系,给出了确定软件过程度量的原则、方法和步骤.基于该度量模型,软件组织一方面可以依据确定的过程目标,主动导出合适的度量过程;另一方面还可以依据度量的结果,识别过程改进的机会,并主动导出过程改进的方向.为正确的决策和成功的结果提供有效的支持.

关键词：软件过程度量度量模型质量特征度量过程决策支持

来源：评论

学校读者我要写书评

暂无评论

一种开放混合实时系统的开放自适应调度算法

引用

软件学报 2004年第4期15卷 487-496页

作者：淮晓永邹勇李明树中国科学院软件研究所互联网软件技术实验室北京100080

开放计算环境下的实时与非实时任务不确定并发,以及多种实时约束混合的复杂约束系统,即开放混合实时系统的需求越来越广泛.通过引入接收控制、调度服务器、自适应调节机制,提出一种开放环境下的自适应实时系统调度架构——OARtS(open ad... 详细信息

开放计算环境下的实时与非实时任务不确定并发,以及多种实时约束混合的复杂约束系统,即开放混合实时系统的需求越来越广泛.通过引入接收控制、调度服务器、自适应调节机制,提出一种开放环境下的自适应实时系统调度架构——OARtS(open adaptive real-time scheduling).它能适应开放计算环境的不确定性,有控制地接受实时任务运行;可根据系统空闲计算带宽变化,自适应地调节任务的实时等级,使得系统运行在最优的实时性能上;对于软实时任务,可根据其计算带宽需求变化,自适应地调节其计算带宽分配,以适应任务执行时间时变引起的实时不确定性.

关键词：实时系统开放系统服务质量保证(Qos) 自适应调度

来源：评论

学校读者我要写书评

暂无评论

基于ISO9000的软件质量保证模型

引用

软件学报 2001年第12期12卷 1837-1842页

作者：王青中国科学院软件研究所互联网软件技术实验室北京100080

软件危机出现了 4 0多年依然未得到根本的解决 ,究其原因 ,业界人士已充分认识到缺乏规范有效的软件质量保障技术和手段是一个主要的原因 .随着长期社会化生产的发展 ,全面质量管理已经形成了一整套理论和体系 ,并出现了一些国际标准和... 详细信息

软件危机出现了 4 0多年依然未得到根本的解决 ,究其原因 ,业界人士已充分认识到缺乏规范有效的软件质量保障技术和手段是一个主要的原因 .随着长期社会化生产的发展 ,全面质量管理已经形成了一整套理论和体系 ,并出现了一些国际标准和业界标准 .旨在针对我国软件产业的现状 ,提出一个符合我国国情的软件质量保证模型和实现框架 .

关键词：软件质量保证软件质量管理软件过程 ISO9000 CMM 软件工程软件开发

来源：评论

学校读者我要写书评

暂无评论

SPEM2XPDL模型转换研究

引用

计算机应用研究 2007年第4期24卷 42-46页

作者：万志刚袁峰周津慧中国科学院软件所互联网软件技术实验室

将软件过程技术与工作流技术相结合,严格定义了SPEM2XPDL模型转换规则,设计并实现了一个SPEM2XPDL模型转换引擎。此引擎将SPEM描述的软件过程转换为符合工作流定义(XPDL)的工作流过程,从而可基于工作流管理系统对软件过程提供执行支持。... 详细信息

将软件过程技术与工作流技术相结合,严格定义了SPEM2XPDL模型转换规则,设计并实现了一个SPEM2XPDL模型转换引擎。此引擎将SPEM描述的软件过程转换为符合工作流定义(XPDL)的工作流过程,从而可基于工作流管理系统对软件过程提供执行支持。SPEM模型经引擎转换后在工作流管理系统Shark上的成功执行表明了引擎的可用性。

关键词：软件过程工程元模型可扩展标记语言过程定义语言软件过程工作流模型转换

来源：评论

学校读者我要写书评

暂无评论

基于证据的软件过程可信度模型及评估方法

引用

软件学报 2017年第7期28卷 1713-1731页

作者：王德鑫王青贺劼中国科学院软件研究所互联网软件技术实验室北京100190 中国科学院大学北京100190 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 中国科学院软件研究所天基综合信息系统重点实验室北京100190

软件可信已经是一个迫在眉睫的重要问题,但对软件可信性的评估却一直没有一个系统且客观的标准.一些研究工作从可信证据的采集渠道入手,譬如认为有第3方测试的证据,其可信级别就高一些,而若有用户的使用反馈则可信级别就更高.这些工作... 详细信息

软件可信已经是一个迫在眉睫的重要问题,但对软件可信性的评估却一直没有一个系统且客观的标准.一些研究工作从可信证据的采集渠道入手,譬如认为有第3方测试的证据,其可信级别就高一些,而若有用户的使用反馈则可信级别就更高.这些工作在可信的客观性方面做了很好的贡献.但可信其实是一个系统性的问题,而且质量形成于过程,其证据的充分必要程度以及对必要开发过程的覆盖程度等非常关键.基于软件开发过程,从过程的实体、行为以及制品3个方面提取软件可信的证据,建立了由37个可信原则、182个过程可信证据和108个制品可信程度证据组成的软件过程可信度模型,并给出基于该模型证据的软件过程可信评估方法,试图从开发过程的可信程度来建立软件产品的可信的信心.

关键词：软件可信过程可信软件制品可信

来源：评论

学校读者我要写书评

暂无评论

软件库调用规约挖掘

引用

软件学报 2011年第3期22卷 408-416页

作者：钟浩张路梅宏中国科学院软件研究所互联网软件技术实验室北京100190 北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

软件库调用规约是一种描述软件库提供函数正确调用顺序的规约.客户代码应按此规约描述的内容调用函数,否则可能引入缺陷,从而降低软件的可信性.由于能够描述可信软件应该满足的性质,软件库调用规约在可信软件、模型检测等研究中扮演特... 详细信息

软件库调用规约是一种描述软件库提供函数正确调用顺序的规约.客户代码应按此规约描述的内容调用函数,否则可能引入缺陷,从而降低软件的可信性.由于能够描述可信软件应该满足的性质,软件库调用规约在可信软件、模型检测等研究中扮演特殊的角色.但是,受制于编写规约的巨大代价,软件库通常并不提供已编写好的调用规约.为此,研究者提出了各种自动挖掘此种规约的方法.阐述了其中代表性的方法及其最新的研究进展,并在此基础上探讨了将来的研究方向.

关键词：挖掘规约软件库钟浩等软件库调用规约挖掘

来源：评论

学校读者我要写书评

暂无评论

应用统计过程控制监控软件测试过程

引用

计算机工程与设计 2008年第3期29卷 725-730页

作者：车美儒杨国伟勾朗姜楠中国科学院软件研究所互联网软件技术实验室

统计过程控制(SPC)是通过使用控制图来制定过程决策和预测过程行为的一种质量控制方法。SPC的方法用于软件过程,可以通过描述过程行为来监控过程的稳定性。讨论了将SPC应用于软件测试过程,针对测试过程中所度量的不同分布形式的数据而... 详细信息

统计过程控制(SPC)是通过使用控制图来制定过程决策和预测过程行为的一种质量控制方法。SPC的方法用于软件过程,可以通过描述过程行为来监控过程的稳定性。讨论了将SPC应用于软件测试过程,针对测试过程中所度量的不同分布形式的数据而采用不同计算方式应用SPC的控制图,然后根据控制图判断测试过程是否稳定,并分析可能存在的可归属原因。

关键词：统计过程控制软件测试过程过程性能过程稳定性质量控制

来源：评论

学校读者我要写书评

暂无评论

网络隐蔽信道关键技术研究综述

引用

软件学报 2019年第8期30卷 2470-2490页

作者：李彦峰丁丽萍吴敬征崔强刘雪花关贝王永吉中国科学院软件研究所并行软件与计算科学实验室北京100190 中国科学院大学北京100049 广州中国科学院软件应用技术研究所电子数据取证实验室广东广州511458 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 中国科学院软件研究所智能软件研究中心北京100190 中国科学院软件研究所互联网软件技术实验室北京100190 中国科学院软件研究所协同创新中心北京100190

网络隐蔽信道是在网络环境下违反通信限制规则进行隐蔽信息传输的信息通道,为网络信息安全带来了新的挑战,也为数据传输的安全性和隐私性带来了新的研究方向.首先介绍了网络隐蔽信道的定义、分类、能力维度等基本概念;进而从码元设计、... 详细信息

网络隐蔽信道是在网络环境下违反通信限制规则进行隐蔽信息传输的信息通道,为网络信息安全带来了新的挑战,也为数据传输的安全性和隐私性带来了新的研究方向.首先介绍了网络隐蔽信道的定义、分类、能力维度等基本概念;进而从码元设计、信息编码和信道优化这3个方面归纳分析了存储型和时间型两类网络隐蔽信道的构建技术,从隐蔽性、鲁棒性和传输效率这3个方面总结了网络隐蔽信道评估方法,从消除、限制、检测这3个方面梳理了网络隐蔽信道的对抗技术;最后,对未来的研究方向进行了展望.

关键词：网络隐蔽信道信息隐藏网络隐蔽信道构建网络隐蔽信道对抗

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：