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

计算机科学与探索 2014年第8期8卷 1002-1008页

作者：彭岳王俊谢斌福张月峰王崇骏南京大学计算机科学与技术系南京210023 南京大学软件新技术国家重点实验室南京210023

针对蚁群优化算法在进行全局最优解搜索时容易陷入局部最优解和收敛速度缓慢等缺陷,提出了一种有效求解全局最优解搜索问题的重叠蚁群优化算法。该算法通过设置多个重叠的蚁群系统,并对每一个蚁群初始化不同的参数,之后在蚁群之间进行... 详细信息

针对蚁群优化算法在进行全局最优解搜索时容易陷入局部最优解和收敛速度缓慢等缺陷,提出了一种有效求解全局最优解搜索问题的重叠蚁群优化算法。该算法通过设置多个重叠的蚁群系统,并对每一个蚁群初始化不同的参数,之后在蚁群之间进行信息素的动态学习,增强了不同蚁群对最优解的开采能力,避免了算法出现早熟现象。仿真实验结果表明,重叠蚁群优化算法在避免陷入局部最优解方面具有良好的效果,是一种提高蚁群算法性能的有效的改进算法。

关键词：蚁群优化(ACO) 局部最优解重叠蚁群优化动态学习

来源：评论

学校读者我要写书评

暂无评论

一种基于扩展有限状态机的自动化测试用例生成方法

引用

中国科学：信息科学 2014年第5期44卷 588-609页

作者：杨瑞陈振宇张智轶刘子聪徐宝文南京大学计算机软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046

扩展有限状态机(EFSM)是使用最广泛的测试模型之一.由于不可行路径的存在,运用EFSM模型生成测试用例仍然是个难题.本文提出了一种基于EFSM模型的自动化测试用例生成方法 (ATGEM).为解决不可行路径问题,首先提出一种基于数据流分析的路... 详细信息

扩展有限状态机(EFSM)是使用最广泛的测试模型之一.由于不可行路径的存在,运用EFSM模型生成测试用例仍然是个难题.本文提出了一种基于EFSM模型的自动化测试用例生成方法 (ATGEM).为解决不可行路径问题,首先提出一种基于数据流分析的路径可行性度量方法来预测路径的可行性,以尽可能避开不可行路径,提高测试用例自动化生成的效率.然后通过建立动态可执行模型来获取运行时反馈信息作为搜索算法的适应度函数(fitness function),实现测试数据和预言信息的自动生成.该方法结合静态分析和动态分析技术生成一个较优可行路径子集和对应测试用例来达到指定的覆盖准则,能够应用于多种数据类型的测试用例生成,适用范围较广.通过实验在多个EFSM模型上验证了ATGEM方法中测试用例生成和路径可行性度量方法的有效性,实验结果表明,利用路径可行性度量方法可以大幅度提高测试用例生成效率,与现有方法相比,ATGEM中的测试用例生成方法具有更高的效率.

关键词：测试用例生成扩展有限状态机可执行模型路径可行性测试预言

来源：评论

学校读者我要写书评

暂无评论

面向移动机器人应用的跨平台自适应软件框架

引用

计算机科学与探索 2014年第5期8卷 550-561页

作者：孙辉洪学志许畅马晓星南京大学软件新技术国家重点实验室，南京 210023 南京大学计算机科学与技术系，南京 210023

自适应软件在移动机器人上具有广泛的应用前景，然而要在具有不同软硬件平台的移动机器人上开发自适应软件是一件非常困难的事情。为了解决这个问题，提出并实现了一个面向移动机器人应用的跨平台自适应软件框架。该框架屏蔽了运行平台... 详细信息

自适应软件在移动机器人上具有广泛的应用前景，然而要在具有不同软硬件平台的移动机器人上开发自适应软件是一件非常困难的事情。为了解决这个问题，提出并实现了一个面向移动机器人应用的跨平台自适应软件框架。该框架屏蔽了运行平台的软硬件差异性，并使用规则文件将自适应逻辑分离出来，从而降低了自适应软件开发的难度。为了便于编写及检查规则文件，还实现了一个可视化的规则文件编辑器，用于自动生成模型图，并检查规则中存在的语法及逻辑错误。最后，通过实验测试了框架的使用情况，并对框架的应用效果进行了评估。

关键词：跨平台自适应软件规则模型

来源：评论

学校读者我要写书评

暂无评论

设计模式指导的软件分簇方法

引用

中国科学：信息科学 2014年第1期44卷 37-53页

作者：王林章何剑涛韩志雄卜磊赵建华李宣东南京大学计算机软件新技术国家重点实验室南京210023 南京大学计算机科学与技术系南京210023

