应用于计算机网络协议一致性测试的传输机制

测试传输在很大程度上影响测试系统实现和测试集设计.良好的传输方法能够对测试集设计者屏蔽被测协议实现的相关信息,同时简化测试配置.根据测试集设计和测试传输分离的思想,采用通信实体和网络接口相结合的机制实现测试传输,网络接口用于定义逻辑测试接口的类型和相应的参数,相当于一台逻辑测试器;通信实体用于向逻辑测试器屏蔽下层服务提供者的类型,完成测试数据的发送／接收工作.该传输机制在IPv6协议一致性测试系统中获得了成功.

IPv6协议安全问题研究

全面分析了IPv6协议本身的内在安全特性和附加的外在安全特性 .在此基础上 ,分析了IPv6可能遇到的安全问题 ,包括针对内部数据结构的安全威胁、可移动性面临的安全威胁 ,以及IPv6对现有安全体系结构的挑战 .对相应的安全问题 ,详细描述了问题的来源和特性 ,并提出了解决这些问题的技术方案 .

基于包对采样的IP网络时延变化测量方法

时延变化是反映网络路径负载特征的IP网络性能指标 基于路径排队模型 ,发现时延变化对负载的反映受探测包发送时间间隔影响 因参考时延选取不当及采样方式限制 ,现有方法所测时延变化只粗略反映路径负载 提出了包对采样方法选取恰当参考时延 ,避免采样方式限制 ,增强了时延变化反映路径负载的能力 ;同时确定了探测包发送时间间隔的下界

基于WinPcap的实时网络监测系统

实现了一个基于WinPcap的实时网络流量监测系统，完成了数据包级和流级的流量指标，包括2～7层协议分布，不同协议的流量速率，包大小分布，不同聚集程度的流分布。前N名的IP主机和主机对分布等；并提供网络运行状态的告警指标．实验结果表明，对于100M以太网。基于WinPeap的软件捕获流量监测程序的处理上限为60000packet／s，完全可以胜任100M以太网监测需求．

网络测量中自适应数据采集方法(英文)

抽样方法广泛地应用于网络测量与其他领域对被测总体的指标进行估计.研究表明,多种网络指标呈现重尾分布或自相似的特征.这些特性为准确估计总体指标带来了诸多困难.但同时,对被测网络指标进行建模也有着重要的应用.然而,建立精确网络模型是困难的.从时间序列拟合角度出发,提出了一种基于拟合的自适应抽样方法,对被测指标进行基于测量的建模.工作主要体现在: (1) 采用分段线性函数对被测指标进行逼近,建立基于测量的模型; (2) 与常用的抽样方法相比,在相同的样本数情况下,由拟合模型对指标进行的估计更准确、更稳定;通过对两个测量记录的分析表明,在与常用抽样方法保持相同的拟合误差时,自适应抽样方法明显地减少了所需采集的样本数量; (3) 与其他概率抽样方法相比,自适应抽样最终抽取的样本数更稳定、更可靠,并给出了最终样本数的概率分布.

软件故障暴露率的计算方法

软件的故障暴露率是软件测试和软件可靠性测试的一个重要参数 ,对高可靠性软件特别是军用软件的可靠性评估有关键的作用 根据PIE分析技术 ,给出软件单个故障或多个故障随机测试的效率分析 ,并以此为基础 ,给出软件故障暴露率的计算方法 。

网络流量的半马尔可夫模型

引入半马尔可夫模型描述网络流量特性,通过忙阈值和闲阈值的设定将网络流量划分为四种状态:忙、空闲、上升和下降,研究各状态下的网络流量特性及各状态间的相互转换关系.通过网络协议性能分析,在一定的假设条件下推出IP网络流量在处于忙状态时服从几何布朗运动,在空闲状态下服从正态分布,在上升状态或下降状态下服从指数分布.对广域网和局域网的实际流量数据的分析和检验表明,95%的数据均服从相应状态下的上述随机分布,同时根据此模型计算的系统平均利用率与实际统计结果之间的相对误差小于5%,说明引入的模型能真实反映网络流量特性.

基于网络流量半马尔柯夫模型的流量预测

