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

计算机测量与控制 2015年第7期23卷 2247-2251页

作者：殷琦杜明刘晓强常姗蔡立志刘振宇东华大学计算机科学与技术学院上海201620 上海计算机软件技术开发中心上海市计算机软件评测重点实验室上海201112

软件测试是保证软件质量,提供可靠服务的重要技术手段;目前基于Web Service的分布式软件越来越多,其测试技术手段也越来越受到关注;Web Service的分布性和多样性使手工测试变得非常低效,因而需要不断提高WebService测试的自动化程度;另... 详细信息

软件测试是保证软件质量,提供可靠服务的重要技术手段;目前基于Web Service的分布式软件越来越多,其测试技术手段也越来越受到关注;Web Service的分布性和多样性使手工测试变得非常低效,因而需要不断提高WebService测试的自动化程度;另外,云计算因其计算成本低、可伸缩性强的特点为自动化测试提供了新的支持环境;本文结合Web Service的浏试需求,首次提出了基于云环境的Web Service接口自动化测试的技术框架,分析了框架内原子Web Service、组合Web Service测试的关键技术,并研发了基于CloudStack云平台的自动化测试的原型系统;实验结果表明,文章所提出的基于云平台的Web Service自动化测试方案可行且提高了测试效率。

关键词：云计算自动化测试 Web Service 功能测试

来源：评论

学校读者我要写书评

暂无评论

基于CEGAR的Web应用验证

引用

计算机学报 2014年第4期37卷 976-992页

作者：高洪皓缪淮扣曾红卫上海大学计算机工程与科学学院上海 200444 上海大学计算中心上海 200444 上海市计算机软件评测重点实验室上海 201114

Web应用导航行为的建模和验证是可信Web工程研究的重点和难点.在深入分析用户和Web浏览器交互行为的基础上,文中引入On-the-fly策略并基于反例引导的抽象精化验证方法 CEGAR对Web应用的导航行为进行建模和验证.在On-the-fly导航模型展... 详细信息

Web应用导航行为的建模和验证是可信Web工程研究的重点和难点.在深入分析用户和Web浏览器交互行为的基础上,文中引入On-the-fly策略并基于反例引导的抽象精化验证方法 CEGAR对Web应用的导航行为进行建模和验证.在On-the-fly导航模型展开的过程中,根据检验性质采用增量式状态抽象方法构造Web应用导航抽象模型,通过确认抽象反例来识别伪反例,借助等价类精化方法消除抽象模型上的伪反例.这一方法可有效地缓解Web应用验证过程中出现的状态爆炸问题.

关键词： Web应用导航模型抽象精化模型检验伪反例

来源：评论

学校读者我要写书评

暂无评论

融合K-均值聚类、FNN、SVM的网络入侵检测模型

引用

计算机应用与软件 2014年第5期31卷 312-315页

作者：邬斌亮熊琭上海市计算机软件评测重点实验室上海201112

针对传统的入侵检测模型IDM(Intrusion Detection System)不能检测最新的入侵手段且系统的特征数据库需要频繁更新的问题,提出融合K-均值聚类、模糊神经网络和支持向量机等数据挖掘技术来构建IDM。首先,利用K-均值聚类将原始的训练集划... 详细信息

针对传统的入侵检测模型IDM(Intrusion Detection System)不能检测最新的入侵手段且系统的特征数据库需要频繁更新的问题,提出融合K-均值聚类、模糊神经网络和支持向量机等数据挖掘技术来构建IDM。首先,利用K-均值聚类将原始的训练集划分为不同的训练子集;然后,基于各训练子集训练各自的模糊神经网络模型,并通过模糊神经网络模型生成支持向量机的支持向量;最后,采用径向支持向量机检测入侵行为是否发生。在KDD CUP 1999数据集上的实验验证了所提模型的有效性及可靠性。实验结果表明,相比其他几种较为先进的检测方法,所提模型在入侵检测方面取得了更高的检测精度。

关键词：入侵检测模型 K-均值聚类模糊神经网络支持向量机数据挖掘

来源：评论

学校读者我要写书评

暂无评论

基于社区发现及主题分析的微博用户推荐

引用

华东理工大学学报（自然科学版） 2014年第6期40卷 763-768页

作者：余紫丹虞慧群华东理工大学计算机科学与工程系上海200237 上海市计算机软件评测重点实验室上海201112