程序理解是一个从计算机程序中获取知识信息的过程,其主要目的是获取软件的各种有关知识以理解开发者的意图,从而支持针对现有或遗产软件系统进行软件评审、错误定位、反向工程、再工程、迁移、维护和复用等软件工程实践.本文提出一种... 详细信息

程序理解是一个从计算机程序中获取知识信息的过程,其主要目的是获取软件的各种有关知识以理解开发者的意图,从而支持针对现有或遗产软件系统进行软件评审、错误定位、反向工程、再工程、迁移、维护和复用等软件工程实践.本文提出一种设计模式指导的分簇方法,该方法采用程序中蕴涵的设计模式信息指导开源软件的分簇,运用"分而治之"的策略辅助程序开发者和维护人员快速、方便地理解代码.首先,采用设计模式检测技术从程序代码中抽取设计模式信息;然后,基于设计模式中角色间的相互关系,利用检测出的设计模式信息指导分簇;最后,对分簇结果可视化,以辅助程序理解.基于以上研究工作,开发了原型工具TasteJ并进行了实例研究,设计并实现了以人工为基准的实验来检验本文提出的软件分簇方法,并通过7个软件分簇度量函数,从统计的角度将其与现有主流软件分簇方法进行分析和比较,实验结果显示出本文所提方法的优势.

关键词：设计设计模式软件分簇算法程序理解再工程软件复用可视化

来源：评论

学校读者我要写书评

暂无评论

上下文一致性错误及其处理对应用的影响

引用

计算机科学与探索 2014年第4期8卷 427-437页

作者：奚旺许畅杨文华洪学志南京大学计算机软件新技术国家重点实验室，南京 210023 南京大学计算机科学与技术系，南京 210023

在普适计算环境中，上下文信息由于受到噪声等不可控因素的干扰，面临着一致性错误的问题。这些错误会影响应用的正常运行，使其表现异常甚至失效。目前已经有自动的一致性错误处理方法来保障应用所获取的上下文满足数据层面的一致性约... 详细信息

在普适计算环境中，上下文信息由于受到噪声等不可控因素的干扰，面临着一致性错误的问题。这些错误会影响应用的正常运行，使其表现异常甚至失效。目前已经有自动的一致性错误处理方法来保障应用所获取的上下文满足数据层面的一致性约束，然而在数据层面保持一致是否能提升应用的运行质量并不明确。系统地研究了这个问题，并基于一组真实的上下文感知机器人小车应用，设计了一系列受控实验，来分析和比较在模拟和真实世界中上下文一致性错误的处理方式对应用运行质量的改善程度及潜在的负面影响。利用该实验的分析结果，将有助于提高普适计算中上下文感知应用的运行质量。

关键词：普适计算上下文一致性错误受控实验

来源：评论

学校读者我要写书评

暂无评论

回归测试中测试用例集缩减问题的研究

引用

计算机科学 2014年第9期41卷 196-204页

作者：陈翔顾庆陈道蓄蒋峥峥南通大学计算机科学与技术学院南通226019 南京大学软件新技术国家重点实验室南京210093

测试用例集缩减(Test Suite Minimization,TSM)问题作为回归测试的研究热点和难点,在满足对指定测试需求的覆盖前提下,通过识别并移除冗余测试用例来降低回归测试成本。对国内外已有的TSM研究成果进行综述。首先分别从源代码和模型两个... 详细信息

测试用例集缩减(Test Suite Minimization,TSM)问题作为回归测试的研究热点和难点,在满足对指定测试需求的覆盖前提下,通过识别并移除冗余测试用例来降低回归测试成本。对国内外已有的TSM研究成果进行综述。首先分别从源代码和模型两个角度出发,总结已有的TSM方法:从源代码角度出发,重点分析与总结传统TSM方法和考虑缺陷检测能力的TSM方法;从模型角度出发,重点分析与总结基于扩展有限状态自动机的TSM方法。然后对实证研究中采用的评测程序、评测指标和实证结论进行总结。随后总结了TSM方法在特定测试领域的应用,包括GUI应用测试、Web应用测试和缺陷定位等。最后展望了未来的可能发展趋势。

关键词：回归测试测试用例集缩减线性规划贪心法元启发式搜索多目标优化实证研究

来源：评论

学校读者我要写书评

暂无评论

基于SPIN的LTL属性分解方法研究

引用

计算机应用与软件 2014年第7期31卷 43-46,65页

作者：贺志宏曾庆凯南京大学计算机软件新技术国家重点实验室江苏南京210046 南京大学计算机科学与技术系江苏南京210046

