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

计算机科学 2005年第1期32卷 98-100,107页

作者：卞昭娟任晓鑫陶先平吕建南京大学计算机软件新技术国家重点实验室南京大学计算机软件研究所南京 210093

Web Services是当前Web应用的一种新的模式。Internet将成为一个真正的分布式的计算平台,其上的服务可以协作完成某一任务,并且Web将成为可编程的。Web Services的发现是很重要的,因此有必要研究web Services的匹配。在本文中,我们提出... 详细信息

Web Services是当前Web应用的一种新的模式。Internet将成为一个真正的分布式的计算平台,其上的服务可以协作完成某一任务,并且Web将成为可编程的。Web Services的发现是很重要的,因此有必要研究web Services的匹配。在本文中,我们提出了一种基于Agent的Web Services的两层次匹配模型。

关键词： Agent技术 Web Services匹配模型 AMCDL语言匹配算法

来源：评论

学校读者我要写书评

暂无评论

一种基于动态语境组装的分布式构件框架的设计与实现

引用

电子学报 2009年第B04期37卷 57-64页

作者：谢德平邢阳马晓星曹春吕建南京大学计算机软件新技术国家重点实验室南京大学计算机软件研究所江苏南京210093

提出一种新的分布式构件框架ACF,在传统的以共享协同信息为主的语境机制基础上,引入了共享协同对象的动态语境机制,直接支持基于运行时软件体系结构的协同逻辑的表达和动态演化.该构件框架已在集成开发环境ArtemisStudio中得到初步实现... 详细信息

提出一种新的分布式构件框架ACF,在传统的以共享协同信息为主的语境机制基础上,引入了共享协同对象的动态语境机制,直接支持基于运行时软件体系结构的协同逻辑的表达和动态演化.该构件框架已在集成开发环境ArtemisStudio中得到初步实现和应用.

关键词：分布式构件基于语境的组装协同动态演化

来源：评论

学校读者我要写书评

暂无评论

一种基于特征矩阵的软件脆弱性代码克隆检测方法

引用

软件学报 2015年第2期26卷 348-363页

作者：甘水滔秦晓军陈左宁王林章数学工程与先进计算国家重点实验室(无锡江南计算技术研究所) 江苏无锡214083 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

提出了一种基于特征矩阵的软件代码克隆检测方法.在此基础上,实现了针对多类脆弱性的检测模型.基于对脆弱代码的语法和语义特征分析,从语法分析树抽取特定的关键节点类型描述不同的脆弱性类型,将4种基本克隆类型细化拓展到更多类,通过... 详细信息

提出了一种基于特征矩阵的软件代码克隆检测方法.在此基础上,实现了针对多类脆弱性的检测模型.基于对脆弱代码的语法和语义特征分析,从语法分析树抽取特定的关键节点类型描述不同的脆弱性类型,将4种基本克隆类型细化拓展到更多类,通过遍历代码片段对应的语法分析树中关键节点的数量,构造对应的特征矩阵.从公开漏洞数据库中抽取部分实例作为基本知识库,通过对代码进行基于多种克隆类型的聚类计算,达到了从被测软件代码中检测脆弱代码的目的.与基于单一特征向量的检测方法相比,对脆弱性特征的描述更加精确,更具有针对性,并且弥补了形式化检测方法在脆弱性类型覆盖能力上的不足.在对android-kernel代码的测试中发现了9个脆弱性.对不同规模软件代码的测试结果表明,该方法的时间开销和被测代码规模成线性关系.

关键词：脆弱性检测代码克隆语法分析树特征矩阵

来源：评论

学校读者我要写书评

暂无评论

一个个性化的信息搜集Agent的设计与实现

引用

软件学报 2001年第7期12卷 1074-1079页

作者：潘金贵胡学联李俊张灵玲南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学多媒体计算技术研究所江苏南京210093

介绍了一个个性化的信息搜集Agent系统———DOLTRI Agent(distanceandopenlearningtrainingre sourceinformationagent)的设计与实现 .DOLTRI Agent系统是一个远程开放式学习 (distanceandopenlearn ing ,简称DOL)的教材信息搜集Agent .它基于多Agent体系结构 ,包含 3个子Agent和其他 3个组件 .该系统具有主动搜集、维护、更新信息的功能 ,同时还具有个性化的特点 ,可不断学习用户知识 ,包括用户感兴趣的信息领域、用户的使用习惯等。

关键词： Agent 信息搜集个性化远程教育 Internet

