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

软件学报 2013年第8期24卷 1695-1712页

作者：陈翔陈继红鞠小林顾庆南通大学计算机科学与技术学院江苏南通226019 计算机软件新技术国家重点实验室(南京大学) 江苏南京210093

测试用例优先排序(test case prioritization,简称TCP)问题是回归测试研究中的一个热点.通过设定特定排序准则,对测试用例进行排序以优化其执行次序,旨在最大化排序目标,例如最大化测试用例集的早期缺陷检测速率.TCP问题尤其适用于因测... 详细信息

测试用例优先排序(test case prioritization,简称TCP)问题是回归测试研究中的一个热点.通过设定特定排序准则,对测试用例进行排序以优化其执行次序,旨在最大化排序目标,例如最大化测试用例集的早期缺陷检测速率.TCP问题尤其适用于因测试预算不足以致不能执行完所有测试用例的测试场景.首先对TCP问题进行描述,并依次从源代码、需求和模型这3个角度出发对已有的TCP技术进行分类;然后对一类特殊的TCP问题(即测试资源感知的TCP问题)的已有研究成果进行总结;随后依次总结实证研究中常用的评测指标、评测数据集和缺陷类型对实证研究结论的影响;接着依次介绍TCP技术在一些特定测试领域中的应用,包括组合测试、事件驱动型应用测试、Web服务测试和缺陷定位等;最后对下一步工作进行展望.

关键词：回归测试测试用例优先排序贪心法元启发式搜索实证研究

来源：评论

学校读者我要写书评

暂无评论

考虑类特性的面向对象错误定位

引用

计算机学报 2013年第12期36卷 2420-2428页

作者：涂径玄陈林许蕾卢红敏徐宝文南京大学软件新技术国家重点实验室南京210048 南京大学计算机科学与技术系南京210048

基于频谱的错误定位方法很少考虑语言特性对其错误定位效率的影响.文中针对基于频谱的面向对象程序错误定位,分析讨论了类特性对基于频谱的错误定位方法的有效影响,提出了结合类可疑度信息的错误定位算法,并通过3个Java开源软件作为实... 详细信息

基于频谱的错误定位方法很少考虑语言特性对其错误定位效率的影响.文中针对基于频谱的面向对象程序错误定位,分析讨论了类特性对基于频谱的错误定位方法的有效影响,提出了结合类可疑度信息的错误定位算法,并通过3个Java开源软件作为实验对象对其进行了验证.实验结果表明,文中提出的方法能够有效提高基于频谱的面向对象错误定位方法的效率.

关键词：错误定位面向对象类可疑度频谱程序分析

来源：评论

学校读者我要写书评

暂无评论

一种基于信息量的缺陷定位方法

引用

软件学报 2013年第7期24卷 1484-1494页

作者：丁晖陈林钱巨许蕾徐宝文计算机软件新技术国家重点实验室(南京大学) 江苏南京210093 南京大学计算机科学与技术系江苏南京210093 南京航空航天大学计算机科学与技术学院江苏南京210016

缺陷定位是软件调试过程中的重要环节,它通过利用程序信息和测试信息来定位软件中的错误.借助于事件信息量,提出一种基于事件信息量的缺陷定位方法——SIQ(suspiciousness based on information quantity).SIQ方法根据测试信息中不同事... 详细信息

缺陷定位是软件调试过程中的重要环节,它通过利用程序信息和测试信息来定位软件中的错误.借助于事件信息量,提出一种基于事件信息量的缺陷定位方法——SIQ(suspiciousness based on information quantity).SIQ方法根据测试信息中不同事件的类型及其发生的概率,结合语句的执行信息,动态计算和调整缺陷定位的结果.通过大量的实验分析和对比,SIQ方法在多个数据集上表现出了很好的稳定性,与几种现有的缺陷定位方法相比,SIQ方法的缺陷定位效果也更加准确.

关键词：程序调试缺陷定位信息量

来源：评论

学校读者我要写书评

暂无评论

TeraPELB:云计算中基于预测的弹性负载均衡算法

引用

系统仿真学报 2013年第8期25卷 1751-1760,1765页

作者：吴和生王崇骏谢俊元南京大学软件学院南京210093 计算机软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046

现代负载均衡已经成为云计算中虚拟资源管理和调度的核心。针对现有云计算弹性负载均衡存在的不足,提出了一种基于预测的弹性负载均衡资源管理算法(TeraPELB),不仅能更加灵活地动态调配资源,而且支持基于负载的趋势预测。理论分析和仿... 详细信息

现代负载均衡已经成为云计算中虚拟资源管理和调度的核心。针对现有云计算弹性负载均衡存在的不足,提出了一种基于预测的弹性负载均衡资源管理算法(TeraPELB),不仅能更加灵活地动态调配资源,而且支持基于负载的趋势预测。理论分析和仿真实验表明,随着网络负载的变动,TeraPELB算法能根据负载变化情况动态地调整后端服务器集群的处理能力,解决了从云中申请虚拟机具有延迟性而导致迟滞甚至无法满足用户请求的问题,相较于传统的弹性负载均衡算法效果更好。

