基于TTCN-3的TLS安全软件测试工具的设计与实现

摘要	第1-5页
Abstract	第5-6页
目录	第6-8页
引言	第8-10页
1 相关理论介绍	第10-18页
·TTCN-3介绍	第10-13页
·TLS介绍	第13-16页
·协议一致性测试	第16-18页
2 TLS安全软件测试方法研究	第18-22页
·TLS安全软件的特点	第18-19页
·TLS安全软件测试的方法	第19-22页
·应用层的测试	第19-20页
·TLS传输层的测试	第20-22页
3 TLS安全协议软件测试工具的设计与实现	第22-40页
·图形编辑模块	第24-29页
·图形配置	第25-27页
·TTCN-3核心代码的自动生成	第27-29页
·编码解码器	第29-34页
·编码器解决方案	第30-32页
·解码器解决方案	第32-34页
·适配器模块	第34-40页
·被测系统适配器	第34-37页
·平台适配器	第37-40页
4 扩展TTCN-3核心语言的方法研究	第40-48页
·TTCN-3核心语言的特点	第40-41页
·应用范围上的对比	第40-41页
·语言的本身进行对比	第41页
·外部对语言支持的对比	第41页
·解决方案	第41-44页
·此方案的特点	第44页
·方案的实现	第44-48页
·TTCN-3抽象测试套	第44-45页
·适配器	第45-46页
·辅助测试服务系统	第46-48页
5 案例分析	第48-56页
·基于TLS的ftp服务测试	第48-51页
·扩展TTCN-3核心语言计算能力	第51-56页
结论	第56-58页
参考文献	第58-62页
申请学位期间发表的学术论文	第62-64页
致谢	第64页