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

软件学报 2020年第12期31卷 3671-3684页

作者：成浩亮汤恩义玉淳舟张初成陈鑫王林章卜磊李宣东计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学软件学院江苏南京210093 南京大学计算机科学与技术系江苏南京210023

软件测试在提高移动应用的安全性和可靠性方面扮演着重要角色.然而,目前主流的移动应用界面测试技术存在着许多不足:人工编写脚本和录制回放技术需要消耗大量的人力成本,自动化测试在移动应用界面测试的应用场景上受到了诸多限制.针对... 详细信息

软件测试在提高移动应用的安全性和可靠性方面扮演着重要角色.然而,目前主流的移动应用界面测试技术存在着许多不足:人工编写脚本和录制回放技术需要消耗大量的人力成本,自动化测试在移动应用界面测试的应用场景上受到了诸多限制.针对这些问题,提出一种基于手绘制导的移动应用界面测试方法.该方法通过设计一种简单直观且具有较强表达能力的手绘语言来帮助测试者轻松表达其测试意图,测试者仅需在待测应用的界面图像上做简单绘制,就能生成对应的测试模型,并以此为基础生成界面测试所需的测试用例.以近年来在相关文献中已经用作移动应用界面测试的评估用例集为基准来评估该方法的测试效果.评估结果表明:在提供很少人力成本的条件下,手绘图形所表达的用户测试意图在制导移动应用界面测试上能起到非常关键的作用.

关键词：手绘制导测试生成模型驱动的自动化测试移动应用图形界面测试

来源：评论

学校读者我要写书评

暂无评论

边缘计算中协作计算卸载与动态任务调度

引用

软件学报 2023年第12期34卷 5737-5756页

作者：张斐斐葛季栋李忠金黄子峰张胜陈兴国骆斌计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 杭州电子科技大学计算机学院浙江杭州310018 清华大学计算机科学与技术系北京100084 南京大学计算机科学与技术系江苏南京210023 南京邮电大学计算机学院江苏南京210046

在边缘计算场景中,通过将部分待执行任务卸载到边缘服务器执行能够达到降低移动设备的负载、提升移动应用性能和减少设备开销的目的.对于时延敏感任务,只有在截止期限内完成才具有实际意义.但是边缘服务器的资源往往有限,当同时接收来... 详细信息

在边缘计算场景中,通过将部分待执行任务卸载到边缘服务器执行能够达到降低移动设备的负载、提升移动应用性能和减少设备开销的目的.对于时延敏感任务,只有在截止期限内完成才具有实际意义.但是边缘服务器的资源往往有限,当同时接收来自多个设备的数据传输及处理任务时,可能造成任务长时间的排队等待,导致部分任务因超时而执行失败,因此无法兼顾多个设备的性能目标.鉴于此,在计算卸载的基础上优化边缘服务器端的任务调度顺序.一方面,将时延感知的任务调度建模为一个长期优化问题,并使用基于组合多臂赌博机的在线学习方法动态调整服务器的调度顺序.另一方面,由于不同的任务执行顺序会改变任务卸载性能提升程度,因而影响任务卸载决策的有效性.为了增加卸载策略的鲁棒性,采用了带有扰动回报的深度Q学习方法决定任务执行位置.仿真算例证明了该策略可在平衡多个用户目标的同时减少系统的整体开销.

关键词：任务卸载任务调度截止期限边缘计算强化学习

来源：评论

学校读者我要写书评

暂无评论

基于四层BP神经网络的催化剂活性图像识别

引用

武汉理工大学学报 2010年第16期32卷 68-71页

作者：李含光赵晓瑜高宝建吴昊南京信息工程大学计算机与软件学院南京210044

在工业生产中,催化剂具有十分重要的作用,长期以来对其活性很难做准确的判别。针对这一难题,提出了利用图像处理和BP神经网络相结合的方法来判别催化剂活性,同时在神经网络的隐含层选取双隐层,构成了4层神经网络。详细描述了4层BP神经... 详细信息

在工业生产中,催化剂具有十分重要的作用,长期以来对其活性很难做准确的判别。针对这一难题,提出了利用图像处理和BP神经网络相结合的方法来判别催化剂活性,同时在神经网络的隐含层选取双隐层,构成了4层神经网络。详细描述了4层BP神经网络的算法、系统框架和主要技术。

关键词： 4层BP神经网络图像识别纹理特征共生矩阵催化剂活性

来源：评论

学校读者我要写书评

暂无评论

一种混合聚类算法在网格资源聚类中的应用

引用

武汉理工大学学报 2010年第16期32卷 127-130页

作者：薛胜军华丹南京信息工程大学计算机与软件学院南京210044

