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

基于程序特征谱整数溢出错误定位技术研究被引量：7: 1; 作者惠战伟黄松嵇孟雨《计算机学报》 EI CSCD 北大核心 2012年第10期2204-2214,共11页; 随着软件业的飞速发展,人们对软件质量的要求也越来越高.整数溢出错误以其高危性和隐蔽性成为影响软件安全性和可靠性的重要因素之一.如何准确定位整数溢出错误是软件安全领域研究的热点.论文改进了现有错误定位模型,构建了整数溢出错... 展开更多; 关键词整数溢出错误定位程序特征谱定义使用对覆盖分支覆盖; 在线阅读下载PDF 职称材料

基于句对质量和覆盖度的统计机器翻译训练语料选取被引量：11: 2; 作者姚树杰肖桐朱靖波《中文信息学报》 CSCD 北大核心 2011年第2期72-77,共6页; 该文研究的目的是在待翻译文本未知的情况下,从已有的大规模平行语料中选取一个高质量的子集作为统计机器翻译系统的训练语料,以降低训练和解码代价。该文综合覆盖度和句对翻译质量两方面因素,提出一种从已有平行语料中获取高质量小规... 展开更多; 关键词句对质量评价覆盖度统计机器翻译线性句对质量评价模型训练语料选取; 在线阅读下载PDF 职称材料

基于组织进化粒子群优化的测试用例自动生成被引量：2: 3; 作者潘晓英陈皓《计算机应用研究》 CSCD 北大核心 2012年第6期2065-2067,共3页; 针对组合测试用例生成问题的具体特点,结合组织进化思想及粒子群优化算法,设计了适合问题求解的编码方式及操作算子等,提出了一种基于组织进化粒子群优化的测试用例自动生成算法。该方法用于选择当前局部优化覆盖的测试用例,在此基础上... 展开更多; 关键词组织进化粒子群测试用例两两覆盖; 在线阅读下载PDF 职称材料

基于边缘颜色对特征及笔画穿越双层检测车牌定位算法被引量：1: 4; 作者胡正平曹兵兵《燕山大学学报》 CAS 2012年第1期44-49,78,共7页; 针对现有车牌定位算法鲁棒性不够、准确度不高以及参数设置困难等问题,提出基于边缘颜色对特征以及笔画穿越双层检测车牌定位算法,不但充分利用车牌边缘颜色搭配信息,而且有效利用了车牌字符结构信息。粗检测阶段:首先进行边缘检测,人... 展开更多; 关键词车牌定位边缘颜色对方向分布覆盖分类模型; 在线阅读下载PDF 职称材料

基于子载波选择配对及功率优化分配的多跳中继系统研究被引量：2: 5; 作者冯亮《计算机科学》 CSCD 北大核心 2015年第10期92-94,100,共4页; 为了提升OFDM协作通信系统的网络覆盖率及网络容量,提出了一种基于子载波选择配对及功率优化分配的多跳中继OFDM系统优化算法。首先,通过在OFDM的系统模型上进行中继配对和非中继配对的性能分析,将子载波选择配对转换为一个整数规划问题... 展开更多; 关键词中继OFDM系统子载波选择配对功率优化分配网络覆盖率物联网; 在线阅读下载PDF 职称材料

基于信息流的关键软件缺陷定位技术: 6; 作者周东红石柱 +1 位作者王瑞李沫《载人航天》 CSCD 2016年第5期635-640,共6页; 针对软件因涉及多程序要素间相互作用而来的复杂缺陷,研究了基于信息流的关键软件缺陷定位技术,对现有的信息流进行了扩展,并对经典方法的可疑度度量公式进行了改进,而且将其融入了相关算法;并进行了与语句覆盖、分支覆盖和定义使用对... 展开更多; 关键词软件测试复杂缺陷信息流覆盖语句覆盖分支覆盖定义使用对覆盖; 在线阅读下载PDF 职称材料

一种新的数据流覆盖测试数据进化生成方法被引量：1: 7; 作者靳蓉姜淑娟张红昌《小型微型计算机系统》 CSCD 北大核心 2012年第4期722-726,共5页; 数据流覆盖可有效地检测软件中的缺陷与错误.针对该覆盖准则中存在的插装监测开销庞大和测试数据生成效率不高的问题,提出一种新的基于定值-引用对覆盖的测试数据进化生成方法.该方法主要分为两部分,首先,通过约减测试目标来减少插装开... 展开更多; 关键词软件测试数据流覆盖定值-引用对测试数据生成遗传算法; 在线阅读下载PDF 职称材料