在现行的几种好友推荐机制基础上,考虑社交网络的信任传播因素,设计了一种推荐模型。提出一种先基于信任度发现社区,再通过主题分析计算用户相似度的两阶段推荐方法。旨在向用户推荐其感兴趣的潜在好友,帮助用户扩大其朋友圈,进而提高... 详细信息

在现行的几种好友推荐机制基础上,考虑社交网络的信任传播因素,设计了一种推荐模型。提出一种先基于信任度发现社区,再通过主题分析计算用户相似度的两阶段推荐方法。旨在向用户推荐其感兴趣的潜在好友,帮助用户扩大其朋友圈,进而提高用户黏性。

关键词：微博社区发现主题分析好友推荐信任度

来源：评论

学校读者我要写书评

暂无评论

基于权限和API特征结合的Android恶意软件检测方法

基于权限和API特征结合的Android恶意软件检测方法

引用

第十四届全国软件与应用学术会议

作者：邵舒迪虞慧群华东理工大学计算机科学与工程系上海200237 上海市计算机软件评测重点实验室上海201112 华东理工大学计算机科学与工程系上海200237

随着Android操作系统的应用,基于Android平台的应用程序的数量日益增长.如何有效地识别恶意软件对保护手机的安全性具有重要意义.本文提出基于权限和API特征结合的Android恶意软件检测方法,该方法通过反编译apk文件,以提取权限特征和AP... 详细信息

随着Android操作系统的应用,基于Android平台的应用程序的数量日益增长.如何有效地识别恶意软件对保护手机的安全性具有重要意义.本文提出基于权限和API特征结合的Android恶意软件检测方法,该方法通过反编译apk文件,以提取权限特征和API特征,并将两者相结合,作为一个整体的特征集合.在此基础上,采用分类算法进行恶意软件的甄别.实验结果表明,该方法的判别准确率要高于权限集合或API集合单独作为特征的判别方法，从而能更加有效地检测Android恶意应用程序。

关键词：软件检测权限 API特征 Android平台

来源：评论

学校读者我要写书评

暂无评论

C程序控制流程模型的提取技术与实现

引用

计算机科学 2014年第5期41卷 208-214页

作者：杨昌坤许庆国上海大学计算机工程与科学学院上海200072 上海市计算机软件评测重点实验室上海201112

控制流图描述了函数执行时可能采取的执行路径。绝大多数静态分析工具都在抽象语法树之上生成控制流图并据此对程序的运行行为进行分析。在模型检测过程中,提取正确的控制流图是构建系统模型的关键。在分析C程序的抽象语法树和控制结构... 详细信息

控制流图描述了函数执行时可能采取的执行路径。绝大多数静态分析工具都在抽象语法树之上生成控制流图并据此对程序的运行行为进行分析。在模型检测过程中,提取正确的控制流图是构建系统模型的关键。在分析C程序的抽象语法树和控制结构的基础上,设计并实现了程序控制流图提取的算法,并分析了算法的正确性。基于提取的控制流程,可对C程序的某些性质进行模型检验。

关键词：控制流图抽象语法树模型检测

来源：评论

学校读者我要写书评

暂无评论

表格语言的分析比较

引用

计算机科学 2014年第3期41卷 23-26页

作者：陈怡海缪淮扣上海大学计算机工程与科学学院上海200072 上海市计算机软件评测重点实验室上海201114

表格语言具有可读性和可理解性的优点,它能非常精确地表示软件系统需求。在过去的30多年间,表格语言已经成功地应用于多个安全关键嵌入式软件的开发中。准确了解这些表格语言的特性,对表格语言的研究及推广有重要的指导意义。对3种不同... 详细信息

表格语言具有可读性和可理解性的优点,它能非常精确地表示软件系统需求。在过去的30多年间,表格语言已经成功地应用于多个安全关键嵌入式软件的开发中。准确了解这些表格语言的特性,对表格语言的研究及推广有重要的指导意义。对3种不同的表格语言进行了详细的综述和讨论,从不同角度分析比较了其异同点,并提出了进一步的研究方向。

关键词：表格方法形式方法规格说明验证与确认工具支持

来源：评论

学校读者我要写书评

暂无评论

分布式本体的构建与一致性维护方法

引用

计算机应用与软件 2015年第10期32卷 15-20,77页

