通信协议的分布式测试方法研究和测试系统实现-信息安全专业论文.docx

中囚乖学技术人学博十学位论文通信协议的分布式测试方法研究和测试系统实现汀，·一、一一，一，一，一中国科学技术大学博十学位论文通信协议的分布式测试方法研究和测试系统实现目录摘要·············“··”·········”·································································································…………····……·································································································……···································，··························································································目录图目录······················································“···················，·········································……表目录……··························································································································第一章绪论···········“ ·“ ·····…… ······························································……··············】研究背景····························································· ······························……协议一致性测试的研究现状分析····················· ························· ····……一致性测试结构，······· ······ ································· ······························……一致性测试序列和测试套的生成··················································……测试描述语言··· ····· ·········································· ····、，·······，··、··············……测试执行系统··························· ···· ······················· ·························……本文的研究内容和研究思路······························· ·····························……文献资源······ ······· ···········································································……论文的组织……··········································· ···········································第二章基于有限状态机模型的一致性测试“·······“·“········，························……有限状态机的基本概念···……···································································’基于有限状态机模型的一致性测试，··········· ··········································……一致性测试的假设·····························，··········································一，校验序列······················ ············· ·····································，··············……测试序列生成方法……···········