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

第八届全国测试学术会议

作者：邢颖宫云战王雅文张旭舟北京邮电大学网络与交换技术国家重点实验室北京100876 辽宁工程技术大学电子与信息工程学院葫芦岛125105 北京邮电大学网络与交换技术国家重点实验室北京100876 北京邮电大学网络与交换技术国家重点实验室北京100876 中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190

本文主要工作集中于基于分支限界搜索框架的测试用例生成算法的研究.将面向路径的测试用例生成问题定义为约束满足问题,通过状态空间搜索建模,结合分支限界和爬山法进行约束求解.提出了基于变量级别的动态排序方法来连接分支限界与爬山... 详细信息

本文主要工作集中于基于分支限界搜索框架的测试用例生成算法的研究.将面向路径的测试用例生成问题定义为约束满足问题,通过状态空间搜索建模,结合分支限界和爬山法进行约束求解.提出了基于变量级别的动态排序方法来连接分支限界与爬山法.变量的初始值依据启发式规则进行选取,并从这个初始值开始通过目标函数的计算来完成爬山过程.文中方法充分发挥了分支限界和爬山法的优势,实验验证该方法对于较复杂的被测程序可以很好地生成测试用例,在覆盖率上优于一些动、静态测试用例生成方法,可应用于实际工程的测试.

关键词：软件工程测试用例自动生成分支限界爬山法约束求解

来源：评论

学校读者我要写书评

暂无评论

一种隐写算法安全性分析

一种隐写算法安全性分析

引用

2009通信理论与技术新发展——第十四届全国青年通信学术会议

作者：田园张茹武嘉陈恩庆北京邮电大学网络与交换技术国家重点实验室信息安全中心郑州大学信息工程学院

针对一种基于Huffman编码的MP3算法进行安全性分析,通过公式推导得出在一定条件下,算法符合Cachin绝对安全的定义,但是不能抵抗感官分析攻击.通过实验证明了相对熵相同而透明性不同的载密文件听觉效果差别很大。因此,Cachin定义的绝对... 详细信息

针对一种基于Huffman编码的MP3算法进行安全性分析,通过公式推导得出在一定条件下,算法符合Cachin绝对安全的定义,但是不能抵抗感官分析攻击.通过实验证明了相对熵相同而透明性不同的载密文件听觉效果差别很大。因此,Cachin定义的绝对安全存在不足,隐写算法的绝对安全性不仅与相对熵成反比,而且与透明性成正比.基于完善后的安全评价标准,提出了改进基于Huffman编码的MP3算法的具体方案。

关键词：隐写分析绝对安全相对熵 Huffman编码 MP3

来源：评论

学校读者我要写书评

暂无评论

多重边融合复杂动态网络的自适应同步

多重边融合复杂动态网络的自适应同步

引用

北京邮电大学信息工程学院第四届学术年会

作者：高洋李丽香彭海朋杨义先张小红北京邮电大学网络与交换技术国家重点实验室信息安全中心北京 100876 北京邮电大学网络与交换技术国家重点实验室信息安全中心北京 100876 江西理工大学信息工程学院赣州 341000

基于网络拆分的思想对多重边融合复杂动态网络局部和全局的自适应同步进行了研究。通过给出严格的数学定义及假设，运用Lyapunov稳定理论得出了网络局部和全局的同步准则，给出了更为简单的网络同步的控制器。最后以Lorenz系统为例进行... 详细信息

基于网络拆分的思想对多重边融合复杂动态网络局部和全局的自适应同步进行了研究。通过给出严格的数学定义及假设，运用Lyapunov稳定理论得出了网络局部和全局的同步准则，给出了更为简单的网络同步的控制器。最后以Lorenz系统为例进行数值仿真，验证了结论的正确性和有效性。

关键词：多重边融合复杂动态网络自适应同步网络拆分时滞 Lyapunov稳定理论

来源：评论

学校读者我要写书评

暂无评论

基于静态分析的死锁检测

基于静态分析的死锁检测

引用

数字出版背景下的数字内容安全——2010年亚太信息网络与数字内容安全会议

作者：杨朝红彭平雷刘海燕刘军辉装甲兵工程学院信息工程系北京邮电大学网络与交换技术国家重点实验室

死锁是分布式和并发程序中的常见缺陷。静态分析技术是软件缺陷检测的主要手段之一。本文基于静态分析技术提出了一种死锁检测方法,该方法将死锁检测这一复杂问题分解成为四个子问题—可达分析、别名分析、并发分析、以及Gatelock分析,... 详细信息