基于全同步对覆盖的线程调度序列生成方法: 8; 作者石存沣李征 +1 位作者郭俊霞赵瑞莲《计算机应用》 CSCD 北大核心 2015年第7期2004-2008,2014,共6页; 针对多线程并发程序生成覆盖同步语句的线程调度序列(TSS)效率低问题,提出了一种基于全同步对覆盖(APSC)准则的TSS生成(TGBA)方法。首先,对并发程序中的同步语句,定义了同步对及APSC;然后,给出了一个同步对-线程关联图(SPTG)构建方法;... 展开更多; 关键词多线程并发程序同步对全同步对覆盖准则线程调度序列测试生成效率; 在线阅读下载PDF 职称材料

题名基于程序特征谱整数溢出错误定位技术研究被引量：7: 1; 作者惠战伟黄松嵇孟雨; 机构解放军理工大学指挥自动化学院全军军事训练软件测评中心; 出处《计算机学报》 EI CSCD 北大核心 2012年第10期2204-2214,共11页; 基金国家"八六三"高技术研究发展计划项目基金(2009AA01Z402) 江苏省自然科学基金(BK2012059 BK2012060)资助~~; 文摘随着软件业的飞速发展,人们对软件质量的要求也越来越高.整数溢出错误以其高危性和隐蔽性成为影响软件安全性和可靠性的重要因素之一.如何准确定位整数溢出错误是软件安全领域研究的热点.论文改进了现有错误定位模型,构建了整数溢出错误定位模型INTRank.实验结果表明:基于INTRank模型的语句可疑度估计方法可以较为准确地计算语句可疑度,使得程序员能够按照基于语句可疑度的优先级顺序检查源代码,找出导致整数溢出错误的原因,同时本文方法具有较低的漏报率.; 关键词整数溢出错误定位程序特征谱定义使用对覆盖分支覆盖; Keywords integer bug localization program spectra define-use pair coverage branch coverage; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于句对质量和覆盖度的统计机器翻译训练语料选取被引量：11: 2; 作者姚树杰肖桐朱靖波; 机构东北大学自然语言处理实验室医学影像计算教育部重点实验室(东北大学); 出处《中文信息学报》 CSCD 北大核心 2011年第2期72-77,共6页; 基金国家自然科学基金资助项目(60873091 61073140) +1 种基金高等学校博士学科点专项科研基金资助(20100042110031); 文摘该文研究的目的是在待翻译文本未知的情况下,从已有的大规模平行语料中选取一个高质量的子集作为统计机器翻译系统的训练语料,以降低训练和解码代价。该文综合覆盖度和句对翻译质量两方面因素,提出一种从已有平行语料中获取高质量小规模训练子集的方法。在CWMT2008汉英翻译任务上的实验结果表明,利用本文的方法能够从现有大规模语料中选取高质量的子集,在减少80%训练语料的情况下达到与Baseline系统(使用全部训练语料)相当的翻译性能(BLEU值)。; 关键词句对质量评价覆盖度统计机器翻译线性句对质量评价模型训练语料选取; Keywords sentence pair quality evaluation coverage statistical machine translation linear sentence pair quality evaluation model training data selection; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于组织进化粒子群优化的测试用例自动生成被引量：2: 3; 作者潘晓英陈皓; 机构西安邮电大学计算机学院; 出处《计算机应用研究》 CSCD 北大核心 2012年第6期2065-2067,共3页; 基金国家自然科学基金资助项目(61050003 61105064) +1 种基金陕西省教育厅科研项目(2010JK837); 文摘针对组合测试用例生成问题的具体特点,结合组织进化思想及粒子群优化算法,设计了适合问题求解的编码方式及操作算子等,提出了一种基于组织进化粒子群优化的测试用例自动生成算法。该方法用于选择当前局部优化覆盖的测试用例,在此基础上构建满足两两覆盖的测试用例集。仿真实验表明,该方法能有效地降低测试用例数目。; 关键词组织进化粒子群测试用例两两覆盖; Keywords organizational evolutionary particle swarm test cases pair-wise coverage; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名基于边缘颜色对特征及笔画穿越双层检测车牌定位算法被引量：1: 4; 作者胡正平曹兵兵; 机构燕山大学信息科学与工程学院; 出处《燕山大学学报》 CAS 2012年第1期44-49,78,共7页; 基金国家自然科学基金资助项目(61071199) 河北省自然科学基金资助项目(F2010001297); 文摘针对现有车牌定位算法鲁棒性不够、准确度不高以及参数设置困难等问题,提出基于边缘颜色对特征以及笔画穿越双层检测车牌定位算法,不但充分利用车牌边缘颜色搭配信息,而且有效利用了车牌字符结构信息。粗检测阶段:首先进行边缘检测,人工收集所有搭配的彩色边缘特征数据,利用机器学习模型建立车牌边缘颜色对覆盖分类学习模型,然后利用车牌边缘颜色对覆盖分类学习模型,并利用先验信息进行形态学处理形成车牌候选区域。验证阶段:针对粗检测车牌候选区域,扫描车牌边缘穿越信息,最后利用车牌区域整体边缘分布覆盖分类模型进行候选区域验证处理。该方法利用车牌背景与字符具有固定颜色搭配的重要特点,综合利用了车牌的结构特征和纹理特征,提高了车牌定位的可靠性。实验采用100幅含有不同颜色搭配的车牌图像进行实验,定位准确率达到96%以上。; 关键词车牌定位边缘颜色对方向分布覆盖分类模型; Keywords license plate location edge-color pair direction distribution coverage classification model; 分类号 TP391.41 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于子载波选择配对及功率优化分配的多跳中继系统研究被引量：2: 5; 作者冯亮; 机构西北工业大学管理学院; 出处《计算机科学》 CSCD 北大核心 2015年第10期92-94,100,共4页; 基金国家自然科学基金项目(11371003) 陕西省教育厅项目(14JK1057)资助; 文摘为了提升OFDM协作通信系统的网络覆盖率及网络容量,提出了一种基于子载波选择配对及功率优化分配的多跳中继OFDM系统优化算法。首先,通过在OFDM的系统模型上进行中继配对和非中继配对的性能分析,将子载波选择配对转换为一个整数规划问题,并采用基于匈牙利算法的规划方法进行配对矩阵的计算。接着,根据OFDM系统的功率分配问题,通过KKT条件对中继功率及电源功率进行优化,从而实现中继系统的功率优化分配。最终的仿真结果表明,与统计质量QoS保证的资源分配方案以及OFDM中继系统异构服务的资源分配算法相比,所提出的方法在提高网络覆盖率和容量上均表现出更好的效果。; 关键词中继OFDM系统子载波选择配对功率优化分配网络覆盖率物联网; Keywords Relay OFDM system, Subcarrier selection pairing, Optimal power allocation, Network coverage, Networkcapacity; 分类号 TN913 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

