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

作者：张焱刘慧晶干露杨建军闵京华王惠莅孙明亮翟亚红陈晓桦陈长松张剑李斌邬敏华张静王媛陈亮王伟李柏松赵焕菊陈驰马红霞白峻王龑崔婷婷杨向东张屹陈洪波潘正泰李丹杨珂王栋左洪强李洪典龚亮华李瑞张晓菲王朝栋徐春蕾何志明杜志强訾立强张雪帆唐佳伟王晶权晓文刘大海杨德川王庆磊陈乔刘阳高强徐峰中国电子科技网络信息安全有限公司上海三零卫士信息安全有限公司中国电子技术标准化研究院中电长城网际系统应用有限公司中国信息安全测评中心中国网络安全审查技术与认证中心公安部第三研究所国家计算机网络应急技术处理协调中心毕马威企业咨询(中国)有限公司安天科技集团股份有限公司北京天融信网络安全技术有限公司中国科学院信息工程研究所(信息安全国家重点实验室) 陕西省网络与信息安全测评中心北京东方通网信科技有限公司陕西省信息化工程研究院国网区块链科技(北京)有限公司山谷网安科技股份有限公司北京北信源软件股份有限公司烽台科技(北京)有限公司成都卫士通信息安全技术有限公司工业互联网创新中心(上海)有限公司北京知道创宇信息技术股份有限公司北京红戎信安技术有限公司网神信息技术(北京)股份有限公司远江盛邦(北京)网络安全科技股份有限公司北京奇虎科技有限公司西安西电捷通无线网络通信股份有限公司北京百度网讯科技有限公司

标准类型：国家标准

本文件描述了信息安全服务的分类与代码，主要包括信息安全咨询类、信息安全设计与开发类、信息安全集成类、信息安全运营类、信息的安全处理和存储类、信息安全测评与认证类及其他类七个方面。本文件适用于信息安全服务提供方和信息安...

标准号: GB/T 30283-2022

本文件描述了信息安全服务的分类与代码，主要包括信息安全咨询类、信息安全设计与开发类、信息安全集成类、信息安全运营类、信息的安全处理和存储类、信息安全测评与认证类及其他类七个方面。本文件适用于信息安全服务提供方和信息安全服务需求方使用，也可供其他相关方参考。

关键词：

来源：评论

学校读者我要写书评

暂无评论

ATCase:一个基于多项式约束求解的数值程序测试用例自动生成工具

引用

系统科学与数学 2017年第7期37卷 1704-1721页

作者：王砺磊曾霞林望陈鑫杨争峰华东师范大学上海市高可信计算重点实验室上海200062 温州大学数学与信息科学学院温州325035 中国科学院数学与系统科学研究院数学机械化重点实验室北京100190 南京大学计算机软件新技术国家重点实验室南京210023

现有的基于符号执行的测试用例自动生成技术存在不足之处:由于精度限制和非线性约束求解的复杂性,符号执行在遇到复杂的非线性浮点约束时效果并不理想.针对这一现状,给出了一个基于多项式约束求解和区间验证的测试用例生成算法.对于复... 详细信息

现有的基于符号执行的测试用例自动生成技术存在不足之处:由于精度限制和非线性约束求解的复杂性,符号执行在遇到复杂的非线性浮点约束时效果并不理想.针对这一现状,给出了一个基于多项式约束求解和区间验证的测试用例生成算法.对于复杂非线性约束难以求解的问题,采用基于低秩矩量矩阵恢复的多项式系统求解方法,该方法对于含有等式和不等式的多项式系统,相较于其他方法求解速度更快,更适合大规模问题的求解;对于浮点约束求解不准确的问题,采用基于区间分析的验证算法来计算包含精确实解的区间,基于该区间给出测试用例,可以避免浮点计算的不准确和异常.结合该算法和符号执行工具KLEE-FP实现了一个测试用例自动生成工具ATCase(automatically generate test case),它能够分析数值程序中的路径并自动生成满足路径约束的测试用例.在两个开源软件库中的2两个复杂的真实程序上运行的实验结果表明ATCase相比KLEE-FP所使用的STP求解器,能快速生成具有更高覆盖率的测试用例,特别是在处理相对复杂的非线性约束时,优势更加明显.

关键词：测试用例自动生成符号执行多项式系统实根求解低秩矩量矩阵恢复.

来源：评论

学校读者我要写书评

暂无评论

抽象精化和可满足性结合的EFSM模型测试用例优化生成

引用

计算机学报 2016年第11期39卷 2236-2252页

作者：陆公正缪淮扣苏州市职业大学计算机工程学院江苏苏州215104 上海大学计算机工程与科学学院上海200072 上海市计算机软件测评重点实验室上海201112

基于模型的测试是测试自动化的重要手段,通常采用模型检验技术从系统模型自动生成测试用例集,但生成的测试用例集往往存在冗余,这将影响测试用例执行的性能和成本.该文以扩展有限状态机(Extended Finite Machine,EFSM)为建模工具,根据... 详细信息