死锁是分布式和并发程序中的常见缺陷。静态分析技术是软件缺陷检测的主要手段之一。本文基于静态分析技术提出了一种死锁检测方法,该方法将死锁检测这一复杂问题分解成为四个子问题—可达分析、别名分析、并发分析、以及Gatelock分析,本文详细讨论了这四个子问题的解决方法。

关键词：死锁静态分析

来源：评论

学校读者我要写书评

暂无评论

基于源码分析的软件安全测试工具综述

基于源码分析的软件安全测试工具综述

引用

第五届中国测试学术会议

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

第五届中国测试学术会议

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

多线程死锁静态检测方法研究

多线程死锁静态检测方法研究

引用

第十四届全国容错计算学术会议(CFTC'2011)

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

死锁会导致程序无法正常运行或终止,甚至导致系统崩溃,带来不必要的损失。死锁的运行状态空间过大,难于重现和修正等问题使其成为软件领域的难题之一。本文基于对Java多线程程序死锁的分析,提出了多线程死锁静态检测方法。该方法首先通... 详细信息

死锁会导致程序无法正常运行或终止,甚至导致系统崩溃,带来不必要的损失。死锁的运行状态空间过大,难于重现和修正等问题使其成为软件领域的难题之一。本文基于对Java多线程程序死锁的分析,提出了多线程死锁静态检测方法。该方法首先通过对待测源程序的预分析,生成抽象语法树和控制流图等辅助分析结构;然后通过可达分析检测程序中线程的并发特征,使用别名分析检测所有可能存在死锁情况;之后,对潜在的死锁集合进行分析,通过门锁分析和并发与逃逸分析,排除其中不可能的死锁情况,逐步缩小死锁集合,提高检测精度。本文通过对225K行代码测试,验证了该方法可有效检测多线程程序中潜在的死锁问题。

关键词：死锁检测静态分析别名分析

来源：评论

学校读者我要写书评

暂无评论

非法计算检测的通用模型

非法计算检测的通用模型

引用

第五届中国测试学术会议

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

低轨卫星网络中业务图驱动的星间协作计算方案

引用

天地一体化信息网络 2021年第2期2卷 35-44页

作者：国晓博任智源程文驰纪哲中国电子科技集团第五十四研究所河北石家庄050081 西安电子科技大学综合业务网理论及关键技术国家重点实验室陕西西安710071 北京邮电大学信息与通信工程学院北京100876

低轨卫星网络具备覆盖范围广、星地链路短等优点,成为当前的热点研究领域。针对将业务卸载到云计算中心产生过高传输时延的问题,提出在低轨卫星网络中实现业务图驱动的星间协作计算方法。该方法首先依托加权时间扩展图模型,屏蔽低轨卫... 详细信息

低轨卫星网络具备覆盖范围广、星地链路短等优点,成为当前的热点研究领域。针对将业务卸载到云计算中心产生过高传输时延的问题,提出在低轨卫星网络中实现业务图驱动的星间协作计算方法。该方法首先依托加权时间扩展图模型,屏蔽低轨卫星网络的动态性;之后联合多颗卫星的计算资源和星间链路资源,将有向无环图形式的业务调度到传输路径内的卫星上,实现业务在低轨卫星网络内的“边传输边计算”。仿真结果表明,当数据量取5 MB时,星间协同计算的时延性能相比地面云计算提高了58.9%。

关键词：低轨卫星网络时间扩展图星间协作计算

来源：评论

学校读者我要写书评

暂无评论

一种隐写算法安全性分析

一种隐写算法安全性分析

引用

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

作者：田园张茹武嘉陈恩庆北京邮电大学网络与交换技术国家重点实验室信息安全中心北京 100876 郑州大学信息工程学院河南 450001 北京邮电大学网络与交换技术国家重点实验室信息安全中心北京 100876 郑州大学信息工程学院河南 450001

针对一种基于Huffman编码的MP3算法进行安全性分析，通过公式推导得出在一定条件下，算法符合Caehin绝对安全的定义，但是不能抵抗感官分析攻击．通过实验证明了相对熵相同而透明性不同的载密文件听觉效果差别很大．因此，Cachin定义的... 详细信息

针对一种基于Huffman编码的MP3算法进行安全性分析，通过公式推导得出在一定条件下，算法符合Caehin绝对安全的定义，但是不能抵抗感官分析攻击．通过实验证明了相对熵相同而透明性不同的载密文件听觉效果差别很大．因此，Cachin定义的绝对安全存在不足，隐写算法的绝对安全性不仅与相对熵成反比，而且与透明性成正比．基于完善后的安全评价标准，提出了改进基于Huffman编码的MP3算法的具体方案．

关键词：隐写分析绝对安全相对熵 Huffman编码 MP3算法安全评价

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：