引入了半马尔柯夫模型描述网络流量特性,并在该模型的基础上分析推导了相应的流量预测方法。分别对广域网和局域网不同时间尺度统计的实际流量数据进行分析和短期、长期预测,所有数据的实际预测精确度均小于预先设定的置信度。说明引入的模型能真实反映网络流量特性,基于该模型的流量预测方法具有良好的预测性能且适用于不同长度的预测。

基于轨迹标签的无结构P2P副本一致性维护算法

副本的存在是一种提高P2P系统的可扩展性、容错性、可用性和减少查询响应时间的有效手段.随着P2P应用逐渐由只读静态文件共享转换为需要实时更新的读写动态文件交互,副本一致性维护成为确保新业务正确运行的关键.从直接更改消息报文角度出发,提出一种基于节点轨迹标签的无结构P2P副本一致性维护算法,通过在传输消息的报文中添加已接收更新消息的节点轨迹地址链表标签,可以在消息传输源节点进行冗余判断,以减少冗余消息数目.同时,针对直接存储节点地址轨迹标签算法的消息长度随着消息传输轮数和网络度数增加而不断加大的问题,提出一种用Bloomfilter替代地址链表轨迹标签的算法.通过Bloomfilter这种简洁的结构表示地址链表,可以减少添加到报文中的轨迹长度,利用Bloomfilter的“或”运算可以简化传输节点的冗余判断.实验结果表明:节点轨迹标签算法可以极大地降低冗余消息数目,提高P2P系统的可扩展性.副本节点网络连通性越强,消息数目和传输带宽的减少就越明显.该研究可以用到传感器网络等其他自组织网络的一致性维护中.

单向延迟测量中时钟动态性检测算法(英文)

延迟是评价网络性能的重要指标,也是进行其他网络性能指标测量的基础.基于全球定位系统(GPS)的端到端(end-to-end)时钟同步是测量网络单向指标的常用方法,但是其代价昂贵且缺乏灵活性.在无端到端时钟同步机制下进行网络单向延迟指标测量的关键是消除时钟偏差效应的影响.基于对时间序列分段技术的分析,提出了一种新的时间序列分段标准与改进的分段算法,实现序列的自动聚类,其时间复杂度为O(N2).将该算法应用于检测端到端时钟的动态性,识别测量过程中时钟跳变和时钟频率调整位置,实现对网络单向延迟的测量,弱化了同类工作中对时钟动态性的严格假设.同时提出了基于滑动窗的在线实时时钟动态性检测算法.实际测试实验表明,该算法是行之有效的.

邻居发现协议的形式化测试

Neighbor Discovery(邻居发现 ,ND)协议是下一代互联网协议 IPv6协议中的一个重要组成部分 .随 IPv6在我国的推广应用 ,各种设备蜂拥而来 ,由于各协议实现厂家对协议的不同理解 ,通信设备的协议非一致性问题将日趋严重 ,为了检查各个不同生产厂家的实现是否与标准文本相一致 ,进而确保不同厂家的 IPv6实现之间能够互操作 ,提出了一种协议一致性测试的方法 ,并开发了 IPv6协议实现一致性测试系统 .给出了该测试系统的结构 ,并利用自定义的一种形式化描述语言 ,实现了邻居发现协议一致性测试集的形式化 .并通过对 Solaris8上的 IPv6协议实现进行测试 ,给出测试报告和结果分析 .

降低时延测试功耗的有效方法

研究时延测试 (应用 )中的功耗问题 ,提出一种降低时延测试功耗的测试向量排序方法 .该方法利用时延测试向量对之间的海明距离为测试向量对排序 .实验研究表明 :在不降低时延故障覆盖率的前提下 ,测试功耗平均降低 90 %

IPv4/IPv6双栈防火墙的设计与实现

IPv6的新特点和应用对现有的安全设备结构提出了挑战。同时,从IPv4升级到IPv6是一个长期的过程,两种协议在一定时间内将共同存在。因此,需要设计支持IPv4、IPv6双协议的防火墙以适应过渡时期的需要和IPv6新特点对防火墙的要求。论述了IPv4/IPv6防火墙的设计需要考虑的防火墙位置、IPv6与IPv4的差异及性能,然后介绍防火墙实现的步骤和将要进行的工作。

