【作者】 柯尧；

【导师】 赵??；

【作者基本信息】 中国科学技术大学 ， 计算机软件与理论， 2006， 博士

【摘要】 协议工程是一体化、形式化的协议开发过程。协议测试是协议工程的一个重要组成部分，包括一致性测试、互操作性测试、性能测试和坚固性测试。协议测试就是在协议形式化模型的基础上生成测试用例、执行测试用例并进行测试结果分析的过程。 协议一致性测试是协议测试的基础。其目的是检查待测协议实体(IUT)的行为与协议规范是否一致。它的工作流程一般是首先对通信协议进行形式化描述，然后针对形式化模型生成测试序列，最后使用此测试序列进行测试。随着协议规范复杂性的增加，单纯的集中式测试方法不能满足很多协议的测试需求。 本文在协议分布式测试体系结构的基础上，讨论了分布式测试中的控制问题和观察问题。分布式测试中的控制问题指的是在多端口状态下，由于没有全局时钟，测试体无法确定向IUT发送输入的时刻；观察问题指的是测试体无法确定开始等待接收输出的时刻。本文围绕着这两个问题展开研究并给出了解决方案。 本文的研究工作主要集中在以下几个方面： (1) 增加协调消息后使用全局测试序列生成局部测试序列 协议测试序列生成算法一般生成IUT的全局测试序列，在映射为局部测试序列时存在着控制问题和观察问题，为此本文引入协调消息解决潜在的控制问题和观察问题，并对引入协调消息的辅助通信代价进行分析，给出了一个改进方案，改进方案在一定程度上能够降低协议分布式测试中辅助通信代价。 (2) 协议一致性测试中的时间约束问题 时间是协议中的重要参数，对协议中的时间进行讨论并且给出严格约束能够在降低测试代价的同时提高测试的准确性，本文对协议一致性测试中的时间进行分析和约束。 本文首先对协议一致性测试中的时间进行分析和总结，给出了协议测试中涉及到的响应时间、传输时间和等待时间的上界约束，然后给出了基于时间约束的测试序列生成算法。 在对一致性测试中的时间进行严格约束的基础上，本文提出了基于IUT时更多还原

【Abstract】 Protocol Engineering is an integrated and formalized process for protocol development. Protocol testing is an important part of protocol engineering, including protocol conformance testing, protocol interoperate testing, protocol performance testing and protocol robust testing. Protocol testing is the process that generates test cases under protocol formal specification, executes the test cases and analyzes the test result.Protocol conformance testing, the purpose of which is to check whether a given protocol implementation conforms to its specification or not, is the fundament of other testings. In the conformance testing for a given protocol implementation, we, firstly, formalized specify the protocol, then generate test cases with this formal model and have the cases executed on the given implementation. With the increase of the protocol complexity, merely centralized testing methods can’t content with many protocol’s testing requirements.In this paper, the controllability and observability problem in distributed testing are discussed on the base of protocol distributed testing architecture. The controllability problem means that one tester can’t determine when to send the input to the IUT (Implementation under Test) without a global clock in multi testers: and the obserability means that one tester can’t determine when to begin receiving outputs from the IUT. This paper researches these two problems and gives out our solutions.The contents of this paper include:(1) Generate Local Test Sequence(LTS) from Global Test sequence (GTS) while adding coordination messageThe test sequence generation algorithm always generates global test sequence of the IUT. When the GTS is projected to LTS, the potential controllability and observability appears. This paper adds coordination message to the local test sequence to solve these two problems, then analyzes the additional communication cost of this更多还原