提出一种基于模型检测工具SPIN的LTL属性分解方法以解决状态空间爆炸问题。根据逻辑和时序操作符常见的组合情况,讨论不同的属性分解模式,根据子属性构建的切片准则进行程序切片,利用SPIN对切片后的等价简化模型进行检测,从而将对原模... 详细信息

提出一种基于模型检测工具SPIN的LTL属性分解方法以解决状态空间爆炸问题。根据逻辑和时序操作符常见的组合情况,讨论不同的属性分解模式,根据子属性构建的切片准则进行程序切片,利用SPIN对切片后的等价简化模型进行检测,从而将对原模型上属性的检测转化成对复杂度较低的子模型上各子属性的分别检测。实验结果表明,该方法具有一定的有效性。

关键词：线性时序逻辑属性模型检测属性分解静态程序切片

来源：评论

学校读者我要写书评

暂无评论

一种Android系统上对应用程序权限进行限制的方法

引用

计算机应用与软件 2014年第6期31卷 308-311,333页

作者：鲁亚峰宁强钱振江黄皓南京大学计算机科学与技术系江苏南京210023 软件新技术国家重点实验室江苏南京210023

Android系统上的安装系统存在着"全部同意或取消安装"的问题,即用户同意应用程序要求的所有权限或取消安装,这使用户不能够灵活地限制应用程序的权限。通过修改Android系统上的安装系统和包权限检查系统,可以实现对应用程序... 详细信息

Android系统上的安装系统存在着"全部同意或取消安装"的问题,即用户同意应用程序要求的所有权限或取消安装,这使用户不能够灵活地限制应用程序的权限。通过修改Android系统上的安装系统和包权限检查系统,可以实现对应用程序权限的动态限制。在此基础上,通过检查和记录应用程序的权限使用情况,还可以帮助用户发现滥用权限的应用程序。实验结果表明,这种方法可以有效地限制应用程序的权限,并在一定程度上避免应用程序对权限的滥用。

关键词： Android系统安装系统应用程序权限动态约束

来源：评论

学校读者我要写书评

暂无评论

Windows平台应用程序权限能力控制研究

引用

计算机应用与软件 2014年第10期31卷 10-12,19页

作者：刘阳黄皓南京大学软件新技术国家重点实验室江苏南京210046 南京大学计算机科学与技术系江苏南京210046

为限制应用程序的恶意行为,通过对Windows平台访问控制机制的研究以及对象管理器对资源管理方式的分析,提出在Windows7操作系统下应用程序权限能力控制方法。该方法使用权限控制和资源监控相结合的方式来实现,利用受限制的访问令牌和受... 详细信息

为限制应用程序的恶意行为,通过对Windows平台访问控制机制的研究以及对象管理器对资源管理方式的分析,提出在Windows7操作系统下应用程序权限能力控制方法。该方法使用权限控制和资源监控相结合的方式来实现,利用受限制的访问令牌和受限制的作业对象对应用程序进程权限进行限制,通过扩展对象管理器回调功能实现对应用程序访问资源的监控。最后通过实验验证了该方法的可行性和有效性,实现了对系统资源的细粒度监控。

关键词：应用程序权限控制能力控制对象管理器回调

来源：评论

学校读者我要写书评

暂无评论

无线网络视频感知机会网络编码协议及其仿真研究

引用

系统仿真学报 2014年第2期26卷 345-352页

作者：李懿雯白光伟沈航曹磊南京工业大学计算机科学与技术系南京210009 南京理工大学高维信息感知与系统教育部重点实验室南京210094 南京大学计算机软件新技术国家重点实验室南京210093

提出一种无线网络视频感知的机会网络编码协议(VONC)。该协议根据视频流数据包的重要程度以及无线网络的链路状况,用效用增益函数来评估每个数据包对视频质量的贡献程度,而后根据其效用增益值的大小,采用多优先级的调度机制接入信道,以... 详细信息

提出一种无线网络视频感知的机会网络编码协议(VONC)。该协议根据视频流数据包的重要程度以及无线网络的链路状况,用效用增益函数来评估每个数据包对视频质量的贡献程度,而后根据其效用增益值的大小,采用多优先级的调度机制接入信道,以提高网络视频传输质量。另一方面,针对视频流传输过程中的拥塞问题,提出拥塞感知的流控制机制(CFC),与上述网络编码体系协同工作,以提高高优先级数据包成功传输概率。有针对性地设计了一系列仿真实验。结果表明,VONC能够有效提高重要视频帧的可解码率,网络视频传输质量得到显著改善。

关键词：网络编码机会转发视频感知拥塞控制

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：