基于测试需求的互操作性测试用例生成方法

网络化应用将成为未来软件技术发展的主导模式。为了保证网络化应用之间能够有效地协同工作,必须对其进行互操作性测试。互操作性测试具有测试需求复杂易变、测试用例设计困难的特点,因而需要消耗大量成本。为此,提出一种基于测试需求的互操作性测试用例生成方法。该方法采用模型驱动的测试思想,以测试需求模型描述互操作性测试需求,以状态图描述各被测应用的规格说明,通过两者的结合生成满足测试需求的测试用例。     

基于并发TTCN的协议互操作性测试系统的研究

该文从定义并发TTCN着手,介绍了协议测试的概念和内容,详细讨论了协议互操作性测试的意义及其相关的语义定义,该文最后给出了一种改进的协议互操作性测试系统的结构。     

分布式测试法在协议测试中的实现与应用

分布式测试方法是对网络产品进行协议一致性测试活动的一种重要的抽象测试方法，在本文中我们提出了分布式抽象测试法的一种骑跨实现技术，并详细讨论了它的测试结构和优缺点，同时我们给出了这种测试方法的一个具体实现并介绍了它在实际测试活动中的应用。最后我们讨论了骑跨式测试法在网络产品的互操作性测试中的配置结构以及它对互操作性测试生成的影响。     

国产数据库互操作测试框架及测试技术研究

在国产数据库的规范符合性测试和集成测试基础上,提出一种数据库互操作测试框架.从测试框架的方法设计、测试过程、环境配置和测试用例等方面对国产数据库互操作性进行研究,在一定程度上解决了一些国产数据库互操作性的测试技术问题,供大家参考.     

基于通信多端口有限状态机的协议互操作性测试生成研究

协议测试是一种保证网络通信协议实现质量的重要技术，互操作性测试是一类常用的协议测试技术．文章提出了一种基于通信多端口有限状态机模型的协议互操作忡测试生成方法．首先采用已有的基于可达性分析的方法生成集中式测试序列；然后采用单一错误模型对其进行系统的错误覆盖分析，为达到更高的错误覆盖度，进一步提出一种增强的测试生成算法；最后讨论了互操作性测试巾的控制观察问题，选择适当的分布式测试架构，并进而生成分布式同步测试序列．实验结果表明：与原有方法相比，该方法可以有效地提高测试集的错误覆盖，并具备一定的可行性和有效性．     

BGP4＋互操作性测试研究

BGP4是最主要的域间路由协议,BGP4 是对BGP4进行扩展之后支持IPv6的,对于它的互操作性测试很重要.本文首先介绍了互操作性测试的目的,分析了BGP4以及BGP4 的功能、路由类型以及数据包种类.根据BGP4的说明生成了协议的输入输出有限状态机,基于该模型生成了部分BGP4 的互操作性测试套.然后对于协议的不同实现进行了互操作性测试设计与实践,最后给出了结论以及下一步的研究工作.     

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

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

基于ISM的互操作性测试方法

协议测试中的互操作性测试是保证不同厂商通信设备之间能够正确实施互操作的主要工程测试方法。针对互操作性测试过程中缺乏形式化测试框架和测试方法指导而导致无法保证测试可靠性的问题,在介绍ETSI定义的通用互操作性测试模型基础上,提出一个基于互操作性状态机的互操作性测试方法。通过一个面向IPsec VPN的互操作性测试实例表明该方法的有效性和可行性。     

Web服务互操作性测试系统的研究

Web服务互操作性是面向服务的软件系统测试内容的一个重要方面.本文分析了Web服务及其互操作性问题,介绍了协议互操作性测试的基本方法及协议互操作性测试系统的基本框架,在此基础上提出了一个Web服务互操作性测试系统的结构框架,并对该测试系统进行了形式化定义,最后指出了需要进一步研究的方向.     

ebXML互操作性测试模型及其实现技术研究

实施电子商务的关键是电子商务平台间的互操作性,因此保证互操作性及其测评关键技术的研究成为实施电子商务的核心问题。本文深入分析了ebXML的技术框架规范和测试框架,采用了基于互操作性保证的ebXML分层结构,针对香港大学的开源项目hermes系统,设计了相应的测试模型,并引用了一个测试用例加以说明。     

A Formal Approach to Protocol Interoperability Testing

Porotocol Interoperability testing is an important means to ensure the interconnection and interoperation between protocol products.In this paper,we proposed a formal approach to protocol interoperability testing based on the operational semantics of Concurrent TTCN.We define Concurrent TTCN‘s operational semantics by using Labeled Transition System,and describe the interoperability test execution and test verdict based on Concurrent TTCN.This approach is very helpful for the formation of formal interoperability testing theory and construction of general interoperability testing system.     

A Formal Approach to Protocol Performance Testing

1IntroductionProtocoltestingisanimportantmeanstoensuretheinterconnectionandinteroperationbetweenprotocolproductsfromdifferentvendors.Currenttestactivitiesforprotocolscanbeclassifiedintothreeclassesaccordingtotheirtestpurpose:conformancetesting,inter-operabilitytestingandperformancetesting[1].Conformancetestingandinteroperabilitytestingarefunctionaltest,andperformancetesting,however,isdifferentfromthem.Itspurposeistotestthecharacteristicparametersofprotocolimplementation,suchaspackettransferdel…     

A formal approach to protocol performance testing

This paper proposes a formal approach to protocol performance testing based on the extended concurrent TTCN,To meet the needs of protocol performance testing,concurrent TTCN is extended,and the extended concurrent TTCN‘s operational semantics is defined in terms of Input-Output Labeled Transition System.An architecture design of protocol performance test system is described,and an example of test cases and its test result are given.     

一种形式化的基于TTCN的测试执行方法

探讨基于形式化技术的测试执行方法是开展形式化的协议一致性测试活动的关键环节．本文提出了一种形式化的基于测试描述语言ＴＴＣＮ的操作语义的测试执行方法，并使用标号变迁系统刻画了这一方法的整个执行过程，同时讨论了这个方法的一个具体实现．这种形式化的基于ＴＴＣＮ的测试执行方法非常适合于构造通用的协议测试系统，同时也是进行测试集的自动验证的有效手段.     

并发TTCN的操作语义及相关算法

TTCN作为一种形式化的测试集描述语言，已经得到了广泛的应用，在介绍了并发TTCN的基本概念之后，接着介绍TTCN2的操作语义及相关算法，然后结合TTCN执行机的实现给出了并发测试组件的调度算法。     

基于形式化方法的因特网路由协议的一致性测试

并发数表组合表述法(并发TTCN)是可以描述并发测试行为的测试表述法.该文提出一种基于并发TTCN的分布式路由协议的测试方法.首先讨论路由协议实体的测试结构,然后给出基于并发TTCN测试系统的设计.最后介绍了测试集的设计.     

An approach to concurrent TTCN test generation

The basis of distributed system conformance testing is to test the conformance of each entity with its standard.This paper addresses the approach to entity conformance testing based on concurrent TTCN.First a preliminary framework for entity conformance testing is introduced and a specification model CEBE is presented.Then a test generation method,which could directly derive concurrent TTCN test suite from CEBE,is proposed.     

基于一致性测试理论的Statechart描述的测试用例自动生成

本文研究Statechart描述的测试语义和测试用例的自动生成.基于Tretmans的从标记转换系统描述自动生成测试用例的方法,我们研究如何从Statechart描述自动生成测试用例.本文的主要贡献在于建立了基于Statechart描述的一致性测试和测试用例生成的形式化基础.为Statechart描述建立了形式化测试语...