采用蚁群聚类算法确定聚类中心点,以此作为FCM聚类的初始聚类中心点;然后通过FCM聚类实现具有全局特性的网格资源聚类。针对蚁群算法参数的敏感性,采用遗传算法进行了优化,找到最优蚁群算法参数组合。实验证明这种方法能够较精确的对网... 详细信息

采用蚁群聚类算法确定聚类中心点,以此作为FCM聚类的初始聚类中心点;然后通过FCM聚类实现具有全局特性的网格资源聚类。针对蚁群算法参数的敏感性,采用遗传算法进行了优化,找到最优蚁群算法参数组合。实验证明这种方法能够较精确的对网格资源聚类。

关键词：网格资源 GA 蚁群聚类 FCM

来源：评论

学校读者我要写书评

暂无评论

基于SVM的灾害天气预测方法的研究

引用

武汉理工大学学报 2010年第24期32卷 121-124页

作者：王定成汪春秀朱天一秦军南京信息工程大学计算机与软件学院南京210044

采用针对小样本的基于统计学习理论的支持向量机进行灾害天气预测预报的研究。将灾害天气作为模式识别分类中的一类,构造气象预测的样本,建立灾害天气分类的模型,然后将其应用于夏天异常高温和凉夏预测,取得了较好的效果,可以进一步用... 详细信息

采用针对小样本的基于统计学习理论的支持向量机进行灾害天气预测预报的研究。将灾害天气作为模式识别分类中的一类,构造气象预测的样本,建立灾害天气分类的模型,然后将其应用于夏天异常高温和凉夏预测,取得了较好的效果,可以进一步用于灾害天气预测的实践。

关键词：支持向量机灾害天气预测

来源：评论

学校读者我要写书评

暂无评论

混合式协作共享对象模型及其实现技术

引用

计算机辅助设计与图形学学报 2003年第8期15卷 1030-1035页

作者：詹永照宋顺林江苏大学计算机科学与通信工程学院镇江212013 南京大学计算机软件新技术国家重点实验室南京210093

为满足协作应用系统对用户操作的响应性和协作应用参与者的动态性要求 ,提出混合式的协作共享对象模型 ,集中的对象注册器协助动态管理共享对象组状态信息 ,复制式的共享对象副本将按快速串行化的事务处理方式执行着重介绍了共享对象... 详细信息

为满足协作应用系统对用户操作的响应性和协作应用参与者的动态性要求 ,提出混合式的协作共享对象模型 ,集中的对象注册器协助动态管理共享对象组状态信息 ,复制式的共享对象副本将按快速串行化的事务处理方式执行着重介绍了共享对象新的乐观并发控制和一致性维护技术 ,特别是将操作位置转换方法结合到复合对象的两阶段提交算法中 ,提高了用户操作的响应性 ;对象组采用动态管理。

关键词：混合式协作共享对象模型并发控制算法对象组管理事务处理 CAD

来源：评论

学校读者我要写书评

暂无评论

一种指纹奇异点检测方法

引用

武汉理工大学学报 2010年第16期32卷 39-43页

作者：马利李斌斌焦峰南京信息工程大学计算机与软件学院南京210044

针对指纹图像边缘奇异点检测的不足提出了解决方法,并在此基础上提出了新的奇异点检测的改进方法。首先,基于加权平均插值法对指纹图像边缘进行修复;然后,依据不同阶的Gaussian-Hermite矩分布特性确定奇异点区域;最后,运用改进的Poincar... 详细信息

针对指纹图像边缘奇异点检测的不足提出了解决方法,并在此基础上提出了新的奇异点检测的改进方法。首先,基于加权平均插值法对指纹图像边缘进行修复;然后,依据不同阶的Gaussian-Hermite矩分布特性确定奇异点区域;最后,运用改进的Poincare index方法对奇异点进行精确定位。实验结果表明,该算法能够准确的确定奇异点的位置。

关键词：奇异点边缘修复 Gaussian-Hermite矩 Poincare index

来源：评论

学校读者我要写书评

暂无评论

InsightDroid-动态追踪Android应用方法

引用

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

作者：邱凌志张梓雄孙国梓南京邮电大学计算机学院、软件学院南京210003

随着Android平台的快速发展,第三方应用出现大量安全漏洞.一般而言,作为应用分析的第一步,研究人员需要运行Android应用观察其运行时特征.然而,现有的动态分析方法如Taint Droid,必须运行于定制的沙盒环境中,鲁棒性和兼容性存在局限.本... 详细信息