来源：评论

学校读者我要写书评

暂无评论

面向安卓自动化测试工具综合评估

引用

软件学报 2023年第4期34卷 1630-1649页

作者：钟怡石孟雨房春荣赵志宏陈振宇计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 深圳研究院(南京大学) 广东深圳518063

自动化测试工具是安卓应用质量保障的主要手段.随着安卓版本多样性、底层硬件差异性(碎片化)以及逻辑复杂性增加,自动化测试迎来新的挑战.为解决这些问题,近年来,业界开发出大量自动化测试工具.但是现有工具数量多,并且测试重点多样,测... 详细信息

自动化测试工具是安卓应用质量保障的主要手段.随着安卓版本多样性、底层硬件差异性(碎片化)以及逻辑复杂性增加,自动化测试迎来新的挑战.为解决这些问题,近年来,业界开发出大量自动化测试工具.但是现有工具数量多,并且测试重点多样,测试人员选择工具时存在一定的困扰.为帮助测试人员选择最佳测试工具,实现对自动化测试工具的统一评估,提出了面向安卓自动化测试工具多特征综合评估方法(comprehensive evaluation of Android automated testing, CEAT),并将其实现为便于测试人员使用的平台. CEAT在引入测试领域广泛接受的3个评估指标,即代码覆盖率、异常检出率、融合多版本兼容度得分的基础上,进一步基于变异测试的思想引入变异杀死率,并从用户体验出发引入UI控件覆盖率.以上5个指标构成CEAT整个体系,从而实现安卓自动化测试工具的综合多维评估.为验证CEAT的效果,生成了1 089个变异应用的待测应用集,在包含6个移动设备的真机集群中部署实验,对5个自动化测试工具适配并执行5 040次测试任务.最终结果表明:i) 5个指标从不同角度对自动化测试工具进行评估,更加多维地反映不同工具的测试效果,验证了CEAT的有效性;ii) CEAT支持测试人员为5个指标分配不同的权重,根据实际测试需求得到综合评估结果,具有一定的灵活性;iii) CEAT可自动改造APP获得变异应用,同时为工具设置特定平台用于测试,操作具备简单性. CEAT可以有效地根据不同测试需求为测试人员选择最佳的安卓自动化测试工具提供参考依据.

关键词：自动化测试碎片化变异测试 UI控件覆盖率多维评估

来源：评论

学校读者我要写书评

暂无评论

一种基于运行时体系结构的BPEL支撑环境

引用

电子学报 2006年第B12期34卷 2360-2365页

作者：马骞虞建杰马晓星吕建南京大学计算机软件新技术国家重点实验室南京大学计算机软件研究所江苏南京210093

为了使BPEL描述的组合服务能够根据动态的网络环境和多变的用户需求而动态演化,在我们已有工作的基础上,提出一种基于运行时体系结构的BPEL支撑环境.其核心在于引入一个运行时体系结构对象来刻画组合服务的体系结构,并用其解耦组合服务... 详细信息

为了使BPEL描述的组合服务能够根据动态的网络环境和多变的用户需求而动态演化,在我们已有工作的基础上,提出一种基于运行时体系结构的BPEL支撑环境.其核心在于引入一个运行时体系结构对象来刻画组合服务的体系结构,并用其解耦组合服务与其成员之间的引用关系,从而通过对该对象的修改引起组合服务与其成员之间交互行为的重解释,实现组合服务的动态演化.在此支撑环境上开发了一个简单的应用实例以展示动态调整的效果.

关键词：面向服务的计算服务组合 BPEL 软件体系结构动态演化

来源：评论

学校读者我要写书评

暂无评论

PaxosStore中共识协议TPaxos的推导、规约与精化

引用

软件学报 2020年第8期31卷 2336-2361页

作者：易星辰魏恒峰黄宇乔磊吕建计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 北京控制工程研究所北京100190

PaxosStore是腾讯开发的高可用分布式存储系统,现已用于全面支持微信核心业务.PaxosStore实现了分布式共识协议Paxos的一种变体,称为***的新颖之处在于其“统一性”:为每个参与者维护统一的状态类型,并采用统一格式的消息进行通信.然而... 详细信息

