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

中国科技论文 2012年第1期7卷 33-41页

作者：马倩陈林卢红敏丁晖南京大学计算机科学与技术系计算机软件新技术国家重点实验室南京210046

缺陷定位技术利用测试用例动态执行的覆盖信息来计算程序中各条语句的可疑度,有效地减少了开发人员排错的工作量。但检查大量的测试输出正确与否是非常困难而且耗时的,因此对测试用例集进行约简成为必要。传统的约简方法大多使用语句覆... 详细信息

缺陷定位技术利用测试用例动态执行的覆盖信息来计算程序中各条语句的可疑度,有效地减少了开发人员排错的工作量。但检查大量的测试输出正确与否是非常困难而且耗时的,因此对测试用例集进行约简成为必要。传统的约简方法大多使用语句覆盖标准,本文提出以动态基本块为覆盖标准,并在此基础上提出2种约简策略来减小测试输入的规模。实验结果证明,新方法可以有效地减少测试输入,并且约简后的错误定位效果几乎不下降。

关键词：测试用例约简缺陷定位动态基本块调试

来源：评论

学校读者我要写书评

暂无评论

一种基于VFD多核系统的硬实时任务节能调度算法

引用

计算机研究与发展 2012年第5期49卷 1018-1027页

作者：吴小东韩建军王天江服务计算技术与系统教育部重点实验室(华中科技大学) 武汉430074 华中科技大学计算机科学与技术学院武汉430074 计算机软件新技术国家重点实验室(南京大学) 南京210093

由于芯片功耗不断增加,节能已成为一个亟待解决的重要问题.基于全局异步局域同步(GALS)及电压频率域(VFD)技术的多核处理器计算平台,提出周期性硬实时任务节能调度算法.首先将给定任务集中的实时任务按最差匹配递减(WFD)策略映射到各个... 详细信息

由于芯片功耗不断增加,节能已成为一个亟待解决的重要问题.基于全局异步局域同步(GALS)及电压频率域(VFD)技术的多核处理器计算平台,提出周期性硬实时任务节能调度算法.首先将给定任务集中的实时任务按最差匹配递减(WFD)策略映射到各个计算核上,使各计算核的利用率相对更加均衡,然后利用静态电压?频率调整策略,将每一个VFD内各计算核的共享运行频率降至此VFD中负载最重的计算核的利用率以回收并利用空闲时间节能.在静态策略的基础上提出空闲时间重分配(SR)策略,在保证实时任务可调度的前提下,通过进行任务迁移来平衡VFD内各计算核上的空闲时间分布,以进一步降低VFD的共享运行频率,从而降低能耗.实验表明提出的节能算法可取得较好的节能效果.

关键词：实时系统实时调度节能调度多核系统动态电压/频率调节低能耗

来源：评论

学校读者我要写书评

暂无评论

面向适航认证的模型驱动机载软件构件的安全性验证

引用

航空学报 2012年第5期33卷 796-808页

作者：徐丙凤黄志球胡军于笑丰南京航空航天大学计算机科学与技术学院江苏南京210016 南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学商学院江苏南京210093

在软件开发的过程中为适航认证提供证据,已成为机载软件开发的研究热点。现代复杂机载软件多为构件化分布式架构,如何有效验证构件之间安全性依赖关系与适航认证标准当中规定目标的一致性,是机载软件设计阶段的一个重要问题。首先,使用... 详细信息

在软件开发的过程中为适航认证提供证据,已成为机载软件开发的研究热点。现代复杂机载软件多为构件化分布式架构,如何有效验证构件之间安全性依赖关系与适航认证标准当中规定目标的一致性,是机载软件设计阶段的一个重要问题。首先,使用系统建模语言(SysML)块图建立带有安全性特征的系统静态结构模型,将其转换为块依赖图以便进行精确的形式化描述。在此基础上给出形式验证方法,检验系统静态结构模型中的安全性依赖关系与适航认证标准中所规定目标之间是否一致。最后,通过一个飞机导航系统的例子说明如何将该方法应用于机载软件开发的过程中。利用这种方法对系统静态结构模型的安全性依赖关系进行验证,能够提高系统整体的安全性,并为适航认证提供证据。

关键词：适航认证安全性验证机载软件模型驱动形式化方法 SysML

来源：评论

学校读者我要写书评

暂无评论

基于攻击特征签名的自动生成

引用

计算机科学 2012年第3期39卷 118-123页

作者：王国栋陈平茅兵谢立南京大学计算机科学与技术系软件新技术国家重点实验室南京210093

签名可以基于攻击特征的相关信息生成。在栈上针对控制流攻击中对函数调用返回值和函数调用指针的攻击以及非控制流中对与判断相关联的数据的攻击,结合动态分析技术生成二进制签名。首先,识别出漏洞相关指令;然后,用虚拟机监控运行上述... 详细信息

