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

第五届中国测试学术会议

作者：白哥乐宫云战杨朝红北京邮电大学网络与交换技术国家重点实验室装甲兵工程学院信息工程系

本文简单介绍了软件安全测试,概括的介绍了安全测试,对目前现存的安全测试工具进行了分类,对安全测试工具进行了概括的介绍,并主要介绍了基于源码分析的软件安全测试工具。

关键词：软件安全漏洞软件安全测试源码分析

来源：评论

学校读者我要写书评

暂无评论

区间运算在软件缺陷检测中的应用

区间运算在软件缺陷检测中的应用

引用

第五届中国测试学术会议

作者：王雅文宫云战肖庆杨朝红北京邮电大学网络与交换技术国家重点实验室装甲兵工程学院信息工程系

本文对区间代数理论进行了扩展,并将其应用于程序的静态分析中,提出了一种基于区间运算的程序缺陷检测算法(Defect Testing Based on Interval Arithmetic,DTBIA)。该算法一方面可以直接判定出程序中的不可达路径;另一方面可以应用于软... 详细信息

本文对区间代数理论进行了扩展,并将其应用于程序的静态分析中,提出了一种基于区间运算的程序缺陷检测算法(Defect Testing Based on Interval Arithmetic,DTBIA)。该算法一方面可以直接判定出程序中的不可达路径;另一方面可以应用于软件缺陷检测工具中,减少误报,提高分析结果的准确率。实验结果证实了DTBIA算法的上述特点,与其它同类缺陷检测方法相比,该算法的检测结果的误报数目少,检测的准确率高。

关键词：软件测试静态分析区间运算缺陷检测

来源：评论

学校读者我要写书评

暂无评论

非法计算检测的通用模型

非法计算检测的通用模型

引用

第五届中国测试学术会议

作者：江标宫云战杨朝红北京邮电大学网络与交换技术国家重点实验室装甲兵工程学院信息工程系

非法计算是指符合语法规则,但计算机无法实施的一些计算。例如:除数为0、根号内为负数、对数自变量为0或负数等。它是程序中常见的故障,该类故障往往不容易察觉,但却极易导致系统崩溃。本文首先总结出Java语言中可能产生非法计算的运算... 详细信息

非法计算是指符合语法规则,但计算机无法实施的一些计算。例如:除数为0、根号内为负数、对数自变量为0或负数等。它是程序中常见的故障,该类故障往往不容易察觉,但却极易导致系统崩溃。本文首先总结出Java语言中可能产生非法计算的运算符和数学库函数,然后建立一个通用模型,它可以检测一般函数（包括系统函数和自定义函数）在使用时是否合法,最后基于该通用模型设计了非法计算检测算法,并在此算法中引入区间运算。根据以上模型及算法实现了一个可扩展的自动测试工具,并已应用于软件测试系统中。

关键词：非法计算区间运算静态测试故障模型

来源：评论

学校读者我要写书评

暂无评论

基于网络处理器的防火墙接口扩展的设计与实现

基于网络处理器的防火墙接口扩展的设计与实现

引用

第十三届全国青年通信学术会议

作者：邱光福徐国爱电子科技大学通信与信息工程学院北京邮电大学网络与交换技术国家重点实验室信息安全中心

每个NP4GS3网络处理器可以支持4个千兆网络接口,用三块芯片级联可以支持12个千兆网口,但实现的软硬件技术复杂度增加且防火墙产品成本显著上升。本文提出了一种基于单片NP4SG3网络处理器扩展千兆网络接口方案。该方案利用802.1Q标准定义... 详细信息

每个NP4GS3网络处理器可以支持4个千兆网络接口,用三块芯片级联可以支持12个千兆网口,但实现的软硬件技术复杂度增加且防火墙产品成本显著上升。本文提出了一种基于单片NP4SG3网络处理器扩展千兆网络接口方案。该方案利用802.1Q标准定义的VLAN标签优先级低2位作标识,通过FPGA处理上行和下行至NP的帧,修改原防火墙的微代码,并同步NP和CP,实现千兆网络接口扩展最后通过产品验证。

关键词： VLAN标签接口扩展 NP 优先级 FPGA

来源：评论

学校读者我要写书评

暂无评论

IMS网络接入的安全性分析及改进

IMS网络接入的安全性分析及改进

引用

