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

第十一届全国软件与应用学术会议(NASAC2012)

作者：陈小康许畅江磊南京大学软件新技术国家重点实验室江苏省南京市 210046 南京大学计算机科学与技术系江苏省南京市 210046

在普适计算中，上下文持续快速变化，上下文感知的应用根据上下文变化自动调整自身的行为以作出适应。然而，由于不可预测的环境噪声和动态变化等诸多因素的影响，很容易造成上下文的不一致。非一致上下文会导致应用的异常甚至失败。为... 详细信息

在普适计算中，上下文持续快速变化，上下文感知的应用根据上下文变化自动调整自身的行为以作出适应。然而，由于不可预测的环境噪声和动态变化等诸多因素的影响，很容易造成上下文的不一致。非一致上下文会导致应用的异常甚至失败。为了解决这个问题，提出了一种自动修复上下文的新技术。它分为以下两个阶段：(1)生成抽象修复用例;(2)具体执行以验证上下文不一致性是否已经修复。从用户的实际需要出发，生成的修复用例可以分别满足完整性或正确性。实验结果表明，这种技术在修复成功率上远远超过其他技术。

关键词：普适计算非一致上下文自动修复

来源：评论

学校读者我要写书评

暂无评论

一种支持自适应程序设计的移动机器人中间件

一种支持自适应程序设计的移动机器人中间件

引用

第四届中国Agent理论与应用学术会议

作者：陈昊孙辉许畅马晓星南京大学软件新技术国家重点实验室江苏省南京市210046 南京大学计算机科学与技术系江苏省南京市 210046

机器人控制中间件是软件中间件设计研究领域的一个热点。为了开发一种支持自适应程序设计的移动机器人中间件平台，首先提出这种中间件平台需要满足的设计要求：跨底层硬件平台、保证服务质量以及具备一定的自适应能力。从Java虚拟机的... 详细信息

机器人控制中间件是软件中间件设计研究领域的一个热点。为了开发一种支持自适应程序设计的移动机器人中间件平台，首先提出这种中间件平台需要满足的设计要求：跨底层硬件平台、保证服务质量以及具备一定的自适应能力。从Java虚拟机的移植、服务质量表现形式的选择、自适应机制及SCC(Sensor/Compute/Control)设计结构的应用四个方面来阐述此中间件平台的设计思路和开发过程。最后，通过真实实验的数据对比，说明此中间件可为移动机器人程序的有效开发提供服务质量的保证。

关键词：移动机器人中间件自适应能力服务质量保证 SCC结构

来源：评论

学校读者我要写书评

暂无评论

软件兼容性测试的故障定位

软件兼容性测试的故障定位

引用

第七届中国测试学术会议

作者： Li Jie 李杰 Nie Changhai 聂长海 Liang Yalan 梁亚澜 State Key Laboratory for Novel Software Technology Department of Computer Science and Technology N 南京大学计算机科学与技术系软件新技术国家重点实验室南京210046

软件兼容性测试是测试软件在特定的软硬件系统上和不同的应用软件之间能否协调工作的过程,是软件开发过程中必不可少的一个步骤。然而对于既有软件系统,如何有效定位该系统中软件交互关系所可能触发的冲突是当前较难解决的问题。本文针... 详细信息

软件兼容性测试是测试软件在特定的软硬件系统上和不同的应用软件之间能否协调工作的过程,是软件开发过程中必不可少的一个步骤。然而对于既有软件系统,如何有效定位该系统中软件交互关系所可能触发的冲突是当前较难解决的问题。本文针对这一实际问题,将组合测试方法运用于软件兼容性测试的故障定位,并在组合测试和差异调试法的基础上提出改进的故障定位方法SDD( Strengthen Delta Debugging)。通过和差异调试法的对比实验,显示了SDD方法改进的有效性。通过实际案例,我们分析了SDD方法定位组合测试发现的软件兼容性故障的过程。实验证明组合测试方法能有效的发现系统中软件间的兼容性故障,SDD方法能以较小的代价定位出引发兼容性故障的软件组合。

关键词：软件测试故障定位兼容性故障算法优化

来源：评论

学校读者我要写书评

暂无评论

手机通话功能的组合测试

手机通话功能的组合测试

引用

第七届中国测试学术会议

作者： Haibo Huang 黄海波 Huayao Wu 吴化尧 Changhai Nie 聂长海 State Key Laboratory for Novel Software Technology Department of Computer Science and Technology N 南京大学计算机科学与技术系软件新技术国家重点实验室南京210046

手机已经成为人们生活中不可缺少的重要通讯工具，但是在使用手机的过程中我们往往会遇到各种问题，系统地检测手机功能，无论对厂家还是消费者都具有重要意义。本文从手机的基本通话功能出发，建立了手机通话功能的组合测试模型，以此... 详细信息