基于模型的测试是测试自动化的重要手段,通常采用模型检验技术从系统模型自动生成测试用例集,但生成的测试用例集往往存在冗余,这将影响测试用例执行的性能和成本.该文以扩展有限状态机(Extended Finite Machine,EFSM)为建模工具,根据公式簇建立状态等价关系,构建抽象模型,采用模型检验技术生成抽象反例(测试用例);给出了判定生成的抽象反例是否为伪反例的方法;采用反例引导的方法精化抽象模型,删除伪反例;最后,使用我们之前提出的基于可满足性的测试用例生成方法在抽象模型上生成约简的测试用例集.实验表明:该方法的测试用例数目约简比例最高达76%(警报侦测组件EFSM),总长度约简比例最高达68%(ATM EFSM),同时不会影响测试用例集的迁移覆盖率和查错能力.

关键词：测试用例约简扩展有穷状态机公式簇抽象反例引导的精化可满足性

来源：评论

学校读者我要写书评

暂无评论

基于概率模型检验的Web服务系统可靠性分析

基于概率模型检验的Web服务系统可靠性分析

引用

中国教育和科研计算机网CERNET第二十四届学术年会

作者：高洪皓开金宇周家安缪淮扣黄婉秋王皙上海大学计算中心上海200444 上海大学计算机工程与科学学院上海200444 上海大学计算机工程与科学学院上海200444 上海市计算机软件测评重点实验室上海201112

为了实现对Web服务系统进行可靠性分析,采用概率模型检验技术对其行为模型进行形式化验证是一种有效方法.但该方法需要对服务系统的分布式特征进行建模,因此利用分布式日志收集系统Flume NG实时收集Web服务器日志并对其进行预处理操作,... 详细信息

为了实现对Web服务系统进行可靠性分析,采用概率模型检验技术对其行为模型进行形式化验证是一种有效方法.但该方法需要对服务系统的分布式特征进行建模,因此利用分布式日志收集系统Flume NG实时收集Web服务器日志并对其进行预处理操作,针对日志采集频率问题采用Kafka进行日志缓存,通过Storm分析日志数据并构造用于描述服务可靠性的概率迁移矩阵.采用概率标签迁移系统PLTS描述服务行为模型,采用概率计算树逻辑PCTL描述服务系统需求性质,集成概率模型检验器PRISM支持自动化定量验证和分析,从而实现基于概率模型检验的Web服务可靠性分析.最后通过案例研究和验证数据分析证明所提方法的有效性和可行性.

关键词： Web服务系统概率模型检验分布式日志

来源：评论

学校读者我要写书评

暂无评论

基于SQuaRE系列标准的系统与软件质量评价及应用

引用

信息技术与标准化 2017年第5期 36-39,56页

作者：赵毅胡芸张旸旸上海市计算机软件评测重点实验室上海软中信息技术有限公司中国电子技术标准化研究院

对基于SQuaRE系列标准的系统与软件质量评价框架进行了说明,介绍了系统与软件质量模型、质量测量、质量要求和评价过程;并将SQuaRE系列标准应用到具体的系统与软件质量评价中,建立了系统与软件质量及其特性、子特性的评估映射关系。

关键词： SQuaRE系列标准系统与软件质量模型质量测量质量需求质量评价

来源：评论

学校读者我要写书评

暂无评论

基于递归随机抽样的Hadoop配置优化

引用

计算机工程 2016年第2期42卷 26-32页

作者：祝春祥陈世平陈敏刚上海理工大学光电信息与计算机工程学院上海200093 上海市计算机软件评测重点实验室上海201112

Hadoop平台目前有近200个配置参数,对这些参数进行合理配置能提高系统性能。针对Hadoop参数配置的优化问题,提出一种基于递归随机抽样的黑盒优化策略。利用随机抽样的初始高效性,通过不断调整样本空间进行递归随机抽样,从而快速搜索到... 详细信息

Hadoop平台目前有近200个配置参数,对这些参数进行合理配置能提高系统性能。针对Hadoop参数配置的优化问题,提出一种基于递归随机抽样的黑盒优化策略。利用随机抽样的初始高效性,通过不断调整样本空间进行递归随机抽样,从而快速搜索到近似的全局最优配置。实验结果表明,与传统配置方法相比,应用黑盒优化策略的配置方法可提高14%-25%的Hadoop作业处理速度,且具有较好的稳定性和可靠性。

关键词： Hadoop平台黑盒优化粒子群算法模拟退火算法递归随机抽样

来源：评论

学校读者我要写书评

暂无评论

大数据安全及其评估

引用

计算机应用与软件 2016年第4期33卷 34-38,71页

作者：陈文捷蔡立志上海市计算机软件评测重点实验室上海201112