PaxosStore是腾讯开发的高可用分布式存储系统,现已用于全面支持微信核心业务.PaxosStore实现了分布式共识协议Paxos的一种变体,称为***的新颖之处在于其“统一性”:为每个参与者维护统一的状态类型,并采用统一格式的消息进行通信.然而,这种设计方案也带来了TPaxos与Paxos之间的诸多差异,给理解TPaxos造成了障碍.其次,虽然腾讯开源了TPaxos协议的核心代码(包括伪代码与C++代码),但TPaxos仍缺少抽象而精确的形式化规约.最后,根据文献检索,TPaxos的正确性尚未经过必要的数学论证或者形式化工具的检验.针对这些情况,有3个主要贡献:首先,从经典的Paxos协议出发,论证如何逐步推导出TPaxos协议.基于这种推导,可以将TPaxos看作Paxos的一种自然变体,更易于理解.其次,给出了TPaxos协议的TLA+形式化规约.在开发规约的时候发现,TPaxos协议描述中存在至关重要但并未充分阐明的微妙之处:在消息处理阶段,参与者(作为接受者角色)是先作出“不再接受具有更小编号的提议”的承诺(promise),还是先接受(accept)提议?这导致了对TPaxos的两种不同理解,并促使提出TPaxos的一种变体,称为TPaxosAP.在TPaxosAP中,参与者先接受提议后作承诺.最后,使用精化(refinement)技术论证了TPaxos与TPaxosAP的正确性.特别地,由于已知的投票机制Voting不能完全描述TPaxosAP的行为,首先提出了适用于TPaxosAP的投票机制EagerVoting,然后建立了从TPaxosAP到EagerVoting以及从EagerVoting到Consensus的精化关系,并使用TLC模型检验工具验证了它们的正确性.

关键词： Paxos PaxosStore 共识协议 TLA+ 精化关系模型检验

来源：评论

学校读者我要写书评

暂无评论

基于多维支持向量机的P2P网络流量识别模型

引用

吉林大学学报（工学版） 2010年第5期40卷 1298-1302页

作者：孙知信张玉峰南京邮电大学计算机技术研究所南京210003 南京大学计算机软件新技术国家重点实验室南京210093

提出一种多维支持向量机(MSVM)训练方法,并建立了一种基于多维支持向量机的P2P网络流量识别模型。该模型利用多维支持向量机作为分类器来识别P2P流量,各种网络流量经过数据捕获模块、特征提取模块、数据预处理模块以及MSVM训练模块将网... 详细信息

提出一种多维支持向量机(MSVM)训练方法,并建立了一种基于多维支持向量机的P2P网络流量识别模型。该模型利用多维支持向量机作为分类器来识别P2P流量,各种网络流量经过数据捕获模块、特征提取模块、数据预处理模块以及MSVM训练模块将网络流量分类成P2P流量和Non-P2P流量,再经过组建的MSVM支持向量库识别出具体的P2P流量和未知P2P。未知的P2P流量经过数据采集模块、特征提取模块、数据预处理模块以及MSVM训练模块将其特征数据加入MSVM支持向量库,以便将来识别P2P流量。理论分析与数值实验表明,该模型具有较好的实验结果和所期望的识别精确度。

关键词：计算机系统结构对等网络多维支持向量机(MSVM) 最优超平面

来源：评论

学校读者我要写书评

暂无评论

一个软件服务协同中的信任管理框架设计

引用

计算机科学 2003年第9期30卷 152-154,161页

作者：徐锋曹春郑玮冯扬悦吕建南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机软件研究所南京210093

1引言目前,以Web服务为代表的软件服务及软件服务协同已成为一种新兴的Web应用形态.

关键词：软件服务协同系统信任管理设计事件概率 Internet

来源：评论

学校读者我要写书评

暂无评论

面向对象软件测试技术进展

引用

计算机研究与发展 1998年第1期35卷 6-13页

作者：金凌紫南京大学计算机软件研究所南京大学软件新技术国家重点实验室

面向对象软件测试技术的研究是面向对象开发方法的不可缺少的一环，但目前的研究现状与面向对象的分析、设计技术以及程序设计语言的研究相比尚显薄弱．文中分析了面向对象程序设计语言的特点及其对软件测试的影响，从基于规约的测试方... 详细信息

面向对象软件测试技术的研究是面向对象开发方法的不可缺少的一环，但目前的研究现状与面向对象的分析、设计技术以及程序设计语言的研究相比尚显薄弱．文中分析了面向对象程序设计语言的特点及其对软件测试的影响，从基于规约的测试方法和基于程序的测试方法以及测试方法与软件开发过程的集成途径等方面，综述有代表性的研究工作，探讨研究方向．

关键词：面向对象软件测试程序语言软件开发

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：