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

小型微型计算机系统 2014年第2期35卷 319-323页

作者：熊能曾凡平邓超强武飞董齐兴中国科学技术大学计算机科学与技术学院合肥230026 中国科学院软件研究所计算机科学国家重点实验室北京100190 安徽省计算与通讯软件重点实验室合肥230026

适应性随机测试是对随机测试低覆盖率和盲目性的一种改进.它的思想是通过尽量地使测试用例均匀地分布在整个测试域范围内,从而提高测试效率.研究显示,相比于常规的随机测试,适应性随机测试能够使用更少的测试用例来发现被测程序的第一... 详细信息

适应性随机测试是对随机测试低覆盖率和盲目性的一种改进.它的思想是通过尽量地使测试用例均匀地分布在整个测试域范围内,从而提高测试效率.研究显示,相比于常规的随机测试,适应性随机测试能够使用更少的测试用例来发现被测程序的第一个错误.但是,现有的适应性随机测试的实现方案的时间效率不高,在生成测试用例的过程中大量的计算将消耗大量的时间.针对已有适应性随机测试耗时的缺点,提出一种快速的适应性随机测试的实现方法.该方法主要是通过改变输入域空间内不同区域的测试用例生成的概率来实现测试用例的均匀分布.为最大限度地减少时间消耗,该方法每次只计算局部输入域空间内测试用例的生成概率.该方法理论上生成n个测试用例的时间消耗为O(n log n).实验显示,本文提出的方法只需很低的时间消耗就能生成大量的测试用例.

关键词：随机测试概率适应性随机测试二叉排序树

来源：评论

学校读者我要写书评

暂无评论

改进动态符号执行中的非线性约束求解过程

引用

小型微型计算机系统 2014年第11期35卷 2396-2401页

作者：董齐兴曾凡平严俊张辉彭凌中国科学技术大学计算机科学与技术学院合肥230026 中国科学院软件研究所计算机科学国家重点实验室北京100190 安徽省计算与通讯软件重点实验室合肥230026 中国科学院软件研究所软件工程技术研究开发中心北京100190

动态符号执行用程序变量的具体值替换动态数据结构及复杂表达式中的符号变量以便简化路径条件.这种简化路径条件的方法虽然简单,但不精确,会导致路径条件无法约束求解或者求解结果不正确.为此,提出一种改进动态符号执行中非线性算术约... 详细信息

动态符号执行用程序变量的具体值替换动态数据结构及复杂表达式中的符号变量以便简化路径条件.这种简化路径条件的方法虽然简单,但不精确,会导致路径条件无法约束求解或者求解结果不正确.为此,提出一种改进动态符号执行中非线性算术约束求解过程的方法.该方法利用连续求解的路径条件约束具有相似性这一特征,在进行非线性算术约束求解时充分利用上次约束求解的输出信息.它用具体值依次试探替换符号变量;若所有符号变量都被试探替换而仍未求解成功,则枚举涉及非线性算术约束的变量的取值情况,将非线性算术约束转化为线性算术约束并进行求解.实验结果表明,与传统的动态符号执行工具相比,本文方法对非线性算术约束具有更快的求解速度.

关键词：软件测试动态符号执行非线性算术约束约束相似性

来源：评论

学校读者我要写书评

暂无评论

一种内核级多进程负载均衡会话保持方法

引用

计算机工程 2014年第3期40卷 76-81页

作者：张颖楠顾乃杰彭建章王国澎魏振伟中国科学技术大学计算机科学与技术学院合肥230027 中国科学技术大学安徽省计算与通讯软件重点实验室合肥230027 中国科学技术大学中国科学技术大学中科院沈阳计算所网络与通信联合实验室合肥230027 国家高性能集成电路设计中心上海201204

针对多进程负载均衡无法保持会话的问题,提出一个基于epoll机制的内核级高效解决方法。对于每个新建立的连接,在cpoll的通知机制中使用源地址哈希算法,由epoll通知哈希选出的进程接收此连接,期望通过为同一个IP地址的请求选择同一个负... 详细信息

针对多进程负载均衡无法保持会话的问题,提出一个基于epoll机制的内核级高效解决方法。对于每个新建立的连接,在cpoll的通知机制中使用源地址哈希算法,由epoll通知哈希选出的进程接收此连接,期望通过为同一个IP地址的请求选择同一个负载均衡服务进程,保证该进程依据自身记录的会话信息将同一个客户的请求转发给同一个后端服务器。此外,通过分析多队列网卡的特性,给出维持收包发包中断、软中断、协议栈处理、用户态处理都在同一个核上的优化方法,以提高cache性能。实验结果表明,该方法能解决基于epoll的多进程负载均衡服务器的会话保持问题,并且在多核处理器多队列网卡环境下通过优化使cps提高12%,数据吞吐量提高4.6%。