签名可以基于攻击特征的相关信息生成。在栈上针对控制流攻击中对函数调用返回值和函数调用指针的攻击以及非控制流中对与判断相关联的数据的攻击,结合动态分析技术生成二进制签名。首先,识别出漏洞相关指令;然后,用虚拟机监控运行上述指令;最后,修改虚拟机以在监控到恶意写行为时报警并生成签名。同时生成的补丁文件记录恶意写指令以便后继执行时跳过。签名可迅速分发给其他主机,在轻量级虚拟机上监测程序运行。实验表明,二进制签名具有准确、精简的优点,可以防御多态攻击,同时具有较低漏报率,结合使用轻量级虚拟机可使签名生成和后继检测都快速高效。

关键词：计算机安全软件安全软件漏洞二进制程序签名二进制补丁

来源：评论

学校读者我要写书评

暂无评论

覆盖表生成的粒子群算法:参数优化和自适应算法

引用

小型微型计算机系统 2012年第10期33卷 2259-2267页

作者：吴化尧聂长海南京大学计算机科学与技术系软件新技术国家重点实验室南京210093

组合测试是一种能有效检测由参数间相互作用所引发错误的软件测试方法,覆盖表的生成是该研究领域的一个重要问题.目前,很多方法已被应用于覆盖表生成,基于演化搜索的粒子群算法尽管能得到较优的解,但其性能容易受到配置参数的影响.本文... 详细信息

组合测试是一种能有效检测由参数间相互作用所引发错误的软件测试方法,覆盖表的生成是该研究领域的一个重要问题.目前,很多方法已被应用于覆盖表生成,基于演化搜索的粒子群算法尽管能得到较优的解,但其性能容易受到配置参数的影响.本文首先使用试验设计的方法,对不同覆盖表生成的算法参数进行优化,系统分析了参数对算法性能的影响.同时,考虑到对不同的覆盖表,最优的算法参数往往不同,因此进一步提出了一种适用于覆盖表生成的自适应粒子群算法.实验结果表明,在一定的参数取值范围内粒子群算法都能获得较好的结果,且不存在一组对任意覆盖表都能有最优性能的算法参数.通过参数调优,能使粒子群算法获得比已有结果规模更小的覆盖表,同时,与经过参数调优后的算法相比,自适应粒子群算法在大部分情况下有更好的性能.

关键词：组合测试覆盖表生成粒子群算法参数调优自适应算法

来源：评论

学校读者我要写书评

暂无评论

双精英协同进化遗传算法

引用

软件学报 2012年第4期23卷 765-775页

作者：刘全王晓燕傅启明张永刚章晓芳苏州大学计算机科学与技术学院江苏苏州215006 符号计算与知识工程教育部重点实验室(吉林大学) 吉林长春130012 计算机软件新技术国家重点实验室(南京大学) 江苏南京210093

针对传统遗传算法早熟收敛和收敛速度慢的问题,提出一种双精英协同进化遗传算法(double elitecoevolutionary genetic algorithm,简称DECGA).该算法借鉴了精英策略和协同进化的思想,选择两个相异的、高适应度的个体(精英个体)作为进化... 详细信息

针对传统遗传算法早熟收敛和收敛速度慢的问题,提出一种双精英协同进化遗传算法(double elitecoevolutionary genetic algorithm,简称DECGA).该算法借鉴了精英策略和协同进化的思想,选择两个相异的、高适应度的个体(精英个体)作为进化操作的核心,两个精英个体分别按照不同的评价函数来选择个体,组成各自的进化子种群.两个子种群分别采用不同的进化策略,以平衡算法的勘探和搜索能力.理论分析证明,该算法具有全局收敛性.通过对测试函数的实验,其结果表明,该算法能搜索到几乎所有测试函数的最优解,同时能够有效地保持种群的多样性.与已有算法相比,该算法在收敛速度和搜索全局最优解上都有了较大的改进和提高.

关键词：遗传算法进化算法精英策略协同进化种群多样性

来源：评论

学校读者我要写书评

暂无评论

HDS-LEACH:一种基于散列链的动态密钥管理多跳安全路由协议

引用

小型微型计算机系统 2012年第11期33卷 2446-2452页

作者：缪成蓓白光伟顾跃跃南京工业大学计算机科学与技术系南京210009 计算机软件新技术国家重点实验室(南京大学) 南京210093

主要研究传感器网络安全的能量高效的层簇式路由协议机制.在深入分析现有LEACH协议所面临的安全威胁的基础上,提出一种动态的,基于散列链的分区自治式的层簇式安全路由协议HDS-LEACH.其核心思想是,在层簇式路由协议中引入分区,建立多跳... 详细信息

