基于CIL的运行时监控设计与实现

摘要	第1-7页
ABSTRACT	第7-10页
第一章 引言	第10-14页
·贡献	第12-13页
·本文结构	第13-14页
第二章 背景及相关工作	第14-23页
·类型系统原理和类型推导	第14-15页
·类型表达式	第15页
·类型检查	第15页
·现有测试工具自动化的概况	第15-17页
·运行时监控在测试自动化的作用	第17-23页
·CAUT框架及模块介绍	第18-21页
·CAUT前端和运行时模块的设计框架	第21-23页
第三章 运行时类型系统	第23-34页
·运行时监控与类型系统介绍	第23-24页
·前端类型系统构建	第24-29页
·后端类型系统内存布局	第29-34页
第四章 运行时插桩	第34-44页
·运行时插桩设计框架	第34-35页
·运行时插桩设计规范和接口说明	第35-43页
·运行时插桩接口说明	第37-40页
·运行时插桩规范	第40-43页
·运行时插桩接口的监控	第43-44页
第五章 工具实现及实验评估	第44-51页
·基于类型系统和运行时插桩的CAUT实现介绍	第44-49页
·实验评估	第49-51页
第六章 总结	第51-52页
参考文献	第52-56页
附录	第56-62页
致谢	第62-63页
在学研究成果	第63页