题名基于信息流的关键软件缺陷定位技术: 6; 作者周东红石柱王瑞李沫; 机构中国航天系统科学与工程研究院; 出处《载人航天》 CSCD 2016年第5期635-640,共6页; 文摘针对软件因涉及多程序要素间相互作用而来的复杂缺陷,研究了基于信息流的关键软件缺陷定位技术,对现有的信息流进行了扩展,并对经典方法的可疑度度量公式进行了改进,而且将其融入了相关算法;并进行了与语句覆盖、分支覆盖和定义使用对覆盖等缺陷定位技术的对比试验,结果表明:此方法比基于语句覆盖、分支覆盖和定义使用对覆盖的方法更可靠、更精确,能高效率地定位软件中的缺陷。; 关键词软件测试复杂缺陷信息流覆盖语句覆盖分支覆盖定义使用对覆盖; Keywords software test complex defect information flow coverage statement coverage branch coverage define-use pair coverage; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名一种新的数据流覆盖测试数据进化生成方法被引量：1: 7; 作者靳蓉姜淑娟张红昌; 机构中国矿业大学计算机科学与技术学院; 出处《小型微型计算机系统》 CSCD 北大核心 2012年第4期722-726,共5页; 基金国家自然科学基金项目(60970032)资助江苏省自然科学基金项目(BK2008124)资助江苏省"青蓝工程"基金项目资助; 文摘数据流覆盖可有效地检测软件中的缺陷与错误.针对该覆盖准则中存在的插装监测开销庞大和测试数据生成效率不高的问题,提出一种新的基于定值-引用对覆盖的测试数据进化生成方法.该方法主要分为两部分,首先,通过约减测试目标来减少插装开销,提出的包含关系算法可找到一个定值—引用对子集,使得覆盖该子集就能保证所有测试目标被覆盖;然后,采用遗传算法为所有测试目标生成测试数据,设计的适应度函数综合考虑个体实际执行的路径与每个测试目标的定义明确路径的匹配程度.将该方法用于8个基准程序的测试数据生成,并与其他方法比较,结果显示其可有效提高程序覆盖率和测试数据生成效率.; 关键词软件测试数据流覆盖定值-引用对测试数据生成遗传算法; Keywords software testing data-flow coverage definition-use pair test data generation genetic algorithm; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于全同步对覆盖的线程调度序列生成方法: 8; 作者石存沣李征郭俊霞赵瑞莲; 机构北京化工大学信息科学与技术学院; 出处《计算机应用》 CSCD 北大核心 2015年第7期2004-2008,2014,共6页; 基金国家自然科学基金资助项目(61472025 61170082) 教育部新世纪优秀人才支持计划项目(NCET-12-0757); 文摘针对多线程并发程序生成覆盖同步语句的线程调度序列(TSS)效率低问题,提出了一种基于全同步对覆盖(APSC)准则的TSS生成(TGBA)方法。首先,对并发程序中的同步语句,定义了同步对及APSC;然后,给出了一个同步对-线程关联图(SPTG)构建方法;在此基础上,生成满足APSC的TSS;最后,使用JPF检测工具,对4个Java类库并发程序进行了TSS生成实验,并与常用的默认线程调度(DS)、抢占式线程调度(PS)和交叉线程调度(CS)序列生成方法在生成效率方面进行了对比分析。实验结果表明,与DS、CS方法相比,TGBA方法生成的TSS能够覆盖全部同步对;当满足APSC时,与PS方法相比,TGBA方法测试生成所需要的状态数、迁移数至少减少了19 889和44 352,并且生成效率平均提升了1.95倍,因此TGBA方法能够降低状态空间的规模开销,提高TSS的生成效率。; 关键词多线程并发程序同步对全同步对覆盖准则线程调度序列测试生成效率; Keywords multi-thread concurrent program synchronization pair All Synchronization pairs coverage （APSC） criteria Thread Scheduling Sequence （TSS） test generation efficiency; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于程序特征谱整数溢出错误定位技术研究	惠战伟黄松嵇孟雨	《计算机学报》 EI CSCD 北大核心	2012	7	在线阅读下载PDF 职称材料
2	基于句对质量和覆盖度的统计机器翻译训练语料选取	姚树杰肖桐朱靖波	《中文信息学报》 CSCD 北大核心	2011	11	在线阅读下载PDF 职称材料
3	基于组织进化粒子群优化的测试用例自动生成	潘晓英陈皓	《计算机应用研究》 CSCD 北大核心	2012	2	在线阅读下载PDF 职称材料
4	基于边缘颜色对特征及笔画穿越双层检测车牌定位算法	胡正平曹兵兵	《燕山大学学报》 CAS	2012	1	在线阅读下载PDF 职称材料
5	基于子载波选择配对及功率优化分配的多跳中继系统研究	冯亮	《计算机科学》 CSCD 北大核心	2015	2	在线阅读下载PDF 职称材料
6	基于信息流的关键软件缺陷定位技术	周东红石柱王瑞李沫	《载人航天》 CSCD	2016	0	在线阅读下载PDF 职称材料
7	一种新的数据流覆盖测试数据进化生成方法	靳蓉姜淑娟张红昌	《小型微型计算机系统》 CSCD 北大核心	2012	1	在线阅读下载PDF 职称材料
8	基于全同步对覆盖的线程调度序列生成方法	石存沣李征郭俊霞赵瑞莲	《计算机应用》 CSCD 北大核心	2015	0	在线阅读下载PDF 职称材料