一种新的CMOS电路最大功耗估计方法

过大的峰值功耗会使芯片承受过大的瞬间电流冲击 ,降低芯片的可靠性及性能 ,因此有效地对电路最大功耗作出精确的估计非常重要 .为了在尽可能短的时间内对 VL SI电路的最大功耗下限作出较为可信的估计 ,给出了一种新的 CMOS电路最大功耗估计方法 .ISCAS85电路集的实验结果表明这种估计方法不仅对于无时间延迟功耗计算模型 ,而且对于有时间延迟功耗计算模型 ,都具有最大功耗估计值较准确和耗时短的优点 .

通用CPU设计验证中的等价性检验方法

针对传统的模拟验证方法需要大量的时间且难以获得完全的覆盖率的局限性 ,提出了目前应用最广泛的一种形式验证方法———等价性检验在一款通用CPU设计验证中的应用方案 ,包括寄存器传输级 (RTL)设计与门级网表、门级网表与门级网表、RTL设计与RTL设计之间的功能等价性验证 此外 ,给出了验证过程中一些常见问题的解决办法 验证结果表明了该方法的可行性 。

模型检验中迁移关系的分组策略

迁移关系的构建是基于BDD模型检验中的一个重要环节 ,而建立占内存尽可能小且运算高效的迁移关系一直是难点 ,通常做法是对迁移关系进行分割 提出一种的对按位分割后的迁移关系进行分组的方法 通过对IS CAS 89中时序电路的试验表明 。

电路宽度制导的布尔推理

在基于逻辑电路的布尔推理过程中 ,经常用到二叉判决图 (BDD)与布尔可满足性 (SAT)相结合的算法 由于电路宽度能很好地反映电路的复杂性 ,提出了一种基于电路宽度的启发式策略 ,根据电路宽度来实现SAT算法与BDD算法的交替 充分发挥两者的优势 ,不仅可以防止因构造BDD可能导致的内存爆炸 ,而且还能避免SAT算法可能遇到的超时现象 与以往同类策略相比 ,该启发式策略更节省计算资源 ,提高算法性能 针对组合电路的测试产生实验 。

深亚微米CMOS电路漏电流快速模拟器

随着工艺的发展 ,功耗成为大规模集成电路设计领域中一个关键性问题 降低电源电压是减少电路动态功耗的一种十分有效的方法 ,但为了保证系统性能 ,必须相应地降低电路器件的阈值电压 ,而这样又将导致静态功耗呈指数形式增长 ,进入深亚微米工艺后 ,漏电功耗已经能和动态功耗相抗衡 ,因此 ,漏电功耗快速模拟器和低功耗低漏电技术一样变得十分紧迫 诸如HSPICE的精确模拟器可以准确估计漏电功耗 ,但仅仅适合于小规模电路 首先证实了CMOS晶体管和基本逻辑门都存在堆栈效应 ,然后提出了快速模拟器的漏电模型 ,最后通过对ISCAS85& 89基准电路的实验 ,说明了在精度许可 (误差不超过 3% )的前提下 ,模拟器获得了成百倍的加速 。

IPv6防火墙的设计与实现

IPv6所提供的巨大的地址空间以及所具有的诸多优势和功能。本文首先介绍了IPv6与IPv4的差异以及IPv6新特点对防火墙的要求,然后介绍了我们开发出的一种支持IPv6协议的防火墙。

针对可观测性语句覆盖准则的RTL激励生成

传统的语句覆盖准则只考虑语句的可控制性,忽略其可观测性,这可能导致表面上很高的覆盖率数据所蕴含的可信度不高·鉴于此,可观测性覆盖评估准则被提了出来·随着设计规模不断加大,该准则变得越来越重要·首先提出一种可观测性信息的表征方式以及可观测性判定规则,在此基础上,提出一种针对可观测性语句覆盖准则的RTL激励生成方法·这是一种基于模拟的方法,它以所有未观测语句的分布作为启发式信息,指导激励生成·实验结果显示,提出的方法是高效的·