【摘 要】
：
提出了一种系统实现协议健壮性测试的新方法。该方法通过深入分析BGP的路由信息处理过程,提出场景模型来描述决策过程和更新过程的应用环境和控制参数,基于该模型通过定义场景单元、表达式、谓语、接口、行为和功能重新表述了RI-Pro过程,并提出了适用于BGP的RI-Pro的变异操作集合,通过规范变异方法构建了用于构造健壮性测试案例的关系集合。实验表明,使用该方法生成案例数目相对单纯依靠协议文本生成的反向测
【机 构】
：
湖南人文科技学院计算机系,国防科学技术大学计算机学院
论文部分内容阅读
提出了一种系统实现协议健壮性测试的新方法。该方法通过深入分析BGP的路由信息处理过程,提出场景模型来描述决策过程和更新过程的应用环境和控制参数,基于该模型通过定义场景单元、表达式、谓语、接口、行为和功能重新表述了RI-Pro过程,并提出了适用于BGP的RI-Pro的变异操作集合,通过规范变异方法构建了用于构造健壮性测试案例的关系集合。实验表明,使用该方法生成案例数目相对单纯依靠协议文本生成的反向测试案例在数量上提高24%,其检错能力是正向测试集的2.3倍。
其他文献
分析了协同设计中冲突产生的原因和冲突消解的技术,提出了一种基于规则推理的冲突消解体系结构,并在冲突消解的规则推理过程中运用了一种快速的规则匹配算法,提高了在冲突消解过程中的规则匹配效率,同时降低了协同设计过程中冲突消解的时间及空间复杂度。
多银行电子现金是电子商务走向实用的一个研究重点,然而这种离线方案存在重复花费问题,会对银行造成巨大损失。针对该问题,首先建立了一种基于智能卡的多银行离线电子现金模型,在此基础上,提出了相应的交易协议。该协议在多家银行协同工作的情况下,通过智能卡预先阻止和银行事后检测的双重保护机制,有效地解决了重复花费问题。分析表明,该协议具有很好的安全性、公平匿名性、不可伪造性和实用性。
针对存储系统中由于访问集中等原因引起系统性能下降的热点问题,提出了一种基于数据迁移的解决算法。通过对存储系统访问频率的统计以及迁移算法确定数据迁移的源地址和目标地址,通过迁移来消除热点。并通过模拟的环境和实验,结果表明算法有效地消除了系统出现的热点,并在一定程度均衡了负载,提高了系统性能。
针对工作流系统中存在的异常问题,提出了一个基于WF-net和ECA规则的工作流恢复网模型,给出了模型元素与ECA规则的映射关系。模型在设计时采用WF-net结构,运行时通过预定义的操作函数动态调整工作流结构。采用基于任务的恢复策略,利用ECA规则自动处理可预测异常;考虑任务间的数据依赖,采用人工恢复策略处理不可预测异常。
用一个一致的、可容许的启发函数来分析IDFA*算法从而准确地预测其运行时间。传统的分析以启发值的精确性作为启发函数的特征,启发函数的作用相当于减小有效的分支因数。现以问题空间上启发值的分布为启发函数的特征,启发函数的作用相当于减小有效的搜索深度。实验结果表明用该分析结论可以准确地预测IDFA*在鲁比克魔方这个实际问题上的性能。
针对目前XML数据流处理中通常采用的查询语言XPath和XQuery均不支持空间运算,无法应用到空间数据流处理技术中的问题,设计了一种通过扩展现有商业化XQuery引擎功能基础上的空间数据流检索方法。
介绍了目前数据库中间件研究与发展状况和面向服务架构(SOA)的特点,提出了基于SOA架构的数据库中间件设计方法,构造了基于SOA的数据库中间件的一种应用模型,并在工业现场实时数据集成系统中对该模型进行了应用和研究。
在软件系统开发中,不同模块间需要进行信息的交互、数据的传递,并处理不同情况发生时的逻辑关系。尤其涉及多级模块协调同步时,这种协同响应机制就更为复杂。基于Java语言的属性事件协同技术能有效处理此类问题。通过构造共享的属性事件池,利用事件的触发与响应机制实现不同模块间的协同沟通。对该技术的构思、技术过程及基于Java语言的实现进行了介绍。
在分析视觉系统特征的基础上提出了一种新型的Contourlet域分层数字水印技术。该方法利用视觉系统对不同区域、不同局部特征的噪声敏感性不同设置相应的区域水印权重和局部水印权重,将水印按照设置的分层权重嵌入到Contourlet分解后的方向子带中。利用所提出的新型多分辨率检测器,通过与传统水印方法比较表明,该方法具有较好的透明性和盲检测性;对于常见的压缩、中值滤波等图像处理攻击,该方法表现了很好的
针对跨组织协同环境下的业务流程建模技术的不足,提出了一个新的用于跨组织业务流程的形式化建模方法。首先根据工作流管理联盟(W fMC)的有关工作流过程定义接口规范,利用Pi-Calculus技术对跨组织业务流程结构进行了形式化定义。此外,利用Pi-Calculus特有机制对并发流程及其之间的通信进行描述。提出的方法可以有效用于不同业务流程间的协同工作,并且适合于对分布式协同环境下的工作流进行建模。