第十三届全国青年通信学术会议

作者：罗智贵辛阳电子科技大学通信与信息工程学院北京邮电大学网络与交换技术国家重点实验室信息安全中心

本文分析了IMS网络接入的安全机制和不足之处,并基于TNC的认证过程,增加了终端的平台信息认证过程。保证满足平台策略的终端才能接入IMS网络,拒绝或限制接入不安全的终端。

关键词： IMS TNC SIP 网络接入

来源：评论

学校读者我要写书评

暂无评论

基于Lucene算法的移动终端资源搜索引擎研究与设计

引用

北京工商大学学报(自然科学版) 2008年第5期26卷 36-40页

作者：曾庆祥廖建新安宝贵朱春梅于川北京邮电大学网络与交换技术国家重点实验室北京100876 中国移动通信研究院北京100053 中国移动通信研究院北京100053 北京科技大学信息工程学院北京100083 中国移动通信研究院北京100053

随着移动终端软硬件技术的发展,移动终端的功能日益增强,移动终端中存储的数据的种类和数量也在不断增加,如何将用户所需要的数据快速、准确地展现给用户成为了一个亟待解决的问题.研究结合移动终端的特性,通过对Lucene算法进行分析和借... 详细信息

随着移动终端软硬件技术的发展,移动终端的功能日益增强,移动终端中存储的数据的种类和数量也在不断增加,如何将用户所需要的数据快速、准确地展现给用户成为了一个亟待解决的问题.研究结合移动终端的特性,通过对Lucene算法进行分析和借鉴.提出了面向移动终端中用户数据的搜索引擎的可行性方案.

关键词：移动终端搜索引擎 Lucene算法

来源：评论

学校读者我要写书评

暂无评论

基于JPEG2000容错机制的大容量信息隐藏算法

引用

东南大学学报（自然科学版） 2007年第A1期37卷 123-129页

作者：袁开国徐天岭张茹钮心忻杨义先北京邮电大学网络与交换技术国家重点实验室信息安全中心北京100876 北方工业大学信息工程学院北京100041

为了解决在压缩图像中实现高透明性、大容量信息隐藏这一难题,提出了一种基于JPEG2000容错机制的压缩域盲检测信息隐藏算法,在保证解码器不混乱的前提下,按一定规律对压缩码流中对图像质量贡献较小的一部分码流进行替换.实验证明,该算... 详细信息

为了解决在压缩图像中实现高透明性、大容量信息隐藏这一难题,提出了一种基于JPEG2000容错机制的压缩域盲检测信息隐藏算法,在保证解码器不混乱的前提下,按一定规律对压缩码流中对图像质量贡献较小的一部分码流进行替换.实验证明,该算法的隐藏容量非常可观,在对JPEG2000无损压缩图像进行隐藏时,隐藏容量可高达数百字节,占整个图像数据的70%左右,此时图像仍然具有很好的透明性,质量也保持得不错.

关键词： JPEG2000 容错信息隐藏隐藏容量压缩域

来源：评论

学校读者我要写书评

暂无评论

基于模型的软件测试

引用

北京化工大学学报（自然科学版） 2007年第A01期34卷 85-88页

作者：杨朝红宫云战肖庆毕学军装甲兵工程学院信息工程系北京100072 北京邮电大学网络与交换技术国家重点实验室北京1000876

基于模型的软件测试是软件编码阶段的主流测试方法之一。基于多年的测试实践,本文认为基于模型的软件测试技术具有测试效率高、对逻辑复杂故障测试效果好等特点,但是误报、漏报和故障机理是依然需要进一步研究的问题。本文对主要的测试... 详细信息

基于模型的软件测试是软件编码阶段的主流测试方法之一。基于多年的测试实践,本文认为基于模型的软件测试技术具有测试效率高、对逻辑复杂故障测试效果好等特点,但是误报、漏报和故障机理是依然需要进一步研究的问题。本文对主要的测试模型进行了分析和分类,并对其故障密度等参数进行了初步的分析。最后,本文给出了一种基于模型的软件测试方法。

关键词：软件测试静态分析测试模型

来源：评论

学校读者我要写书评

暂无评论

基于JPEG2000容错机制的大容量信息隐藏算法

基于JPEG2000容错机制的大容量信息隐藏算法

引用

第七届全国信息隐藏暨多媒体信息安全学术大会