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

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

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

IPv6协议作为下一代互联网最有竞争力的核心协议已经成为研究热点，它主要解决路由器之间通信的问题。如何保证各网络设备协议实现的一致性，是保证各设备互联，互操作的关键。本文在介绍IS—ISv6协议和协议一致性测试的基础上，设计并实现了IS--ISv6的协议一致性测试系统，并对一基于Linux平台的IS—ISv6一致性测试实现的结果进行了分析。     

基于XML的6 LoWPAN协议一致性测试系统的实现

文中介绍了协议一致性测试基本理论,针对6LoWPAN现有草案及实验性协议的实现,设计了一种具有可扩展性的6LoWPAN协议一致性测试平台。文中从该平台的测试系统和被测系统两个部分出发,对基于Windows操作系统实现的测试系统,描述了该平台的功能、各个模块的框架结构和实现方法;应用XML可扩展标识语言设计了测试用例,并应用libxml2对XML标记的测试用例进行解析。设计和实现了报文接收发模块。被测系统部分,对Linux系统端实现的6LoWPAN协议栈进行了测试,达到了一致性测试的目的,对测试结果进行了分析。     

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

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

NEMO协议一致性测试集的设计与实现

基于网络移动的IPv6互联网将是未来网络发展的方向之一。NEMO是MIPv6最为重要的扩展部分，而协议一致性测试是保证协议实现正确性和有效性的重要手段。该文分析NEMO协议的特点，阐述对网络移动协议一致性测试的思想方法，并使用形式化的测试例描述语言说明了测试例设计与实现过程，给出在Linux实现下的测试结果及分析。     

iSCSI协议一致性测试研究与实现

不同iSCSI协议实现之间能否互联互通取决于协议实现是否与iSCSI协议规范相一致。针对这个问题,研究了iSCSI协议一致性测试的测试原理和测试流程,设计了适合于iSCSI协议一致性测试的测试系统以及基于XML描述的iSCSI协议一致性测试套,给出了较为完整的iSCSI协议一致性测试例。使用该测试例对某产品的iSCSI协议实现进行一致性测试,发现了被测实现存在与协议规范不一致的地方。     

Mobile IPv6 Home Agent协议一致性测试集的设计与实现

描述了Mobile IPv6 HA协议一致性测试集设计与实现过程,说明该测试系统的测试方法和测试结构。通过测试实例介绍了测试集的形式化,并对一基于Linux平台的HA实现的测试结果进行了分析。     

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

目前对通信协议进行一致性测试的方法和实现比较完善,而在对咱由协议进行一致性测试方面的系统经验还比较少,本文基于实践工作的内容,提出了一种路由协议一致性测试系统的设计方法,并且讨论了实现过程中的一些问题。     

EPA一致性与互操作性测试系统设计

针对工业控制领域的开放性问题,通过分析现场总线一致性与互操作性测试原理,设计和实现一个EPA一致性与互操作性测试系统,阐述该系统在功能、程序框架以及测试流程等方面的设计思想,针对测试前的输入文件进行规范设计。利用该系统对基于EPA标准的产品进行一致性与互操作性测试,实验结果验证了该设计方案的可行性。     

Bluetooth协议栈一致性测试

Bluetooth协议栈实现的一致性测试是保证不同厂商产品之间互连与互操作的基础。文章基于OSI协议一致性测试标准进行了Bluetooth协议一致性测试研究和实际测试,并以L2CAP层协议为例介绍了一致性测试的方法、结构、测试集的设计生成与完备性分析。     

MySQL数据库系统自动组合测试

MySQL Test Framework对MySQL的自动化测试提供了测试方法和测试用例。应用自动化的理念,将其测试用例进行拆分并根据测试要求重新组合,以节省运行资源。     

软件测试自动化技术在P12000平台中的应用

从P12000平台系统测试的实际需求出发,将自动化软件测试技术运用到P12000平台中。在对IBMRational软件测试工具相关功能简介的基础上,重点描述了运用该测试工具对P12000平台进行的功能测试和性能测试,包括测试内容、测试方法和测试结果。实践证明,自动化软件测试技术的合理运用可以提高软件测试的效率,提高软件质量。     

基于流程描述的测试程序开发平台的研究与应用

