基于Petri网的Socks V5之验证协议阶段建模研究

Socks V5协议是一个基于客户机/服务器结构的网络代理协议。以Petri网为工具建立了Socks V5验证协议阶段的模型,并用矩阵方程对模型进行了分析研究。     

V5协议简述及V5对接信令分析

本文详尽阐述了V5协议,V5以其标准化、支持多种接入业务的特点成为现在使用最为广泛的接入网接口标准,V5的各层信令的作用,并详尽地分析了V5对接典型信令序列,结合实际提出ZXA10接入网设备V5对接调试方法。     

基于双阳极界面修饰层有机太阳能电池研究

为提高有机太阳能电池的能量转换效率,提出一种基于双阳极界面修饰层的有机太阳能电池优化方案。该方法主要采用四氟乙烯( PTFE: Polytetrafluoroethylene) 和五氧化二钒( V2O5: Vanadiumpentoxide) 作为阳极界面修饰层,制备了器件结构为ITO/PTFE/V2O5 /PCDTBT ∶ PC71 BM/LiF/Al 的有机太阳能电池。测试结果表明,引入PTFE/V2O5双阳极界面修饰层的有机太阳能电池的能量转化效率最高可达6． 52%。相比于V2O5单阳极界面修饰层器件效率提高了11． 5%。测试结果证明双阳极界面修饰层的功函数与PCDTBT 材料的HOMO 能级更加匹配,有利于空穴的传输和提取。同时PTFE/V2O5 改善了氧化铟锡( ITO) 表面形貌,减少界面缺陷,抑制了界面处载流子的复合。     

用于远程教学的iSCSI协议实现

iSCSI协议作为存储系统的一种解决方案在远程教学中得到日渐广泛的应用.为了优化iSCSI协议的表现、提高远程教学质量,通过一个开放源码的iSCSI协议的软件实现,对可能影响iSCSI协议表现的因素进行了测试分析.测试主要从iSCSI系统(启动端、目标端)硬件选择、iSCSI系统参数设置两个方面展开.测试结果表明 提高I/O操作的效率,注意数据可用性、完整性和速度的平衡,以及优化硬件条件是优化iSCSI协议表现的关键.     

基于OPNET的智能交通系统仿真平台构建与性能分析

针对车辆通信网络建立了智能交通系统单跳场景下的V2I和多跳场景下的V2V无线数据通信.鉴于国内外尚无完善的仿真环境,以及交通仿真相对于网络仿真的复杂性,使用OPNET Modeler软件对车-X无线通信网络进行建模和仿真.仿真给出了在V2I场景下改变车辆行驶的速度和通信范围,不会影响信息的可靠传输;在低速运动的V2V场景中,AODV协议比DSR协议更适合作为车辆通信网络的网络层路由协议.     

基于属性的协议互操作性测试的TTCN-3实现

目前对路由协议的测试主要集中在一致性测试,对于像OSPF这样的复杂协议,对其进行互操作测试非常必要.传统的协议互操作性测试是基于被测系统的形式化模型生成测试序列,对测试序列进行测试例抽象,最终得出测试判定.传统方法简单易行,但当测试序列较长时相应问题随之而来.采用TTCN-3语言对基于属性生成的测试序列进行测试用例的实现,结果说明采用基于属性作为模型选择的方法并结合使用TTCN-3实现测试用例可以有效提高测试效率.     

移动自组网路由协议研究

对自组网路由协议的性能测试和形式化分析这两种主要的验证方法进行了比较,分析了自组网路由协议的形式化分析特性,给出了协议形式化分析方案的框架。     

协议一致性测试研究进展

协议一致性测试是协议测试中最为关键的测试,是其他协议测试类型的基础。已经有大量的研究与实践对协议一致性测试做了深入探讨,到目前为止,仍然缺乏系统、有效而实用的协议一致性测试方法。从协议一致性测试的协议形式化描述技术人手,分别对协议一致性测试过程中的描述、测试序列生成、测试实现与执行进行了综合研究,阐述了其中存在的问题并给出了基本解决思路。     

一种路由协议测试框架研究

为了确保 Internet通信子网的正确性和可靠性 ,提出了一种用于路由协议测试的测试框架。由于传统的测试分类不适用于路由协议 ,所以路由协议应作为一个整体来测试。在分析了路由协议与端系统协议的异同之后 ,提出了一种适用于路由协议测试的 Dip- in抽象测试法 ,并推荐并发TTCN作为测试集描述方法。利用上述测试理论 ,设计实现了可实际应用的分布式路由协议测试系统。该文的研究是对Internet中的核心技术——路由协议测试的一种新探索 ,在我国路由器技术国产化的过程中意义重大     

TCP状态非典型变迁的形式化研究

协议的规格说明主要是以自然语言描述的,对其进行形式化的目的是精确描述协议,减少开发人员对协议规格说明理解的偏差.B方法以数学理论为基础,可产生简明、精确、无歧义且可证明的规格说明.B方法的优点使得它适合对协议进行形式化描述和一致性测试。本文详细介绍了使用B方法对TCP状态非典型变迁进行形式化,并据此生成了测试用例,提高了TCP协议一致性测试的质量和可靠性。     

基于计算机虚拟化列车控制系统敏捷测试方法