大数据的安全问题是影响大数据应用的关键因素之一,而评估大数据应用的安全性成为业界关注的课题。针对大数据应用安全性的评估问题,在梳理大数据安全研究现状的基础上,从数据和计算两个层面上分析大数据所面临的安全问题,综述目前主要... 详细信息

大数据的安全问题是影响大数据应用的关键因素之一,而评估大数据应用的安全性成为业界关注的课题。针对大数据应用安全性的评估问题,在梳理大数据安全研究现状的基础上,从数据和计算两个层面上分析大数据所面临的安全问题,综述目前主要的解决大数据安全问题的研究成果,包括分布式计算的安全技术、数据溯源技术、隐私保护的数据挖掘技术等。最后从数据的可信性、隐私保护程度等方面提出一些大数据安全性的评估指标。

关键词：大数据安全隐私保护隐私保护的数据挖掘安全评估

来源：评论

学校读者我要写书评

暂无评论

MemPort:内存访问可移植性检测的设计和实现

引用

小型微型计算机系统 2016年第4期37卷 664-669页

作者：岳佳圆曹宇李弋复旦大学软件学院上海200433 上海市数据科学重点实验室(复旦大学) 上海200433 上海计算机软件技术开发中心上海201112

在程序可移植性问题中,运行时访存相关的可移植性问题具有极高的隐蔽性,现有技术难以准确地检测这些问题.如果程序存在这类移植性问题,开发人员需要花大量时间进行分析改正.本文基于符号执行的方法,提出一套完整的检测程序运行时潜在的... 详细信息

在程序可移植性问题中,运行时访存相关的可移植性问题具有极高的隐蔽性,现有技术难以准确地检测这些问题.如果程序存在这类移植性问题,开发人员需要花大量时间进行分析改正.本文基于符号执行的方法,提出一套完整的检测程序运行时潜在的访存相关可移植性问题的方法和技术,并实现了相应的工具.对一些有移植性特性的开源程序的源代码进行实验、测试和分析,检测模型和工具能准确地在程序源代码中指出存在潜在移植性问题的代码区域,并且实验结果也显示出了较高的检测准确率.

关键词：程序可移植性程序分析符号执行编译器

来源：评论

学校读者我要写书评

暂无评论

多关键字云资源搜索算法研究

引用

计算机应用研究 2016年第9期33卷 2615-2618,2624页

作者：胡德敏张明英上海理工大学光电信息与计算机工程学院上海200093 上海理工大学计算机软件技术研究所上海200093 上海市计算机软件评测重点实验室上海201114

云计算的核心是在虚拟化技术的基础上,通过互联网技术为用户提供动态易扩展的计算资源。利用中心服务器的计算模式来管控网络上大量云资源,使得中心服务器成为整个系统的瓶颈,不利于云计算的大规模应用,因此提出使用对等网络技术构建分... 详细信息

云计算的核心是在虚拟化技术的基础上,通过互联网技术为用户提供动态易扩展的计算资源。利用中心服务器的计算模式来管控网络上大量云资源,使得中心服务器成为整个系统的瓶颈,不利于云计算的大规模应用,因此提出使用对等网络技术构建分布式的云资源索引存储和查询系统,但是结构化拓扑系统维护比较复杂,一般不支持复杂搜索条件查询。提出了一种多关键字云资源搜索算法,在基于分层超级节点的云资源搜索算法基础上进行路由算法改进,希望实现多关键字的精确查询。对多关键字的生成、分割及存储作出了详细说明,提出一种有效的基于数据集的索引搜索策略,实现了包含三个或三个以上的关键字高效、准确查询。分析实验结果证明了算法明显提高了资源搜索的命中率,尤其是随着关键字数目的增多,不仅保证了资源搜索的命中率,同时也大大增加了资源的召回率。

关键词：云计算 P2P网络云对等网络超级节点多关键字资源搜索

来源：评论

学校读者我要写书评

暂无评论

个性化推荐系统评估

引用

南昌大学学报（理科版） 2016年第2期40卷 143-150页

作者：刘攀陈敏刚上海商业发展研究院上海200235 上海市计算机软件评测重点实验室上海201112 上海商学院信息与计算机学院上海201400

论述了个性化推荐系统测评的三类方法,即离线分析、用户调查与在线评估,并分析了这些方法的应用场景与流程。其次,论文从机器学习、信息检索、人机交互及软件工程等四个视角并结合测评方法,对现有的个性化推荐系统的各类评估指标进行了... 详细信息

论述了个性化推荐系统测评的三类方法,即离线分析、用户调查与在线评估,并分析了这些方法的应用场景与流程。其次,论文从机器学习、信息检索、人机交互及软件工程等四个视角并结合测评方法,对现有的个性化推荐系统的各类评估指标进行了分析与总结。论文所述的测评方法与评估指标体系可为推荐算法的综合评估与选择提供指导。

关键词：推荐系统评估指标机器学习信息检索人机交互

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：