随着Android平台的快速发展,第三方应用出现大量安全漏洞.一般而言,作为应用分析的第一步,研究人员需要运行Android应用观察其运行时特征.然而,现有的动态分析方法如Taint Droid,必须运行于定制的沙盒环境中,鲁棒性和兼容性存在局限.本文提出一种动态分析系统——Insight Droid,该系统使用动态插桩技术追踪目标应用的成员方法,以帮助研究人员洞悉应用运行时特征对应的本质代码.作者已在多个设备的不同Android版本中成功加载了Insight Droid,证明该系统相较TaintDroid而言,拥有更好的兼容性.此外,选取了10个闭源应用和50个开源应用对Insight Droid进行评估,结果表明Insight Droid可以成功追踪目标应用的方法并有效反馈敏感API的调用,追踪成功率分别为100%和83%.

关键词：安卓应用动态分析动态插桩方法追踪权限映射

来源：评论

学校读者我要写书评

暂无评论

数值稳定性相关漏洞隐患的自动化检测方法

引用

软件学报 2018年第5期29卷 1230-1243页

作者：沈维军汤恩义陈振宇陈鑫李彬翟娟计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学软件学院江苏南京210093 南京大学计算机科学与技术系江苏南京210023

安全漏洞检测,是保障软件安全性的重要手段.随着互联网的发展,黑客的攻击手段日趋多样化,且攻击技术不断翻新,使软件安全受到了新的威胁.描述了当前软件中实际存在的一种新类型的安全漏洞隐患,称为数值稳定性相关的安全漏洞隐患.由于黑... 详细信息

安全漏洞检测,是保障软件安全性的重要手段.随着互联网的发展,黑客的攻击手段日趋多样化,且攻击技术不断翻新,使软件安全受到了新的威胁.描述了当前软件中实际存在的一种新类型的安全漏洞隐患,称为数值稳定性相关的安全漏洞隐患.由于黑客可以利用该类漏洞绕过现有的防护措施,且已有的数值稳定性分析方法很难检测到该类漏洞的存在,因而这一新类型的漏洞隐患十分危险.面对这一挑战,首先从数值稳定性引起软件行为改变的角度定义了数值稳定性相关的安全漏洞隐患,并给出了对应的自动化检测方法.该方法基于动静态相结合的程序分析与符号执行技术,通过数值变量符号式提取、静态攻击流程分析以及高精度动态攻击验证这3个步骤来检测和分析软件中可能存在的数值稳定性相关安全漏洞.在业界多个著名开源软件上进行了实例研究,实验结果表明:该方法能够有效检测到实际软件中真实存在的数值稳定性相关漏洞隐患.

关键词：漏洞检测数值稳定性程序分析软件安全

来源：评论

学校读者我要写书评

暂无评论

面向条件判定覆盖的线性拟合制导测试生成

引用

软件学报 2016年第3期27卷 593-610页

作者：汤恩义周岩欧建生陈鑫计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学软件学院江苏南京210093 南京大学计算机科学与技术系江苏南京210023

条件判定覆盖(condition/decision coverage,简称C/DC)准则是各种安全攸关软件测试中常用的测试覆盖准则,它要求软件测试覆盖程序中每个判定以及条件的真/假取值.现有的自动测试生成方法在针对该准则的测试用例生成过程中存在很多不足.... 详细信息

条件判定覆盖(condition/decision coverage,简称C/DC)准则是各种安全攸关软件测试中常用的测试覆盖准则,它要求软件测试覆盖程序中每个判定以及条件的真/假取值.现有的自动测试生成方法在针对该准则的测试用例生成过程中存在很多不足.例如:符号执行方法很难处理较为复杂的非线性条件约束,并在处理程序的规模上受到很大限制;希尔攀登法由于在搜索过程中易陷入局部最优,而难以达到满足C/DC准则的高覆盖率;模拟退火法和遗传算法依赖于用户使用过程中的复杂配置,测试用例生成效果具有一定的随机性.针对这一现状,提出了一种线性拟合制导测试用例生成方法.依据C/DC准则,该方法将程序中的每一个条件判定规范化为一个与零值比较的数值函数,并以插桩与执行获得该函数当前输入下的采样.通过拟合这些采样,能够逐步判断出程序中各个条件判定与输入的关系,并利用这些关系生成高覆盖率的测试用例.相对于传统方法,该方法具有参数配置简易、生成过程高效等优点,并且能够处理带非线性条件约束、逻辑复杂的程序.在3个开源软件库中的25个真实程序上运行的实验结果表明,所提出的方法比目前以覆盖率见长的遗传算法(genetic algorithm,简称GA)制导方法具备更好的覆盖能力与更高的执行效率.

关键词：测试用例自动生成条件判定覆盖线性拟合关联路径

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：