检索结果-维普期刊中文期刊服务平台

基于RFSM的健壮性测试技术研究被引量：2: 1; 作者王乐春朱培栋龚正虎《通信学报》 EI CSCD 北大核心 2005年第9期21-29,34,共10页; 提出了一种系统实现协议健壮性测试的方法,该方法首先在分析BGP协议状态机的基础上,认为基本FSM对功能部分和健壮性处理部分未能严格区分。要提高FSM的健壮性,就需要通过增加状态、迁移和事件的基础上构造具有健壮性处理过程的RFSM(robu... 展开更多; 关键词健壮性测试 RFSM 反向测试集 BGP协议; 在线阅读下载PDF 职称材料

数字图书馆推广工程软件平台体系设计与实践研究被引量：5: 2; 作者王乐春钟晶晶《图书馆理论与实践》 CSSCI 北大核心 2015年第1期1-6,共6页; 数字图书馆推广工程软件平台建设是工程建设的主要内容之一,本文对推广工程的软件平台体系架构进行简要介绍,对软件平台的推广部署实践和软件平台体系建设的调整与完善做重点分析和总结,反思推广工程软件平台体系的规划设计思路,提出下... 展开更多; 关键词数字图书馆推广工程软件平台; 在线阅读下载PDF 职称材料

BGP-4健壮性测试系统设计与实现: 3; 作者王乐春朱培栋龚正虎《大连理工大学学报》 EI CAS CSCD 北大核心 2005年第z1期21-24,共4页; 健壮性测试是协议测试的重要内容,健壮性测试对其测试系统的设计和实现提出了新的要求.为此提出了一种适用于BGP健壮性测试的方法———具有中心控制的远程横断测试方法,然后利用基于执行的软硬件结合入侵式错误注入技术,提出了健壮性... 展开更多; 关键词健壮性测试 BGP协议测试方法体系结构; 在线阅读下载PDF 职称材料

面向基础教育的非教材类推荐书目研究被引量：2: 4; 作者敦文杰王乐春杨东波《图书馆理论与实践》 CSSCI 北大核心 2017年第11期16-18,50,共4页; 课外阅读是青少年陶冶情操、拓展知识面和提高自身素养的重要途径。国家图书馆依托丰富的数字化馆藏资源,以我国中小学各主要学科知识体系为基础,通过关键元数据字段自动匹配和专家人工选择相结合的方式遴选出优秀非教材类图书一万册供... 展开更多; 关键词推荐书目基础教育课外阅读; 在线阅读下载PDF 职称材料

题名基于RFSM的健壮性测试技术研究被引量：2: 1; 作者王乐春朱培栋龚正虎; 机构国防科学技术大学计算机学院网络所; 出处《通信学报》 EI CSCD 北大核心 2005年第9期21-29,34,共10页; 基金国家"973"重点基础研究发展计划基金资助项目(2003CB314802) 国家自然科学基金资助项目(90204005) +1 种基金 2005AA121570); 文摘提出了一种系统实现协议健壮性测试的方法,该方法首先在分析BGP协议状态机的基础上,认为基本FSM对功能部分和健壮性处理部分未能严格区分。要提高FSM的健壮性,就需要通过增加状态、迁移和事件的基础上构造具有健壮性处理过程的RFSM(robustnessfinitestatemachines),把RFSM模型应用到BGP健壮性测试当中,文章详细构造了BGP冲击集合和RFSM,生成了反向测试集,并对测试特征序列和测试预言等问题进行了讨论。Cisco7200实际测试应用表明,用该方法生成的测试集与一致性测试集相比,其错误处理的覆盖率扩大了54%,检错能力提高了2.8倍。; 关键词健壮性测试 RFSM 反向测试集 BGP协议; Keywords robusmess testing RFSM negative test suite BGP; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名数字图书馆推广工程软件平台体系设计与实践研究被引量：5: 2; 作者王乐春钟晶晶; 机构国家图书馆; 出处《图书馆理论与实践》 CSSCI 北大核心 2015年第1期1-6,共6页; 文摘数字图书馆推广工程软件平台建设是工程建设的主要内容之一,本文对推广工程的软件平台体系架构进行简要介绍,对软件平台的推广部署实践和软件平台体系建设的调整与完善做重点分析和总结,反思推广工程软件平台体系的规划设计思路,提出下一步推广工程软件平台建设需考虑的重要问题。; 关键词数字图书馆推广工程软件平台; 分类号 G250.76 [文化科学—图书馆学]; 在线阅读下载PDF 职称材料

题名BGP-4健壮性测试系统设计与实现: 3; 作者王乐春朱培栋龚正虎; 机构国防科学技术大学计算机学院; 出处《大连理工大学学报》 EI CAS CSCD 北大核心 2005年第z1期21-24,共4页; 基金国家"973"重点基础研究发展计划基金资助项目(2003GB314802) 国家自然科学基金资助项目(90204005) +1 种基金 2005AA121570); 文摘健壮性测试是协议测试的重要内容,健壮性测试对其测试系统的设计和实现提出了新的要求.为此提出了一种适用于BGP健壮性测试的方法———具有中心控制的远程横断测试方法,然后利用基于执行的软硬件结合入侵式错误注入技术,提出了健壮性测试系统的体系结构.该测试系统应用到核心路由器的协议研发中,显著地提高了核心路由器的稳定性和可靠性.; 关键词健壮性测试 BGP协议测试方法体系结构; Keywords robustness-testing BGP testing method architecture; 分类号 TP393.06 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名面向基础教育的非教材类推荐书目研究被引量：2: 4; 作者敦文杰王乐春杨东波; 机构国家图书馆; 出处《图书馆理论与实践》 CSSCI 北大核心 2017年第11期16-18,50,共4页; 基金国家高技术研究发展计划(863计划)课题"面向基础教育的海量知识库建设与构建关键技术及系统"(项目编号:2015AA015401)研究成果之一; 文摘课外阅读是青少年陶冶情操、拓展知识面和提高自身素养的重要途径。国家图书馆依托丰富的数字化馆藏资源,以我国中小学各主要学科知识体系为基础,通过关键元数据字段自动匹配和专家人工选择相结合的方式遴选出优秀非教材类图书一万册供读者阅读学习,不仅为我国基础教育提供了优质的内容资源,而且有助于提高我国中小学学生的阅读效益。; 关键词推荐书目基础教育课外阅读; Keywords Recommended Bibliography Basic Education Extracurricular Reading; 分类号 G252.1 [文化科学—图书馆学]; 在线阅读下载PDF 职称材料