主要研究传感器网络安全的能量高效的层簇式路由协议机制.在深入分析现有LEACH协议所面临的安全威胁的基础上,提出一种动态的,基于散列链的分区自治式的层簇式安全路由协议HDS-LEACH.其核心思想是,在层簇式路由协议中引入分区,建立多跳路径;在每轮簇首选举之后为每个簇头节点随机从散列链组成的密钥池中选取q个链密钥,其它节点根据链密钥用单向哈希函数和伪随机函数派生出相互间通信的密钥,同时在多跳路由中融入动态密钥管理,使协议适应无线传感器网络动态变化的拓扑结构,增强了协议的可扩展性,另一方面,分区自治的多跳路由,避免了远离基站的节点直接与汇聚节点通信,均衡节点能耗.仿真实验表明,改进的路由协议HDS-LEACH大大减少了因网络攻击而造成的数据流失,增强了抗攻击能力,显著降低了网络能耗,延长了网络生存时间.

关键词：传感器网络安全路由协议分区自治散列链动态密钥管理均衡能耗

来源：评论

学校读者我要写书评

暂无评论

延迟容忍传感器网络中基于群组运动的事件传输

引用

软件学报 2012年第3期23卷 629-647页

作者：吴磊王晓敏刘明陈贵海龚海刚电子科技大学计算机科学与工程学院四川成都611731 计算机软件新技术国家重点实验室(南京大学) 江苏南京210093

提出了一种基于分布式群组移动的事件分类传输策略GMED(distributed group mobility adaptive event delivery).通过有效地发现和利用传感器节点在运动过程中形成的群组,建立基于群组的事件分类传输模型,改善数据传输性能.其中,群组的... 详细信息

提出了一种基于分布式群组移动的事件分类传输策略GMED(distributed group mobility adaptive event delivery).通过有效地发现和利用传感器节点在运动过程中形成的群组,建立基于群组的事件分类传输模型,改善数据传输性能.其中,群组的转发是依据各自与汇聚点的机会概率按照多副本方式进行的;而群内的事件传输则是基于各成员的稳定邻居集建立传输路径,并以单副本方式进行.队列管理则根据事件的优先级决定递交的顺序和丢弃原则.此外,引入冗余副本控制机制,优化副本管理,降低网络负载.模拟实验结果表明,与现有的几种DTMSN(delay tolerant mobile sensor networks)数据传输算法相比,GMED能以较低的数据传输能耗和传输延迟获得较高的数据传输成功率,且网络寿命相对较长.

关键词：延迟容忍传感器网络群组运动机会概率传输路径

来源：评论

学校读者我要写书评

暂无评论

增强组合特征判别性的典型相关分析

引用

模式识别与人工智能 2012年第2期25卷 285-291页

作者：周旭东陈晓红陈松灿南京航空航天大学计算机科学与技术学院南京210016 扬州大学信息工程学院扬州225009 南京航空航天大学理学院南京210016 南京大学计算机软件新技术国家重点实验室南京210093

典型相关分析(CCA)在执行分类任务时主要存在如下不足:1)尽管分类时的输入是组合特征,但CCA仅优化组合特征的各组成部分,并未直接优化组合特征本身;2)尽管面对的是分类任务,然而CCA根本无法利用样本的类信息.为弥补CCA的上述不足,文中... 详细信息

典型相关分析(CCA)在执行分类任务时主要存在如下不足:1)尽管分类时的输入是组合特征,但CCA仅优化组合特征的各组成部分,并未直接优化组合特征本身;2)尽管面对的是分类任务,然而CCA根本无法利用样本的类信息.为弥补CCA的上述不足,文中提出一种监督型降维方法——增强组合特征判别性的典型相关分析(CECCA).CECCA在CCA基础上,通过结合组合特征的判别分析,实现对组合特征相关性与判别性的联合优化,使所抽取特征更适合分类.在人工数据集、多特征手写体数据集和人脸数据集上的实验结果验证该方法的有效性.

关键词：典型相关分析(CCA) 分类降维组合特征信息融合

来源：评论

学校读者我要写书评

暂无评论

基于OWL-S文档的Web服务测试用例生成

引用

计算机科学 2012年第10期39卷 131-135页

作者：李颖许蕾南京大学计算机科学与技术系南京210046 南京大学计算软件新技术国家重点实验室南京210046

若从使用者的角度测试Web服务,只能从服务的接口文档中提取信息进行测试工作。现有工作提出通过分析文档中的输入或输出参数获取测试数据的方法。利用OWL-S文档中的输入输出参数信息生成初始的测试数据,同时充分利用文档中的服务过程信... 详细信息

若从使用者的角度测试Web服务,只能从服务的接口文档中提取信息进行测试工作。现有工作提出通过分析文档中的输入或输出参数获取测试数据的方法。利用OWL-S文档中的输入输出参数信息生成初始的测试数据,同时充分利用文档中的服务过程信息,提取出服务的控制流程图,据此约简测试数据,生成最终的测试用例,从而提高测试用例的生成效率,降低测试成本。

关键词： OWL-S Service model 测试用例生成

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：