为提高通用自动测试系统中测试软件的通用性和开发效率,以STD（测试和信号定义,IEEE1641）标准为基础,借鉴该标准中信号分类及处理的方法,对测试流程进行描述。并以测试流程描述为基础,提出基于流程描述的测试软件开发平台。该平台通过对测试流程的描述和自动解析,实现无编程的测试程序开发。目前,该测试程序开发平台已经在某新型通用测试诊断系统中得到初步应用。     

一种多扫描链混合测试数据压缩方法

针对集成电路测试数据量大、测试应用时间长和测试结构复杂等问题,提出一种多扫描链的混合测试数据压缩方法。对于含无关位较多的测试向量,使用伪随机向量产生器生成。对于含无关位较少的向量,则直接使用自动测试设备存储。将该方法与另一种基于扫描阻塞的测试方法进行比较,理论分析和实验结果表明,该方法对数据的压缩效果优于单纯用伪随机方式的扫描阻塞测试方法。     

基于事务工作流的并行测试程序运行管理机制

并行自动测试系统中,并行测试程序的运行管理是系统设计中的关键问题。由于该类系统的强异构性特征和特殊的运行监管要求,常规的基于多计算机系统的任务管理机制不适于并行自动测试系统。以事务工作流描述并行测试任务运行管理模型,在此基础上,提出了基于事务工作流的并行测试任务运行管理机制,最后,给出了运行管理调度的算法实现思路。     

AXIe标准研究

ATCA(Advanced Telecom Computing Architecture,即先进电信运算架构)集众多先进总线于一身,速度快,性能稳定,是高性能计算和高速数据交换的理想架构;基于ATCA架构的测试测量总线—AXIe(AdvancedTCA eXtensions for Instrumentation andTest)不仅继承了ATCA的先进性,而且针测试领域的需求对ATCA作了必要的扩充;文中介绍了AXIe的通用测试规范1.0及其半导体测试规范3.1,介绍了它们的机械及电气特性;对比了AXIe与ATCA、LXI及PXIe总线的关系。     

AI Planner Assisted Test Generation

This paper describes an AI planner assisted approach to generate test cases for system testing based on high level test objectives. We use four levels of test generation: the metaprocessor, the preprocessor, the AI planner, and the postprocessor levels. Test generation is based on an extended UML model of the system under test and a mapping of high-level test objectives into initial and goal conditions of the planner. Test objectives are derived from a series of interviews with professional testers. We suggest various options for test criteria related to test objectives. The AI planner was used to generate hundreds of test cases for a robot controlled tape silo. The planner generated tests within a reasonable time. It was successful for each test objective given.     

基于接口语义契约的Web服务测试数据生成

测试是Web 服务质量保证的主要手段之一,测试自动化是降低测试代价的有效途径,测试数据生成是测试自动化研究的一个重要内容.提出采用本体及规则的知识描述语言,建立服务接口的语义契约模型(interface semantic contract,简称ISC),并探讨了基于ISC 的测试数据生成技术,给出了分区生成算法以及测试数据生成的模拟退火算法.实验结果表明,与随机测试相比,该方法能够采用10%的测试用例数量达到同样的测试覆盖率;在同样的测试用例数量上,最高可提高50%的测试覆盖率.     

遗传算法的板级边界扫描测试矢量优化及应用

测试矢量是边界扫描技术的关键之一,测试矢量集直接影响测试的效率和结果。文章将遗传算法引入可测性设计中的边界扫描测试领域,以PCB、MCM等为工程对象,探索了遗传算法的互连测试矢量生成,提出了具有互连测试特性的适应度函数、遗传算子和遗传操作,并进行了仿真实验和实际的DEMO板测试,结果表明该算法具有一定的优越性。     

基于脚本语言建模的汽车ECU测试系统设计

针对总线型汽车电子控制单元(ECU)的EOL测试问题,设计由待测ECU、测试台、测试仪等组成的电气测试系统,提出一种结构化的测试用例脚本语言编制及其工程化方法。对测试对象进行细分与规划。采用脚本语言对测试用例进行规则化描述,并利用有限自动状态机对其语法进行解析与处理。多路开关检测芯片MC33972的可编程输入接口测试结果表明,该系统能够提高EOL测试效率和可靠性,具有较好的可移植性和通用性。