基于日志分析的测试预言技术研究与实现
| 摘要 | 第1-6页 |
| Abstract | 第6-9页 |
| 第1章 绪论 | 第9-13页 |
| ·研究背景 | 第9页 |
| ·研究历史及发展现状 | 第9-11页 |
| ·研究内容 | 第11-12页 |
| ·论文结构 | 第12-13页 |
| 第2章 测试预言概述 | 第13-39页 |
| ·测试预言 | 第13-14页 |
| ·转换器预言 | 第14-16页 |
| ·嵌入式断言语言 | 第16-26页 |
| ·Anna | 第18-19页 |
| ·C语言的断言体系 | 第19-21页 |
| ·埃菲尔 | 第21-23页 |
| ·Java的断言体系 | 第23-26页 |
| ·外部接口契约 | 第26-29页 |
| ·ADL | 第26-27页 |
| ·TOG | 第27-29页 |
| ·纯规约语言 | 第29-36页 |
| ·Z语言和Z对象 | 第29-32页 |
| ·时序预言 | 第32-34页 |
| ·SCR | 第34-36页 |
| ·轨迹检查 | 第36-39页 |
| 第3章 日志文件分析方法 | 第39-49页 |
| ·日志文件 | 第39-41页 |
| ·状态机 | 第41-42页 |
| ·日志文件分析器 | 第42-45页 |
| ·日志文件分析语言LFAL | 第45-48页 |
| ·一些讨论 | 第48-49页 |
| 第4章 设计与实现 | 第49-63页 |
| ·体系结构 | 第49-52页 |
| ·离线日志分析 | 第50-51页 |
| ·联机状态监控 | 第51-52页 |
| ·日志策略 | 第52-53页 |
| ·LFAL解析器与JavaCC | 第53-55页 |
| ·数据结构 | 第55-59页 |
| ·状态 | 第55页 |
| ·事件 | 第55-56页 |
| ·状态机 | 第56-59页 |
| ·算法 | 第59-63页 |
| ·日志文件过滤算法 | 第60-61页 |
| ·测试预言算法 | 第61-63页 |
| 第5章 实验结果 | 第63-71页 |
| ·电梯 | 第63-65页 |
| ·解析器 | 第65-67页 |
| ·五子棋游戏 | 第67-71页 |
| 第6章 总结和展望 | 第71-73页 |
| ·总结 | 第71页 |
| ·展望 | 第71-73页 |
| 参考文献 | 第73-77页 |
| 攻读学位期间公开发表论文 | 第77-79页 |
| 致谢 | 第79-81页 |
| 研究生履历 | 第81页 |
