基于局部错误诊断的动态协议一致性测试方法

为提高测试结果的可靠性和错误覆盖率，在动态协议一致性测试过程中引入局部错误诊断机制，提出了一种新的动态测试方法，并在确定有限状态机模型下分析其原理及正确性. 新的测试方法充分利用了测试过程产生的动态信息对待选测试序列进行排选，有效避免了对局部错误位置的错误判断. 同时，提出了一种基于错误子列的局部错误诊断方式，突破了单一错误假设的局限，更具实用价值. 实验结果表明，该测试方法可以有效地避免由于局部错而误造成的测试结果可靠性的降低，具有更好的错误覆盖率.     

路由协议一致性测试系统研究及实现

文章通过对路由协议特点的分析,指出了路由协议一致性测试所包含的内容和目的,根据测试的内容和对现有的测试方法和测试系统的研究,提出了一种针对路由协议一致性测试的分布式虚拟测试法,它使用一个控制模块组织多个虚拟测试体协同工作实现对待测体的测试。依据这种方法,实现了一个可扩展的路由协议测试系统,并完成了IPv6路由协议的一致性测试。文中以对OSPFv3的测试作为示例。     

IPv6中OSPF协议的一致性测试系统设计

根据协议一致性测试的特点和要求,针对OSPF协议的特点,介绍了一种OSPFv3协议一 致性测试系统的设计方法。该方法使用带有控制通道的多个虚拟测试器环境,用Tcl语言作为测试 例的描述语言,具有很好的测试能力和灵活性。使用该系统,成功对多个不同的OSPFv3实现进行了 测试,给出了测试实例,并提出进一步的工作方向。     

基于有限状态机的错误诊断算法

基于有限状态机的协议的一致性测试问题已经得到了广泛的研究。在检测到错误后,如何诊断错误是一个很重要的问题。该文在有限状态机模型和单个错误的假设下,提出了一种新的错误诊断算法,该算法利用已经确定正确的转换信息以及可疑转换的下一个输入/输出对的头状态集合等信息来高效地诊断单个错误。文中给出了与已有的错误诊断算法的比较结果,并且用一个具体的实例来详细描述本文提出的算法。     

RIP一致性测试系统的设计与实现

针对协议一致性测试的要求和特点,提出了一种RIP协议一致性测试系统的设计,并给出了具体的实现。该系统采用虚拟测试法来完成对被测体的测试,利用有限状态机以确保测试套的完备性,并使用TCL语言作为测试例的脚本描述语言。文中给出了一个基于该系统的测试实例。试验结果表明,这一系统具有较好的测试能力及可靠性高、可移植性好等特点,为今后相关协议测试系统的实现提供了有益的借鉴。     

基于构造类别代数的数据流和控制流相结合的协议测试

如何从协议规范中生成即考虑控制流又兼顾数据流的测试用例是一个很有挑战的问题, 本文提出了一种基于构造类别代数的数据流与控制流相结合的测试方法, 给出了在其上的测试用例生成算法, 有限状态机模型到构造类别代数模型的转换算法, 并且给出了在一个实际的路由协议RIP 的测试中的应用例子.     

一种新的图像边缘检测算法

提出了一种新图像边缘检测算法。与其他方法不同，该文从图像边缘的特性入手来解决边缘检测问题，为此定义了一系列边缘点约束条件作为算法基础，并用集合论的方法解决了这些约束问题，进而建立了整个边缘检测算法。     

基于PowerPC的无线局域网安全分析终端设计

WLAN由于无线信道的开放性和安全机制的缺陷,需要安全分析系统进行管理。选用PowerPC(mpc8270)处理器为硬件平台,嵌入式Linux系统为软件平台,设计并实现了安全分析系统中的无线局域网安全分析终端。终端提供了WLAN报文的抓取、定制发送、编解码及测试脚本的解析与执行等功能。     

钢轨打磨用钎焊金刚石砂轮研究

为解决传统树脂砂轮打磨钢轨时存在的打磨效率低、易烧伤钢轨和粉尘污染大等问题,分析利用钎焊金刚石技术的优势制备新型钢轨打磨用砂轮的可行性。结合磨粒有序排布工艺,制备具有开槽结构的新型钎焊金刚石砂轮,并对U71Mn钢轨钢进行打磨对比试验。结果表明：相较于树脂锆刚玉砂轮,新型钎焊金刚石砂轮能提高50%左右的打磨效率,并有效降低磨削温度,避免钢轨烧伤。在钢轨打磨过程中,新型钎焊砂轮排屑效果显著,基本不发生磨屑黏附现象;但砂轮开槽导致磨削振动增大,加剧金刚石磨粒破碎,并增大钢轨表面粗糙度。新型砂轮磨屑多为带状,磨屑体积大且无熔融小球。     

数据流定性化方法研究

数据流定性化处理，是在考虑噪声影响的情况下，对数据流进行处理，最终将数据流 化分为单调变化的区段．这是定性仿真应用中的一个关键问题．本文在分析基于线性最小方 差拟合的数据流定性化方法的基础上，改进其定性核心函数．提出了基于偏度系数的数据流 定性化方法．并通过具体数据分析，证明了该方法的有效性．