期刊文献+
共找到158篇文章
< 1 2 8 >
每页显示 20 50 100
国家重点实验室技术标准创新有利于参与国际标准化活动 被引量:1
1
作者 李兵 王翀 +1 位作者 何扬帆 王健 《中国标准化》 2010年第6期8-11,共4页
本文介绍了在研制ISO/IEC 19763《互操作性元模型柜架》国际标准过程中的经验和体会,提出了知识创新带动技术标准创新是参与国际标准化活动的关键,并对如何参与国际标准化活动、推广应用研制的标准,以及培养高素质国际标准化人才提出了... 本文介绍了在研制ISO/IEC 19763《互操作性元模型柜架》国际标准过程中的经验和体会,提出了知识创新带动技术标准创新是参与国际标准化活动的关键,并对如何参与国际标准化活动、推广应用研制的标准,以及培养高素质国际标准化人才提出了建议。 展开更多
关键词 知识创新 技术标准创新 国际标准化活动
在线阅读 下载PDF
基于复杂网络的软件复杂性度量研究 被引量:38
2
作者 李兵 王浩 +2 位作者 李增扬 何克清 余敦辉 《电子学报》 EI CAS CSCD 北大核心 2006年第B12期2371-2375,共5页
软件开发者对于日趋复杂的软件系统的理解和控制越来越困难,传统软件工程正接近其复杂性和可扩展性的极限.复杂性使软件开发困难,质量难以保证.复杂网络理论的最新研究成果,为软件复杂性度量提供了新的数学基础.讨论了软件复杂性的形成... 软件开发者对于日趋复杂的软件系统的理解和控制越来越困难,传统软件工程正接近其复杂性和可扩展性的极限.复杂性使软件开发困难,质量难以保证.复杂网络理论的最新研究成果,为软件复杂性度量提供了新的数学基础.讨论了软件复杂性的形成原因和度量方法,介绍了目前复杂网络与软件复杂性结合的研究工作.探讨了基于复杂网络的软件结构复杂性度量方法,提出一种结合复杂网络和演化算法的软件演化复杂性度量模型. 展开更多
关键词 软件复杂性 复杂网络 软件度量 下一代软件工程
在线阅读 下载PDF
基于迁移学习的软件缺陷预测 被引量:23
3
作者 程铭 毋国庆 袁梦霆 《电子学报》 EI CAS CSCD 北大核心 2016年第1期115-122,共8页
传统软件缺陷预测方法在解决跨项目缺陷预测过程中适应能力不足,主要是因为源项目和目标项目之间存在不同的特征分布.为了解决这个问题,提出一种新的加权贝叶斯迁移学习算法,算法首先收集训练数据和测试数据的特征信息,然后计算特征差异... 传统软件缺陷预测方法在解决跨项目缺陷预测过程中适应能力不足,主要是因为源项目和目标项目之间存在不同的特征分布.为了解决这个问题,提出一种新的加权贝叶斯迁移学习算法,算法首先收集训练数据和测试数据的特征信息,然后计算特征差异,将不同项目数据之间差异转化为训练数据权重,最后基于这些权重数据建立预测模型.在8个开源项目数据集上进行实验比较,实验结果表明与其他方法相比本文方法显著提高跨项目缺陷预测性能. 展开更多
关键词 软件缺陷预测 迁移学习 机器学习 朴素贝叶斯
在线阅读 下载PDF
基于复杂软件网络的回归测试用例优先级排序 被引量:10
4
作者 潘伟丰 李兵 +1 位作者 马于涛 刘婧 《电子学报》 EI CAS CSCD 北大核心 2012年第12期2456-2465,共10页
测试用例优先级排序技术是一种高效实用的回归测试技术.针对现有排序方法未能有效利用软件结构复杂性信息的不足,提出了一种基于复杂软件网络的回归测试用例优先级排序方法.该方法用加权类依赖网络模型抽象类粒度软件系统,从结构角度测... 测试用例优先级排序技术是一种高效实用的回归测试技术.针对现有排序方法未能有效利用软件结构复杂性信息的不足,提出了一种基于复杂软件网络的回归测试用例优先级排序方法.该方法用加权类依赖网络模型抽象类粒度软件系统,从结构角度测度类引入错误的可能性及错误的严重性,并据此评价类的测试重要性,同时结合测试用例的覆盖信息,对测试用例进行排序.实例研究表明,本文的方法能够显著提高严重错误的发现速率,并且具有较好的稳定性.同时,揭示了方法有效性与软件错误类型和结构度量指标两者间的关系. 展开更多
关键词 测试用例优先级排序 软件结构 复杂网络 回归测试 软件
在线阅读 下载PDF
基于蚁群算法的面向服务软件的部署优化方法 被引量:5
5
作者 李琳 应时 +1 位作者 赵翀 董波 《电子学报》 EI CAS CSCD 北大核心 2016年第1期123-129,共7页
面向服务软件的部署优化问题是典型的NP难题.本文构建了基于性能改善的软件部署优化模型,设计了一种蚁群优化算法ACO-DO进行近似最优解的快速求解.该算法通过设计基于部署优化问题的启发式、改进部署方案的构建顺序、增加局部搜索过程... 面向服务软件的部署优化问题是典型的NP难题.本文构建了基于性能改善的软件部署优化模型,设计了一种蚁群优化算法ACO-DO进行近似最优解的快速求解.该算法通过设计基于部署优化问题的启发式、改进部署方案的构建顺序、增加局部搜索过程实现蚁群算法求解效率的提升.通过不同规模的实例实验,验证了ACO-DO算法能够取得比现有的混合整数线性规划算法、蚁群算法和遗传算法更好的性能. 展开更多
关键词 面向服务的软件 部署优化 蚁群算法 性能
在线阅读 下载PDF
面向服务软件中异常处理的形式化建模方法 被引量:4
6
作者 蒋曹清 应时 +2 位作者 文静 贾向阳 王一兵 《西安交通大学学报》 EI CAS CSCD 北大核心 2013年第4期118-124,共7页
针对面向服务软件中异常处理难以建模的问题,基于层次着色Petri网提出了一种面向服务软件中异常处理的形式化建模方法。该方法从异常的抛出、捕获、处理、返回或传播等方面入手进行了异常处理成分建模,给出了各成分的层次化的形式语义模... 针对面向服务软件中异常处理难以建模的问题,基于层次着色Petri网提出了一种面向服务软件中异常处理的形式化建模方法。该方法从异常的抛出、捕获、处理、返回或传播等方面入手进行了异常处理成分建模,给出了各成分的层次化的形式语义模型,来清晰地表达异常处理的过程。结合实例从有效性和可靠性角度对建模方法进行了验证,结果表明,所提方法能够充分利用着色Petri网的层次和数据类型的建模能力,为面向服务软件的数据流和控制流、大规模面向服务软件的层次化模型建模,为异常处理性质的分析与验证提供支持。 展开更多
关键词 面向服务软件 异常处理 形式化建模 建模方法
在线阅读 下载PDF
一种求解面向服务软件部署优化问题的多目标蚁群算法 被引量:5
7
作者 李琳 应时 董波 《中南大学学报(自然科学版)》 EI CAS CSCD 北大核心 2017年第9期2376-2387,共12页
基于根据动态变化的外部环境调整面向服务软件的部署方案是提升其运行性能、降低运行成本的一种有效途径,提出一种基于多目标蚁群算法的MACO-DO,以便在自动为面向服务软件寻找一组在性能和成本之间作出最优权衡的部署方案。MACO-DO算法... 基于根据动态变化的外部环境调整面向服务软件的部署方案是提升其运行性能、降低运行成本的一种有效途径,提出一种基于多目标蚁群算法的MACO-DO,以便在自动为面向服务软件寻找一组在性能和成本之间作出最优权衡的部署方案。MACO-DO算法是对传统多目标蚁群算法的一种改进,引入摒弃精英解策略以避免算法早熟收敛,设计1个局部搜索过程以加快获得可行解的过程。在Case 1,Case 2和Case 3共3种不同规模的模拟案例上将提出的MACO-DO算法与P-ACO算法和NSGA-Ⅱ算法进行对比。研究结果表明:MACO-DO算法在求解问题上具有更好的性能。 展开更多
关键词 面向服务软件 部署优化 多目标蚁群算法 性能
在线阅读 下载PDF
基于构架的软件重用技术综述 被引量:10
8
作者 桑大勇 王瑛 《空军工程大学学报(自然科学版)》 CSCD 2000年第5期84-86,共3页
论述了构架的定义和特征 ,详细讨论了构架重用技术同部件重用、软件自动生成、特定域的软件建筑 (DSSA)以及设计样本等软件重用技术之间的关系 。
关键词 软件重用 构架 部件重用 特定域的软件建筑(DSSA) 设计样本
在线阅读 下载PDF
一种面向语义Web服务的软件设计语言和设计方法 被引量:4
9
作者 曹虹华 应时 +1 位作者 杜德慧 贾向阳 《电子学报》 EI CAS CSCD 北大核心 2007年第B12期129-135,共7页
在分析已有的面向服务的设计和开发方法的基础上,设计了一种语义编程语言SPL,并基于该语言提出一种面向语义web服务的软件设计和开发方法,试图提供一种有效的解决方案,用于设计和开发面向语义web服务的软件系统.结合旅游预订领域... 在分析已有的面向服务的设计和开发方法的基础上,设计了一种语义编程语言SPL,并基于该语言提出一种面向语义web服务的软件设计和开发方法,试图提供一种有效的解决方案,用于设计和开发面向语义web服务的软件系统.结合旅游预订领域的一个实例,讨论了该方法的全过程.还给出了SPL语言和相关语言的比较.该研究对面向语义Web服务的软件分析、设计和开发具有一定的参考作用 . 展开更多
关键词 语义WEB服务 语义编程语言SPL 软件设计方法
在线阅读 下载PDF
一种基于h指数变体的软件网络节点重要性度量方法 被引量:2
10
作者 丁沂 李兵 +1 位作者 程璨 赵玉琦 《工程科学与技术》 EI CAS CSCD 北大核心 2017年第4期136-144,共9页
新成员在参与软件项目开发和维护系统时,往往需要花费大量时间去理解系统的结构和功能,为了加速新成员对系统的理解,通常优先推荐他们关注一些系统中更重要的类。大量研究表明软件系统具有明显的复杂网络拓扑形态,可以将软件系统抽象为... 新成员在参与软件项目开发和维护系统时,往往需要花费大量时间去理解系统的结构和功能,为了加速新成员对系统的理解,通常优先推荐他们关注一些系统中更重要的类。大量研究表明软件系统具有明显的复杂网络拓扑形态,可以将软件系统抽象为软件网络模型,通过网络节点重要性度量方法识别软件系统中更重要的类,辅助新成员快速掌握系统的核心结构和功能。目前,关于网络节点重要性度量的方法很多,大多数方法仅考虑邻居节点的度或边的权重。另外,h指数作为一种成功用于定量评估研究人员学术成就的指标也很少应用于软件网络中重要类的识别。作者以Ant、Jung和Maven项目为研究对象,构建对应的加权软件网络模型,结合节点的度和连边的权重信息提出H-NWD、A-NWD和G-NWD 3个h指数的变体指标来度量软件系统中类的重要性,并与已有的度中心性、介数中心性、接近度中心性、特征向量中心性、Page Rank中心性5个常用的复杂网络中心性度量指标进行对比。实验结果表明,本文所提的H-NWD和G-NWD指标与已有的度量指标交集达到80%以上,能够很好地识别软件系统中重要类;在确定类的修改情况下,H-NWD指标与度中心性、特征向量中心性、Page Rank中心性共同识别的重要类节点rank值更靠前,且被识别的其他类节点修改更频繁,相比于已有指标在识别关键类上更准确。 展开更多
关键词 关键类 H指数 软件网络 节点重要性 中心性度量
在线阅读 下载PDF
基于软件网络错误传播分析的软件质量量度 被引量:4
11
作者 潘伟丰 李兵 《中南大学学报(自然科学版)》 EI CAS CSCD 北大核心 2012年第11期4339-4348,共10页
基于软件网络错误传播的分析,提出一种量度软件质量的新方法。首先,将软件系统抽象成软件网络(方法调用网络),节点代表方法,有向边代表方法间的调用关系;然后,通过错误植入的方法(随机植入和受控植入),研究错误在方法调用网络中的传播过... 基于软件网络错误传播的分析,提出一种量度软件质量的新方法。首先,将软件系统抽象成软件网络(方法调用网络),节点代表方法,有向边代表方法间的调用关系;然后,通过错误植入的方法(随机植入和受控植入),研究错误在方法调用网络中的传播过程,最终构建新度量SQC量度软件质量。真实软件系统的实例研究结果表明:SQC可以有效地量度软件的质量,并且与软件网络边数、结构熵等参数存在明显的负相关性,这对于指导高质量软件开发具有一定意义。 展开更多
关键词 软件网络 复杂网络 软件度量 错误传播 软件质量
在线阅读 下载PDF
新型软件过程模型的缺陷分析 被引量:2
12
作者 李顺新 马于涛 伍江华 《武汉理工大学学报(交通科学与工程版)》 2005年第4期579-582,共4页
基于软件体系结构的组件式软件开发是一种新的系统开发方法.介绍了该方法支撑过程的基本构造,对其进行了形式化的描述,形成了新的软件过程模型.以过程模型为研究对象,在其典型迭代过程中从功能和结构关系角度分析了模型存在的缺陷和容... 基于软件体系结构的组件式软件开发是一种新的系统开发方法.介绍了该方法支撑过程的基本构造,对其进行了形式化的描述,形成了新的软件过程模型.以过程模型为研究对象,在其典型迭代过程中从功能和结构关系角度分析了模型存在的缺陷和容易导致缺陷的因素.针对存在的缺陷,提出了可行的解决办法,有利于过程模型的改进和优化.最后,以实际开发案例为背景对模型的缺陷进行了说明和阐述. 展开更多
关键词 软件过程 软件体系结构 模型 缺陷
在线阅读 下载PDF
量化管理软件测试方法探讨 被引量:2
13
作者 何炎祥 莫子军 张新俊 《人民长江》 北大核心 2008年第3期107-109,共3页
软件测试是软件生命期中的一个重要阶段,是保证软件质量的关键步骤,而测试过程的组织与管理则是测试工作的核心。科学、高效的管理软件测试过程,可以有效地降低测试成本、提高产品质量。提出了一种量化管理软件测试过程的方法和数据指标... 软件测试是软件生命期中的一个重要阶段,是保证软件质量的关键步骤,而测试过程的组织与管理则是测试工作的核心。科学、高效的管理软件测试过程,可以有效地降低测试成本、提高产品质量。提出了一种量化管理软件测试过程的方法和数据指标,将之应用于软件测试的各个阶段,能够有效地评价测试工作、科学地指导测试规划,避免盲目和无效的测试,进而缩短测试过程,提高测试效率和软件产品的质量。最后通过将该量化方法和数据指标应用于实际软件开发项目—"产品销售/售后管理系统"的测试过程管理,验证了该方法的实用性和有效性。 展开更多
关键词 过程管理 量化分析 软件测试 软件质量
在线阅读 下载PDF
基于目标语句占优关系的软件可测试性转化 被引量:2
14
作者 姚香娟 巩敦卫 《电子学报》 EI CAS CSCD 北大核心 2013年第12期2523-2528,共6页
标记变量问题是基于搜索的软件测试数据生成的关键问题之一.本文提出一种基于目标语句占优关系的软件可测试性转化理论与方法,思想是:对于涉及标记变量问题的目标语句,如果存在另一目标语句(集),使得该目标语句(集)占优原有目标语句,则... 标记变量问题是基于搜索的软件测试数据生成的关键问题之一.本文提出一种基于目标语句占优关系的软件可测试性转化理论与方法,思想是:对于涉及标记变量问题的目标语句,如果存在另一目标语句(集),使得该目标语句(集)占优原有目标语句,则用新的目标语句(集)代替原有目标语句生成测试数据,从而消除标记变量的不利影响.将本文方法应用于典型被测程序,实验结果表明,该方法可以有效解决标记变量问题,从而提高测试数据的生成效率. 展开更多
关键词 测试数据生成 标记变量 可测试性转化 遗传算法
在线阅读 下载PDF
自适应软件需求的形式化建模与验证 被引量:1
15
作者 雷义伟 贲可荣 何智勇 《海军工程大学学报》 CAS 北大核心 2015年第6期73-78,共6页
为使自适应软件的需求规约与软件约束一致性验证能够得到已有验证工具的支持,提出了一种基于模型转换的验证方法。该方法通过对Tropos建模方法进行上下文和异常条件扩展来满足自适应软件需求,给出从Tropos需求模型到状态变迁模型的映射... 为使自适应软件的需求规约与软件约束一致性验证能够得到已有验证工具的支持,提出了一种基于模型转换的验证方法。该方法通过对Tropos建模方法进行上下文和异常条件扩展来满足自适应软件需求,给出从Tropos需求模型到状态变迁模型的映射规则,并通过验证软件约束公式在状态变迁模型上的可满足性,达到验证软件需求与软件约束一致性的目的。最后,通过舰船火灾损管系统的实例说明了自适应软件需求的建模和验证过程。 展开更多
关键词 自适应软件 需求分析 可满足性验证
在线阅读 下载PDF
软件开发中的知识表示及SOKM/L语言的应用
16
作者 何克清 金明源 《高技术通讯》 EI CAS CSCD 1991年第3期7-11,共5页
关键词 软件开发 SOKM/L语言 知识表示
在线阅读 下载PDF
软件开发活动的控制结构的研究
17
作者 何克清 《高技术通讯》 EI CAS CSCD 1991年第4期22-26,共5页
关键词 软件开发 控制结构
在线阅读 下载PDF
网络视频监控平台管理软件的架构分析 被引量:2
18
作者 陈皓圭 《黑龙江科技信息》 2011年第17期71-71,17,共2页
网络视频监控系统是随着计算机技术、多媒体技术、数字图像压缩技术以及网络应用的飞速发展,迎应模拟监控系统和数字视频监控系统的弊端与时代发展的需求而产生的。本文深入分析了网络视频监控技术,并给出一个视频监控平台管理软件架构... 网络视频监控系统是随着计算机技术、多媒体技术、数字图像压缩技术以及网络应用的飞速发展,迎应模拟监控系统和数字视频监控系统的弊端与时代发展的需求而产生的。本文深入分析了网络视频监控技术,并给出一个视频监控平台管理软件架构方案,通过实际应用表面,该方案有很好的实际应用效果。 展开更多
关键词 视频监控 网络视频 系统集成 管理系统
在线阅读 下载PDF
一种精英反向学习的粒子群优化算法 被引量:92
19
作者 周新宇 吴志健 +2 位作者 王晖 李康顺 张浩宇 《电子学报》 EI CAS CSCD 北大核心 2013年第8期1647-1652,共6页
为解决传统粒子群优化算法易出现早熟的不足,提出了精英反向学习策略,引入精英粒子,采用反向学习生成其反向解,扩大搜索区域的范围,可增强算法的全局勘探能力.同时,为避免最优粒子陷入局部最优而导致整个群体出现搜索停滞,提出了差分演... 为解决传统粒子群优化算法易出现早熟的不足,提出了精英反向学习策略,引入精英粒子,采用反向学习生成其反向解,扩大搜索区域的范围,可增强算法的全局勘探能力.同时,为避免最优粒子陷入局部最优而导致整个群体出现搜索停滞,提出了差分演化变异策略,采用差分演化算法搜索最优粒子的邻域空间,可增强算法的局部开采能力.在14个测试函数上将本文算法与多种知名的PSO算法进行对比,实验结果表明本文算法在解的精度与收敛速度上更优. 展开更多
关键词 全局优化 粒子群优化 精英反向学习 差分演化变异 群体选择
在线阅读 下载PDF
基于信任扩展的可信虚拟执行环境构建方法研究 被引量:25
20
作者 王丽娜 高汉军 +2 位作者 余荣威 任正伟 董永峰 《通信学报》 EI CSCD 北大核心 2011年第9期1-8,共8页
为保护虚拟机运行环境及上层服务软件的完整性、安全性,提出了一种基于信任扩展的可信虚拟执行环境的构建方法。首先,建立物理平台配置寄存器(PCR,platform configuration register)与虚拟PCR的映射关系,以此实现虚拟可信平台模块(vTPM... 为保护虚拟机运行环境及上层服务软件的完整性、安全性,提出了一种基于信任扩展的可信虚拟执行环境的构建方法。首先,建立物理平台配置寄存器(PCR,platform configuration register)与虚拟PCR的映射关系,以此实现虚拟可信平台模块(vTPM)与底层可信计算基的绑定;其次,利用本地vTPM管理器签发证书,完成可信证书链在虚拟机中的延伸。通过物理平台至虚拟平台的信任扩展,虚拟机可以有效地利用TPM提供的相关功能(如远程证明、密封存储等),完成平台环境的证明及私密信息的安全存储,从而构建了可信虚拟执行环境。最后,实现了原型系统并进行了测试,测试结果证明本系统可以有效地实现虚拟平台的密封存储和远程证明等功能。 展开更多
关键词 信任扩展 可信虚拟执行环境 可信平台模块 密封存储 远程证明
在线阅读 下载PDF
上一页 1 2 8 下一页 到第
使用帮助 返回顶部