关键词：多队列网卡多核 epoll机制源地址哈希会话保持

来源：评论

学校读者我要写书评

暂无评论

基于指令集随机化的XSS检测和防御系统

引用

电子技术（上海） 2014年第4期41卷 8-11页

作者：黄俊程绍银蒋凡中国科学技术大学信息安全测评中心中国科学技术大学计算机科学与技术学院安徽省计算与通讯软件重点实验室

针对Web遭受跨站脚本攻击越来越严重的问题,设计了一个基于指令集随机化的服务器端XSS检测和防御模型,并在PhpBB网络论坛系统中进行了实现,通过对实验结果的分析可知,本系统可以很好地检测和防御反射型XSS攻击和存储型XSS攻击,同时能检... 详细信息

针对Web遭受跨站脚本攻击越来越严重的问题,设计了一个基于指令集随机化的服务器端XSS检测和防御模型,并在PhpBB网络论坛系统中进行了实现,通过对实验结果的分析可知,本系统可以很好地检测和防御反射型XSS攻击和存储型XSS攻击,同时能检测和防御因网络或操作系统层漏洞导致的网页篡改和网页挂马等恶意攻击行为。

关键词：跨站脚本指令集随机化代理网页挂马

来源：评论

学校读者我要写书评

暂无评论

基于云定性仿真的兰彻斯特作战模型

引用

计算机系统应用 2014年第1期23卷 103-108页

作者：邵晨曦孙克律邵振中中国科学技术大学计算机科学与技术学院合肥230027 安徽省计算与通讯软件重点实验室合肥230027 安徽江淮汽车股份有限公司合肥230022

过去多年来兰彻斯特方程已成为计算机作战仿真领域的标准方法,然而该类方法不能充分反映建模中相关变量内在的不确定性.鉴于此,提出了一种基于云定性仿真方法的定性兰彻斯特作战模型,该方法引入正态云的数字特征和云测度指标表示定性路... 详细信息

过去多年来兰彻斯特方程已成为计算机作战仿真领域的标准方法,然而该类方法不能充分反映建模中相关变量内在的不确定性.鉴于此,提出了一种基于云定性仿真方法的定性兰彻斯特作战模型,该方法引入正态云的数字特征和云测度指标表示定性路标值,并将云测度指标在约束集合中传播以提高仿真结果的准确性,不仅可以更准确地表征作战模型中相关变量的不确定性,而且扩充了作战应用的适用范围,尤其是在无法或无需对模型相关变量精确量化的情况下,仿真中涉及到如何表征这些不确定性的定性变量时,该方法具有一定优势.最后以经典历史战役为例验证了该方法的正确性与可行性.

关键词：兰彻斯特方程作战模型定性仿真云模型云测度

来源：评论

学校读者我要写书评

暂无评论

针对CMT架构的linux内核负载均衡算法优化(英文)

引用

中国科学技术大学学报 2013年第7期43卷 584-590页

作者：彭建章顾乃杰张旭张颖楠魏振伟中国科学技术大学计算机科学与技术学院安徽合肥230027 安徽省计算与通讯软件重点实验室安徽合肥230027

Linux 2.6的负载均衡算法调度域支持CMP,CMT,SMP,NUMA架构.针对CMT,算法尝试分配新进程到最空闲的处理器核中的最空闲的CPU上;如果某个处理器核中的第一个CPU比较空闲,它会周期性地从该核的最繁忙的CPU上的迁移适量的任务到这个CPU上以... 详细信息

Linux 2.6的负载均衡算法调度域支持CMP,CMT,SMP,NUMA架构.针对CMT,算法尝试分配新进程到最空闲的处理器核中的最空闲的CPU上;如果某个处理器核中的第一个CPU比较空闲,它会周期性地从该核的最繁忙的CPU上的迁移适量的任务到这个CPU上以平衡系统的任务.然而在某些情况下,该策略会导致系统更加不平衡.有两种方法可以弥补该算法的缺陷:一是新进程放到整个系统的最空闲的CPU上;二是最空闲的CPU可以迁移调度域中的任务.在8处理器核32线程XLR532处理器系统上,使用HackBench测试,系统最高达到8%的性能提升.

关键词： linux 负载均衡调度域多核多线程 CMT

来源：评论

学校读者我要写书评

暂无评论

快速时代回收:一种针对无锁编程的快速垃圾回收算法

引用

小型微型计算机系统 2013年第12期34卷 2691-2695页

作者：彭建章顾乃杰张旭张颖楠魏振伟中国科学技术大学计算机科学与技术学院合肥230027 安徽省计算与通讯软件重点实验室合肥230027

在多核、众核时代,并行编程模型如软件事务内存、无锁编程等成为研究热点.无锁编程技术使得多个线程无需加锁即可并发访问同一个数据结构成为可能,该技术已被证明能够有效地提升程序的性能.实现无锁算法的一个关键的技术是垃圾回收.时... 详细信息

