协议一致性冒烟测试系统的设计

协议一致性冒烟测试是在协议软件开发过程中进行的突显功能测试．冒烟测试系统需要解决测试功能选择、测试用例设计、测试系统实现以及二次开发接口等问题，本文在协议形式化描述模型上使用贪心算法进行测试功能选择，将测试需求转换成测试目的后自动生成测试用例，设计并实现了一个测试系统和一套完整的二次开发接口，并使用该系统对IP协议栈的一些协议进行了测试。     

OSPFv3协议的冒烟测试及其实现

协议测试是保证协议实现和协议描述相一致的重要手段，OSPF协议是一个广泛应用的链路状态协议。冒烟测试具有降低系统集成风险，提高开发过程可视性和缩短产品开发周期的特点，该文设计并实现了基于TCL语言的协议冒烟测试系统，对OSPFv3协议实现了测试集并对路由器产品进行测试，实验表明系统具备高效易用的特点。     

基于TCL的DHCP协议冒烟测试

介绍了基于TCL的协议冒烟测试系统,对DHCP协议进行形式化分析,生成EFSM图,采用UIO方法生成一致性测试序列,并在该系统上针对提供DHCP服务的各网络设备进行了DHCP协议的冒烟测试,在实际应用中取得了较好的测试效率,缩短了产品研发周期,降低了风险,提高了产品的可靠性。     

LDP一致性测试的研究与实现

协议实现的一致性测试是保证网络设备之间互连的重要手段。LDP协议是MPLS的标记分发协议，本文在对LDP协议进行分析的基础上生成了测试集，选择了测试方法，并在现有测试系统Anvl的基础上设计和实现了LDP一致性测试程序。     

IPv6中IS-ISv6协议的一致性测试系统设计与实现

根据协议一致性测试的特点和要求,针对IS-IS协议的特点,介绍了一种IS-ISv6协议一致性测试系统的设计方法.该方法使用带有控制通道的多个虚拟测试器环境,用Tcl语言作为测试例的描述语言,具有很好的测试能力和灵活性.本文在介绍IS-ISv6的基础上,设计并实现了IS-ISv6的协议一致性测试系统,并对一基于FreeBSD平台的IS-ISv6一致性测试实现的结果进行了分析.     

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

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

IPv6中继系统一致性测试系统的设计

通过对IPv6协议中继系统一致性测试目的和方法的深入分析,设计了基于PITS的IPv6中继系统一致性测试系统,介绍了该测试系统的测试方法与结构,通过一个测试实例给出了一致性测试的实现过程,并对测试结果进行了分析.     

IPv6中RIPng协议的一致性测试研究与实践

协议的一致性测试是保证协议实现正确高效的重要手段。在介绍RIPng协议的基础上,提出了适合RIPng一致性测试的多端口的测试结构,采用适用于中继系统的穿越式测试法,设计了RIPng一致性测试集及相应的参考实现,并在CNGI骨干网设备选型中对7款路由器进行了测试实践。     

基于IPSec网络协议的VPN测试系统

针对基于IPSec协议的VPN产品的测试问题,设计并实现一个面向基于IPSec协议的运行在Linux上的VPN测试系统。介绍IPSec协议和体系结构,对IPSec协议工作原理进行分析,给出面向IPSec协议VPN测试系统的设计与实现。实验结果表明,该测试方法有效、可行。     

ISIS协议一致性测试系统的设计

论文针对ISIS协议的特点,介绍了一种协议一致性测试系统的设计方法。该方法的核心思想是基于虚拟测试体。运用该方法实现了基于多测试体、具有控制通道的测试系统,系统使用TCL作为测试例描述语言,具有很强的测试能力以及良好的灵活性和可扩展性。运用该系统成功对多个ISIS协议实现进行了测试,本文列举了测试实例和测试结果。     

油烟检测系统的虚拟仪器开发研究

本文分析虚拟仪器系统的设计思路,针对油烟检测的特点,设计实时检测系统。系统采用虚拟仪器的DAQ接口形式和PCI总线的数据传输方式,应用LabView虚拟仪器开发平台,采用模块化的结构设计。本系统不仅适用于油烟检测,对软件和硬件进行一定的功能扩展后也可用于水质,油压等检测。     

基于TCL的BGP协议一致性自动化测试系统设计

文章介绍了一种基于Tcl的BGP4以及BGP4+协议自动化测试系统的设计方法,该系统使用了一种针对网络协议测试特点的分布式虚拟测试法,并且根据路由协议测试的特点增加了控制通道,由一个统一的控制模块组织多个虚拟测试体协同工作实现对待测体的测试,使用在线配置脚本化的方法实现系统的自动化测试,并成功地对多个不同的BGP4以及BGP4+协议实现进行了测试,文中给出了测试实例,分析了测试结果,并提出了进一步的工作方向。     

简单邮件传输协议的一致性测试研究

Internet协议的一致性测试是保证厂商的Internet产品和服务实现互连和互通的重要技术手段。文章在扼要地介绍简单邮件传输协议SMTP的基础上,理论上分析了SMTP的测试组织、抽象测试方法和测试集的设计,提出了适合于SMTP一致性测试的测试结构和测试描述技术。最后讨论了在协议集成测试系统PITS中SMTP一致性测试的实际应用。     

基于TCL的IPv6中BGP一致性测试系统设计

根据协议一致性测试的特点和要求,针对BGP4＋协议的特点,介绍了一种BGP4＋协议一致性测试系统的设计方法。该方法使用带有控制通道的多个虚拟测试器环境,用TCL语言作为测试例的描述语言,具有很好的测试能力和灵活性。在介绍BGP4＋的基础上,设计并实现了该协议一致性测试系统,并对一基于FreeBSD平台的BGP4＋一致性测试实现的结果进行了分析。     

AMBA2.0总线RTL、CC与PVT级模型的实现

介绍了利用SystemC语言设计与完整实现AMBA2．0总线协议，在自下而上RTL，CC与PVT级的过程中用到模型设计的流程、框图、最终的测试方案与结果。该文特色在于打破了传统单一层次系统建模的局限，充分利用SystemC这个仿真平台将AMBA总线系统模型建立在不同的系统描述层次上，建立了一套跨层次的系统模型，使系统具备了很强的描述性。由于该系统模型提供了不同层次的系统仿真能力，在实践中具有很强的应用价值，而且在方法学上也提供了跨层次系统仿真建模的实例。