关键词：负载均衡服务器集群云计算弹性负载均衡虚拟机

来源：评论

学校读者我要写书评

暂无评论

基于QoS和距离感知的自适应协作差错控制机制

引用

北京邮电大学学报 2013年第2期36卷 102-106页

作者：靳勇白光伟常晋义常熟理工学院计算机科学与工程学院江苏常熟215500 南京工业大学计算机科学与技术系南京210009 计算机软件新技术国家重点实验室(南京大学) 南京210093

提出一种基于跨层交互的自适应协作差错控制策略,包括距离感知的中继选择和支持区分服务的服务质量(QoS)保障机制.链路层采用混合自动重传请求(HARQ),物理层采用自动重传请求(ARQ),根据数据包传输特性建立马尔可夫链模型,感知性能进行... 详细信息

提出一种基于跨层交互的自适应协作差错控制策略,包括距离感知的中继选择和支持区分服务的服务质量(QoS)保障机制.链路层采用混合自动重传请求(HARQ),物理层采用自动重传请求(ARQ),根据数据包传输特性建立马尔可夫链模型,感知性能进行中继选择;根据应用业务的多样性QoS需求,确定最佳差错控制方案.仿真实验和数学分析结果表明,所提策略与传统ARQ和HARQ、协作ARQ和HARQ相比,在确保无线传感器网络传输高可靠性的同时缩短了时延并获得了较高吞吐率和能量效率.

关键词：无线传感器网络协作通信跨层设计距离感知自动请求重传服务质量保障

来源：评论

学校读者我要写书评

暂无评论

基于符号执行和LTL公式重写的测试用例产生方法

引用

计算机研究与发展 2013年第12期50卷 2661-2675页

作者：陈冬火刘全苏州大学计算机科学与技术学院江苏苏州215006 计算机软件新技术国家重点实验室(南京大学) 南京210093 符号计算与知识工程教育部重点实验室(吉林大学) 长春130012

基于模型检验等形式化方法的测试用例自动产生技术成为测试自动化领域一项重要的进展.对于输入和输出为无界抽象数据类型的无限状态系统,利用传统模型检验技术难以有效地产生测试用例集合,提出基于符号执行和公式重写的测试用例产生方法... 详细信息

基于模型检验等形式化方法的测试用例自动产生技术成为测试自动化领域一项重要的进展.对于输入和输出为无界抽象数据类型的无限状态系统,利用传统模型检验技术难以有效地产生测试用例集合,提出基于符号执行和公式重写的测试用例产生方法.通过建立程序的符号化执行模型,避免输入和输出变量数值化枚举而导致的无限状态系统的建模和状态爆炸问题;建立基于符号化执行模型的时序公式重写规则,并根据线性时序逻辑(linear temporal logic,LTL)公式的反例模式求取复杂属性及行为约束关系,利用约束求解的方法自动产生测试用例集合.这种方法集成了符号执行技术和时序公式状态重写——一种轻量级模型检验技术,成为基于复杂抽象数据类型系统与属性相关的测试用例自动产生的有效方法.

关键词：测试用例自动产生符号执行公式重写模型检验线性时序逻辑输入输出符号变迁系统

来源：评论

学校读者我要写书评

暂无评论

基于体系结构能耗建模的CPS软件可信性评估方法

引用

电子学报 2013年第11期41卷 2270-2275页

作者：张广泉张侃祝义周航苏州大学计算机科学与技术学院江苏苏州215006 南京大学计算机软件新技术国家重点实验室江苏南京210093 中国科学院软件研究所计算机科学国家重点实验室北京100190 江苏师范大学计算机科学与技术学院江苏徐州221116 南京航空航天大学民航学院江苏南京210016

信息物理融合系统(Cyber Physical Systems,CPS)是一种计算系统和物理环境紧密结合的网络化嵌入式系统,软件作为其重要的使能部件,如果在其设计阶段能够考虑能耗影响等问题,则能有效提高软件及系统的可信性.软件体系结构在设计阶段为构... 详细信息

信息物理融合系统(Cyber Physical Systems,CPS)是一种计算系统和物理环境紧密结合的网络化嵌入式系统,软件作为其重要的使能部件,如果在其设计阶段能够考虑能耗影响等问题,则能有效提高软件及系统的可信性.软件体系结构在设计阶段为构造软件的结构、行为和关键属性提供设计模型和指导,对CPS软件体系结构能耗进行建模,分析和评估能耗对CPS软件可信性的影响,可以在设计阶段发现其体系结构能耗设计缺陷,并重新设计软件体系结构,从而有效提高CPS软件可信性.基于此,首先基于能耗时间Petri网建立了CPS软件体系结构能耗模型,并分析了影响CPS软件可信性的能耗问题;针对这些问题,将分析得到的能耗数据作为建立可信性指标模型的基础,提出了基于能耗指标模型的CPS可信性评估方法;最后通过实例建模和分析,进一步说明该方法的有效性.