在多核、众核时代,并行编程模型如软件事务内存、无锁编程等成为研究热点.无锁编程技术使得多个线程无需加锁即可并发访问同一个数据结构成为可能,该技术已被证明能够有效地提升程序的性能.实现无锁算法的一个关键的技术是垃圾回收.时代回收算法是一种高效、易用的垃圾回收算法,但其回收速度受制于最慢的线程,在极端情况下该算法完全停滞,难以在实际情况下使用.本文针对时代回收算法的不足,在其基础上提出了快速时代回收算法,新算法的回收速度与最快线程保持一致,在测试中回收成功率为100%,实验证明快速时代回收算法一种适用于无锁编程的快速实用的垃圾回收算法.

关键词：无锁编程垃圾回收 CAS 时代回收算法快速时代回收算法

来源：评论

学校读者我要写书评

暂无评论

基于前缀的片上网络容错源路由算法

引用

计算机应用与软件 2013年第2期30卷 18-21,25页

作者：许耿纯任开新顾乃杰中国科学技术大学计算机科学与技术学院安徽合肥230027 安徽省计算与通讯软件重点实验室安徽合肥230027 中国科学技术大学中科院沈阳计算所网络与通信联合实验室安徽合肥230027

为克服片上网络链路永久性错误带来的路由问题,提出一种基于前缀的片上网络容错源路由算法PFTSR。该算法适用于二维mesh片上网络,采用预测路径并根据反馈信息调整路径的方法进行路由探测。在仿真平台NIRGAM上进行仿真,实验结果表明,与... 详细信息

为克服片上网络链路永久性错误带来的路由问题,提出一种基于前缀的片上网络容错源路由算法PFTSR。该算法适用于二维mesh片上网络,采用预测路径并根据反馈信息调整路径的方法进行路由探测。在仿真平台NIRGAM上进行仿真,实验结果表明,与传统片上网络容错源路由算法SRN相比,PFTSR极大降低了片上系统的功耗,并且在大多数情况下能减少探测到第一条路径的时间。

关键词：片上网络路由算法容错源路由

来源：评论

学校读者我要写书评

暂无评论

基于龙芯3B的循环规约算法向量化研究

引用

计算机工程 2013年第2期39卷 293-298页

作者：吴淅黄章进顾乃杰中国科学技术大学计算机科学与技术学院合肥230027 安徽省计算与通讯软件重点实验室合肥230027 中国科学技术大学与中国科学院沈阳计算技术研究所网络与通信联合实验室合肥230027

研究国产CPU龙芯3B的体系结构,分析三对角线性方程组求解中的循环规约算法,并结合算法特性,提出循环规约算法的优化方案。采用向量化级数,利用龙芯3B处理器提供的向量扩展指令对该算法在龙芯3B上进行实现和优化。实验结果表明,与非向量... 详细信息

研究国产CPU龙芯3B的体系结构,分析三对角线性方程组求解中的循环规约算法,并结合算法特性,提出循环规约算法的优化方案。采用向量化级数,利用龙芯3B处理器提供的向量扩展指令对该算法在龙芯3B上进行实现和优化。实验结果表明,与非向量化算法相比,向量化算法的性能提升较大。

关键词：龙芯3B 三对角线性方程循环规约算法向量化泊松方程离散化

来源：评论

学校读者我要写书评

暂无评论

基于插桩和布尔逻辑的运行时程序验证框架

引用

计算机工程 2013年第1期39卷 29-34,40页

作者：李业华顾乃杰张颖楠彭飞中国科学技术大学计算机科学与技术学院合肥230027 安徽省计算与通讯软件重点实验室合肥230027 中国科学技术大学中国科学院沈阳计算技术研究所网络与通信联合实验室合肥230027

针对软件测试和静态程序验证中存在的连续性程序执行验证和推理问题,提出一个基于程序插桩和布尔逻辑的运行时程序验证框架——RPA。定义一种用于描述运行时程序性质和规范的动态逻辑语言RPAL,实现自动化插桩以收集运行时程序状态信息,... 详细信息

针对软件测试和静态程序验证中存在的连续性程序执行验证和推理问题,提出一个基于程序插桩和布尔逻辑的运行时程序验证框架——RPA。定义一种用于描述运行时程序性质和规范的动态逻辑语言RPAL,实现自动化插桩以收集运行时程序状态信息,设计一个支持高效验证的句子调度算法。实验结果表明,结合合适的谓词扩展,RPA可以有效地验证和分析软件逻辑,发现潜在的软件错误。

关键词： RPA框架 RPAL语言运行时程序验证程序插桩布尔逻辑事实推理

来源：评论

学校读者我要写书评

暂无评论

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

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：