传统的基于通信的列车运行控制(communication based train control,CBTC)系统测试受真实硬件设备环境的制约而存在瓶颈,针对该问题提出一种基于计算机虚拟化的CBTC系统测试方法.采用计算机虚拟技术模拟物理硬件设备环境,构建CBTC系统虚拟化测试平台.基于该测试平台,设计了一种自适应测试用例约简优排算法,可以在保证测试覆盖率的前提下,约简测试用例的数量,并通过优化测试用例的执行顺序,缩短系统的测试时间.该方法应用于深圳市地铁2号线CBTC系统测试,与传统测试方法进行了对比.实验表明,本测试方法可精简测试用例幅度约45%,测试时间缩短约33%,大幅提高了系统测试效率.     

TD-SCDMA系统基于网元仿真技术的OMC功能测试研究

在TD-SCDMA系统操作维护中心(OMC)的功能测试中往往要涉及到一些与真实网元进行交互的测试用例,而普通的测试方法是无法成功完成此类工作的。为了解决这一难题,在功能测试中我们引入了网元仿真测试技术,作为测试的一个外部辅助测试工具的网元仿真仪表通过高度模拟真实网元实现与OMC系统的消息交互,从而协助测试人员正常、高效的完成对OMC相关的功能测试工作。实际测试证明simulator和真实网元相结合可以很好的完成OMC的功能测试。     

TD-SCDMA系统基于网元仿真技术的OMC功能测试研究

TD-SCDMA系统操作维护中心（OMC）的功能测试中往往要涉及到一些与真实网元进行交互的测试用例，而普通的测试方法是无法成功完成此类工作的。为了解决这一难题，在功能测试中我们引入了网元仿真测试技术，作为测试的一个外部辅助测试工具的网元仿真仪表通过高度模拟真实网元实现与OMC系统功能测试工作。实际测试证明：simulator和真实网元相结合可以很好的完成OMC的功能测试。     

基于模型的软件测试

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

BGP-4健壮性测试系统设计与实现

健壮性测试是协议测试的重要内容,健壮性测试对其测试系统的设计和实现提出了新的要求.为此提出了一种适用于BGP健壮性测试的方法———具有中心控制的远程横断测试方法,然后利用基于执行的软硬件结合入侵式错误注入技术,提出了健壮性测试系统的体系结构.该测试系统应用到核心路由器的协议研发中,显著地提高了核心路由器的稳定性和可靠性.     

应用MTS-Schenk系统的实时子结构实验

针对实时子结构实验的实施和应用,介绍了实时子结构实验原理和由美国MTS公司的FlexTest GT控制系统和SCHENCK液压伺服作动器所构成的MTS-SCHENCK实验系统的应用.利用MTS-SCHENCK实验系统对一安装粘滞阻尼器的单层框架结构进行了实时子结构实验,实验中粘滞阻尼器为实验子结构,其余部分为数值子结构.在实验中采用三次外插方法补偿实验系统的时滞,实验与计算结果吻合很好.实验证明利用MTS-SCHENCK系统可以满足实时子结构实验对实验系统的要求,且实时子结构实验可以很好地反映速度相关型阻尼器的性能.     

软件测试研究进展

从软件测试的技术与过程、持续的软件测试、软件测试的充分性准则等方面简要介绍软件测试的基本思想;讨论软件测试中的若干问题,包括面向路径的测试数据自动生成、测试预言、期望结果的自动生成、回归测试等;并且探讨软件测试的发展趋势,包括构件测试、软件的易测试性与基于合约的构件易测试性设计和Web Services测试等。     

Internet-based collaborative pseudo-dynamic testing of multi-span bridge structure

In this paper, the first Internet-based collaborative pseudo-dynamic testing of a multi-span bridge system in mainland China is presented in detail, which has been carried out by the collaboration of Hunan University (HNU), Harbin Institute of Technology (HIT) and Tsinghua University (TU) in mainland China, and the University of Southern California (USC) in the USA. The prototype system of Russion River Bridge at Southern California in America is illustrated. Different testing specimens, testing equipments and substructure boundary conditions at HNU and HIT laboratories are described. A network protocol platform for collaborative pseudo-dynamic testing, called NetSLab, and some function modules developed on the use of its standardized interface are introduced. Aiming at the MTS system widely used in structural testing, two approaches are presented to implement the communication interface between NetSLab and testing equipment, respectively, studied by HNU and HIT. The integrated networked testing system and collaborative testing procedures are presented. The testing results manifest that the networked collaborative testing system with powerful capability provides a testing platform with good coordination for complex models or actual structures, and achieves remote sharing of testing equipments.     

基于Markov链使用模型的加速统计测试方法

为了提高软件统计测试的效率,使用较少的测试资源达到测试目的,提出了一种基于Markov链使用模型的软件加速统计测试方法.该方法通过均衡软件测试成本和软件投放后的失效风险,以软件平均总费用最小为目标,基于重要抽样技术的加速测试机理,采用交叉熵方法生成最优(或近优)测试剖面,同时给出了一种新的统计测试充分性判定准则,最后根据生成的最优测试剖面自动生成统计测试数据集.仿真实验结果表明,相对于传统的统计测试方法,使用交叉熵方法的加速统计测试方法能有效地降低软件总费用,显著增加关键操作的测试次数,是一种快速有效的加速统计测试方法.     

舵机频率特性的测试误差分析与修正

为了提高舵机频率特性的测试精度,分析了测试系统输入输出通道产生的系统误差,特别是由A/D芯片多路转换、一路采集工作方式造成的信号相位滞后误差,并提出误差修正方法,即通过测量测试系统的频率特性来修正系统幅频和相频误差,并进行了试验.试验结果表明,对于测试系统造成的信号幅值衰减和相位滞后,可根据测试系统自身的幅频和相频特性测试数据,对直接计算值进行误差修正.