中文摘要：

采用了多种形式描图述技术建立模型,其中以LOTOS和Petri网为主,同时还使用了有限状态机的形式描述方法.根据我们提出的三个路由协议的形式模型,按照数据流的完全定义标准和控制流的路径覆盖标准,提出几种不同的自动产生测试例算法,生成抽象测试例.使用数据流与控制流相结的测度标准,主要着眼于系统间的并发和通讯行为,采用渐增式测试方法,自动产生测试.开发了TTCN的图形格式自动转换成MP格式的平台和协议分布式测试平台,完成了MP格式到可解释执行代码的编译工具.主要工能包括测试目的自动产生,测试例自动生成,测试的执行,测试结果的分析等.把我们研究的工具和方法在实际的通讯协议测试中进行应用.

结论摘要：

采用了多种形式描述技术建立模型，其中以LOTOS和Petri网为主，同时还使用了有限状态机的形式描述方法。根据我们提出的三个路由协议的形式模型，按照数据流的完全定义使用标准和控制流的路径覆盖标准，提出几种不同的自动产生测试例算法，生成抽象测试例，然后根据不同的测试目的，产生可执行的测试例。使用数据流与控制流相结的测试标准，主要着眼于系统间的并发和通讯行为，采用渐增式测试方法，自动产生测试。开发了TTCN的图形格式自动转换成MP格式的平台和协议分布式测试平台，完成了MP格式到可解释执行代码的编译工具。主要功能包括测试目的自动产生，测试例自动生成，测试的执行，测试结果的分析等采用了多种形式描述技术建立模型，其中以LOTOS和Petri网为主，同时还使用了有限状态机。把我们们研究的工具和方法在实际的通讯协