手机已经成为人们生活中不可缺少的重要通讯工具，但是在使用手机的过程中我们往往会遇到各种问题，系统地检测手机功能，无论对厂家还是消费者都具有重要意义。本文从手机的基本通话功能出发，建立了手机通话功能的组合测试模型，以此来系统地检测手机的各参数状态及其交互作用对手机通话功能的影响，并对魅族M8智能手机进行了测试。实验结果表明，组合测试不仅可以降低测试成本，而且可以系统考虑影响手机功能的各个参数细节，以及参数间的组合情况，是一种可以根据需要灵活使用的有效测试方法。

关键词：手机通话功能组合测试参数估计效果评估

来源：评论

学校读者我要写书评

暂无评论

一种基于后继任务的过程挖掘算法

一种基于后继任务的过程挖掘算法

引用

2012中国计算机大会

作者：王栋毅葛季栋过晓波胡昊骆斌朱明计算机软件新技术国家重点实验室(南京大学)江苏南京210093 南京大学软件学院江苏南京210093 计算机软件新技术国家重点实验室(南京大学)江苏南京210093 南京大学计算机科学与技术系江苏南京210093 国电南京自动化股份有限公司江苏南京210003

过程挖掘的目标是从信息系统所记录的事件日志中重现过程模型。尽管信息系统会生成多种事件日志，但只有很少一部分的事件日志被应用于分析流程。本文提出了一种基于后继任务的新型过程挖掘算法(χ-算法)。该算法不仅能够直接从后继任... 详细信息

过程挖掘的目标是从信息系统所记录的事件日志中重现过程模型。尽管信息系统会生成多种事件日志，但只有很少一部分的事件日志被应用于分析流程。本文提出了一种基于后继任务的新型过程挖掘算法(χ-算法)。该算法不仅能够直接从后继任务中挖掘出因果依赖关系，而且能够挖掘出潜在并发关系。其中，因果依赖关系包括显式依赖和隐式依赖(由非自由选择结构产生)两种。另外，χ-算法能够正确地挖掘SWF网、大部分带隐式依赖的非SWF网、一些非良好处理的工作流网和一些含有隐式库所的工作流网。因为χ-算法所使用的事件日志多出了一种新的事件类型——后继任务，所以χ-算法能够处理范围更广的工作流网。

关键词：过程挖掘工作流过程建模后继任务隐式依赖

来源：评论

学校读者我要写书评

暂无评论

面向动态任务合作求解的联盟模型

面向动态任务合作求解的联盟模型

引用

第29届中国数据库学术会议

作者： ZHAN Qianyi 詹千熠 SUN Qiang 孙强 ZHAN Yusen 詹宇森 WANG Chongjun 王崇骏 XIE Junyuan 谢俊元 State Key Laboratory for Novel Software Technology Nanjing University Nanjing 210093 China Depart 南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

多Agent系统中,Agent间通过形成联盟达到提高任务求解能力,获取更多收益的目的。主要关注联盟模型的改进和联盟形成阶段的改进,基于ARG(agent,role,group)元模型和学习机制提出了一种采用角色和学习机制的新联盟模型CLAR;在采用合同网... 详细信息

多Agent系统中,Agent间通过形成联盟达到提高任务求解能力,获取更多收益的目的。主要关注联盟模型的改进和联盟形成阶段的改进,基于ARG(agent,role,group)元模型和学习机制提出了一种采用角色和学习机制的新联盟模型CLAR;在采用合同网协议的CLAR联盟模型中提出了两阶段联盟形成机制;通过捕食者问题实验验证了角色和学习机制的作用,以及两阶段联盟形成机制在减少通讯代价上的作用。

关键词：多Agent系统联盟模型捕食者问题合同网协议

来源：评论

学校读者我要写书评

暂无评论

基于多示例学习的异常行为检测方法

引用

模式识别与人工智能 2011年第6期24卷 862-868页

作者：崔永艳高阳南京大学计算机科学与技术系计算机软件新技术国家重点实验室南京210093

在基于轨迹分析的异常行为检测方法中,被标记为异常的轨迹往往仅在整条轨迹的某个局部存在异常,轨迹的其余部分都是正常行为.然而,传统的基于整条轨迹建模的方法很难检测轨迹的局部异常.针对上述问题,提出一种在多示例学习框架下基于轨... 详细信息

在基于轨迹分析的异常行为检测方法中,被标记为异常的轨迹往往仅在整条轨迹的某个局部存在异常,轨迹的其余部分都是正常行为.然而,传统的基于整条轨迹建模的方法很难检测轨迹的局部异常.针对上述问题,提出一种在多示例学习框架下基于轨迹分段的异常行为检测方法.该方法首先根据轨迹的曲率,将轨迹分割成若干相互独立的子段.然后采用层次狄利克雷过程-隐马尔科夫模型对每个子段建模.最后在多示例学习框架下,以整条轨迹为包,正常轨迹为负包,异常轨迹为正包,轨迹子段为包的示例进行学习.通过实验验证,该方法在准确率和召回率上都优于传统的基于轨迹建模的方法.