作者：刘杰李宏伟沈立炜赵文耘复旦大学软件学院上海200433 上海市数据科学重点实验室复旦大学上海200433 江西师范大学计算机信息工程学院江西南昌330029

本体已经成为在语义Web环境下呈现和管理知识的重要手段。目前针对单个本体的创建、发布、浏览、编辑和存储等方面的研究已经较为成熟;随着知识规模的不断增大,在分布式环境下构建本体也已成为一种流行的方案。然而,分布式本体的构建受... 详细信息

本体已经成为在语义Web环境下呈现和管理知识的重要手段。目前针对单个本体的创建、发布、浏览、编辑和存储等方面的研究已经较为成熟;随着知识规模的不断增大,在分布式环境下构建本体也已成为一种流行的方案。然而,分布式本体的构建受到多用户协同与一致性维护等问题的挑战。针对这种情况,提出一种分布式本体的协同构建与一致性维护方法,该方法以层次化的分布式本体组织形式来构建大规模的本体。在此基础上,该方法归纳了在本体构建过程中所涉及到的针对概念引用关系的编辑操作,并给出了相应的约束。另外,该方法还提出了在概念变更时的协同一致性维护方案。最后,通过模拟本体编辑人员对本体的编辑操作集合,实施了冲突检测、冲突消解和更新操作的实验。其结果表明,针对分布式本体的协同一致性的维护时间与单个本体的维护时间基本保持一致。

关键词：分布式本体协同编辑协同冲突

来源：评论

学校读者我要写书评

暂无评论

基于Petri网的CPS系统安全量化分析模型

引用

计算机工程与应用 2014年第3期50卷 82-88页

作者：徐昕虞慧群黄骏虎华东理工大学计算机科学与工程系上海200237 上海市计算机软件评测重点实验室上海201112

随着信息物理融合系统(CPS)的广泛应用,安全性已成为其研究的核心问题。由于CPS离散计算过程和连续物理世界交织的特性,传统的安全分析方式不能直接适用。通过将博弈理论和Petri网建模方法进行结合,提出一种GHPN方法对CPS系统建立量化... 详细信息

随着信息物理融合系统(CPS)的广泛应用,安全性已成为其研究的核心问题。由于CPS离散计算过程和连续物理世界交织的特性,传统的安全分析方式不能直接适用。通过将博弈理论和Petri网建模方法进行结合,提出一种GHPN方法对CPS系统建立量化的安全分析模型,该模型既能适用CPS离散连续混合结构的模型刻画,又可合理模拟系统攻防双方行为,基于最终生成的模型从系统可靠性、脆弱性、风险后果等方面进行安全分析。通过对飞机空中避撞系统的实例研究,表明该模型和分析方法的有效性。

关键词：信息物理融合系统博弈理论与混合Petri网结合的方法(GHPN) 纳什均衡系统可靠性

来源：评论

学校读者我要写书评

暂无评论

树型模型中进化设计的一致性维护技术的研究

引用

小型微型计算机系统 2014年第12期35卷 2780-2784页

作者：王山山邬春学高丽萍杨桂松上海理工大学光电信息与计算机工程学院上海200093 上海市计算机软件评测重点实验室上海201112 上海理工大学实验室管理与服务中心上海200293

基于文本操作转换算法已经广泛的应用于协同应用中,但是之前基于文本编辑的协同研究大部分都是基于文本的插入,删除操作,而且研究的对象大多为线性的文档模型,对于新的文档模型和新的操作之前的协同算法已经不适应.本文对基于树型文档... 详细信息

基于文本操作转换算法已经广泛的应用于协同应用中,但是之前基于文本编辑的协同研究大部分都是基于文本的插入,删除操作,而且研究的对象大多为线性的文档模型,对于新的文档模型和新的操作之前的协同算法已经不适应.本文对基于树型文档模型的遗传操作(包括交叉操作和变异操作)进行了一致性维护研究.对比分析了之前多种协同设计方案的优劣,建立了基于树型文档模型,描述了遗传操作实现的过程,设计和冲突检测和冲突消解算法,提出了一致性维护的流程.最后模拟了协同编辑的场景,并把算法应用于协同编辑,从理论上证明了算法的收敛性和方案的正确性.

关键词：树型模型进化设计遗传操作一致性维护

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：