关键词：信息物理融合系统软件可信性评估可信性指标模型能耗建模

来源：评论

学校读者我要写书评

暂无评论

基于变换的大图点边可视化综述

引用

计算机辅助设计与图形学学报 2013年第3期25卷 304-311页

作者：时磊廖琦林闯中国科学院软件研究所计算机科学国家重点实验室北京100190 美国中密歇根大学计算机科学系美国密歇根省愉悦峰48859 清华大学计算机科学与技术系北京100084

大图可视化是信息可视化领域的前沿课题之一,也是在线社会网络、信息安全、电子商务等热点行业大数据分析的重要支撑技术.基于变换的大图点边可视化方法由于其具有在线处理时间短、可视复杂度低、交互方法灵活多样等优点,近年来在学术... 详细信息

大图可视化是信息可视化领域的前沿课题之一,也是在线社会网络、信息安全、电子商务等热点行业大数据分析的重要支撑技术.基于变换的大图点边可视化方法由于其具有在线处理时间短、可视复杂度低、交互方法灵活多样等优点,近年来在学术界与实际商用系统中得到广泛重视与应用.文中从图可视化的基本概念及其在大图上的关键挑战出发,梳理了基于变换的大图点边可视化方法的典型分类与主要流程;通过详述3类基于变换的大图点边可视化典型方法(图数据抽象、视图变换与视角转换),阐明了不同方案的优缺点与适用场景,并进一步指出了未来工作的可行方向与潜在难点.

关键词：大图可视化图数据抽象视图变换视角转换

来源：评论

学校读者我要写书评

暂无评论

多策略同义词获取方法研究

多策略同义词获取方法研究

引用

第三届CCF国际自然语言处理与中文计算会议

作者：宋文杰顾彦慧周俊生孙玉杰严杰曲维光南京师范大学计算机科学与技术学院南京210023 南京大学计算机软件新技术国家重点实验室南京210023 江苏省信息安全保密技术工程研究中心南京210023

一种多策略同义词获取方法,一方面利用《同义词词林》、《中文概念词典》等现有语义词典中蕴含的同义关系获取同义词,另一方面根据百度百科信息框(Bdbk)中特征词和汉典网(Zdic)中HTML标记获取同义词,同时采用DIPRE自动获取模式的方法,... 详细信息

一种多策略同义词获取方法,一方面利用《同义词词林》、《中文概念词典》等现有语义词典中蕴含的同义关系获取同义词,另一方面根据百度百科信息框(Bdbk)中特征词和汉典网(Zdic)中HTML标记获取同义词,同时采用DIPRE自动获取模式的方法,从百度百科文本中发现置信度较高的模式和同义关系.实验结果表明,所提方法在NLP&CC 2012同义词评测数据集中取得较好结果.利用该方法,以《现代汉语语法信息词典》名词部分为目标,构建一部同义词词典并进行人工校对,为《现代汉语语法信息词典》构建较为完善的语义关系体系做出尝试.

关键词：汉语词典同义词语义关系多策略获取法

来源：评论

学校读者我要写书评

暂无评论

结合浅景深与构图的图像质量评价

引用

中国图象图形学报 2013年第5期18卷 574-582页

作者：顾婷婷郭延文殷昆燕南京大学计算机软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046

近年来,图像质量评价方法在图像处理和理解领域受到越来越多的关注。传统的方法主要关注噪声、清晰度、分辨率等影响图像质量的底层因素。随着数码设备的不断发展,这些底层因素已经得到很好的解决,人们能够很容易地获得具有较高底层质量... 详细信息

近年来,图像质量评价方法在图像处理和理解领域受到越来越多的关注。传统的方法主要关注噪声、清晰度、分辨率等影响图像质量的底层因素。随着数码设备的不断发展,这些底层因素已经得到很好的解决,人们能够很容易地获得具有较高底层质量,即低噪声、高清晰度、高分辨率的图像。因此,图像质量评价的焦点逐渐转向从美学的角度进行评价。对于一幅图像,主要从两个角度来考虑其是否符合人类主观的美学需求:1)图像的主题是否突出;2)图像的布局是否合理。基于上述考虑,提出一种结合图像景深和构图的质量评价方法:一方面,提出一种基于模糊度量的浅景深判断方法,浅景深的图像能够突出主题、虚化背景,具有更强的视觉冲击力与美学表现力;另一方面,提出一种基于"三分法"的图像构图评价方法,符合"三分法"构图的图像布局更加紧凑有力、简洁明了、符合人类的欣赏习惯;最后,将浅景深判断与图像构图评价进行结合,从美学的角度自动地对图像进行客观、综合的评价。按本文方法,可以挑选出符合以上美学规则的图像。从实验结果可以看出,根据本文方法选出的高质量图像也符合人类主观的美学需求。

关键词：图像质量模糊度量浅景深判断三分法图像构图评价

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：