关键词：异常行为检测轨迹分段层次狄利克雷过程-隐马尔科夫模型(HDP—HMM) 多示例学习

来源：评论

学校读者我要写书评

暂无评论

核诱导距离度量的鲁棒典型相关分析

引用

计算机科学与探索 2012年第8期6卷 708-716页

作者：丁鑫陈晓红陈松灿南京航空航天大学计算机科学与技术学院南京210016 南京航空航天大学理学院南京210016 南京大学计算机软件新技术国家重点实验室南京210093

典型相关分析(canonical correlation analysis,CCA)是寻找同一对象两组变量间线性相关性的一种常用的多元统计分析方法,其采用的欧氏距离度量方式导致了算法的非鲁棒性。核诱导的距离度量不仅在理论上被证明是鲁棒的,而且在(聚类)应用... 详细信息

典型相关分析(canonical correlation analysis,CCA)是寻找同一对象两组变量间线性相关性的一种常用的多元统计分析方法,其采用的欧氏距离度量方式导致了算法的非鲁棒性。核诱导的距离度量不仅在理论上被证明是鲁棒的,而且在(聚类)应用上获得了有效验证。将其进一步应用于CCA,发展出了核诱导距离度量的鲁棒CCA(CCA based on kernel-induced measure,KI-CCA)。该算法不仅克服了CCA非鲁棒的不足,而且使现有基于最大相关熵的鲁棒主成分分析(half-quadratic principal component analysis,HQ-PCA)成为特例,且具有非线性相关分析的能力。一方面,核的多样性使得KI-CCA也具有多样性,从而使其成为一般性的分析算法。另一方面,与CCA刻画上的相似性,使其求解可归结为广义特征值问题。在人工数据、多特征手写体数据库(multiple feature database,MFD)和人脸数据集(Yale、AR、ORL)上的实验验证了该算法的有效性。

关键词：典型相关分析(CCA) 核诱导鲁棒性广义特征值问题

来源：评论

学校读者我要写书评

暂无评论

一种目标制导的混合执行测试方法

引用

计算机学报 2011年第6期34卷 953-964页

作者：崔展齐王林章李宣东南京大学软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

混合执行测试(concolic testing)是一种将具体执行与符号执行相结合的自动化测试方法.由于混合执行测试从程序本身出发,未将目标缺陷的先验知识作为指导,会导致生成和执行大量不能发现缺陷的测试输入,从发现缺陷的角度看浪费了时间和计... 详细信息

混合执行测试(concolic testing)是一种将具体执行与符号执行相结合的自动化测试方法.由于混合执行测试从程序本身出发,未将目标缺陷的先验知识作为指导,会导致生成和执行大量不能发现缺陷的测试输入,从发现缺陷的角度看浪费了时间和计算资源开销.这个问题在具有时间、成本及资源约束的实际测试任务中更加突出.为解决这一问题,文中提出了一种结合静态分析和混合执行测试技术的目标制导的混合执行测试方法:使用静态分析工具分析待测程序中可能含有缺陷的可疑语句及其缺陷类型,并将静态分析所报告的可疑语句作为目标指导测试.目标制导的混合执行测试技术分为3个步骤:首先,计算从程序各分支到待检测缺陷语句的可达性;其次,对待测试程序进行插装以支持混合执行测试;第三,使用静态分析的结果和可达性信息作为指导,只生成和执行可能会覆盖待检测缺陷语句的测试输入,以避免生成和执行不能发现缺陷的测试输入.基于此方法,作者实现了一个测试缓冲区溢出缺陷的原型工具:TARGET,并在一组C语言基准程序上进行了对比实验.实验结果表明与原有的混合执行测试技术相比较,TARGET能在更短的时间内发现程序中更多的缺陷.

关键词：目标制导测试缺陷触发静态分析混合执行测试

来源：评论

学校读者我要写书评

暂无评论

用户需求驱动的Web服务测试

引用

计算机学报 2011年第6期34卷 1029-1040页

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

Web服务涉及开发者、提供者、注册中心、用户等多方,各方测试目的、所掌握的资源以及所使用的测试方法各异.以用户需求来驱动Web服务测试,更切合现状且能提升测试效率.文中建立了用户需求特征模型,引入层次关系、控制结构、约束条件等要... 详细信息

Web服务涉及开发者、提供者、注册中心、用户等多方,各方测试目的、所掌握的资源以及所使用的测试方法各异.以用户需求来驱动Web服务测试,更切合现状且能提升测试效率.文中建立了用户需求特征模型,引入层次关系、控制结构、约束条件等要素;对照目标级、服务组合、原子服务需求,分别进行基于等价类划分、数据流分析和变异测试的测试用例生成选择;当需求变动时,通过波动分析能迅速定位到服务的相关路径和变量,保证回归测试的效率;最后通过行程安排实例展示了工作流程和实验结果.

关键词： Web服务测试用户需求测试用例生成依赖性分析回归测试

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：