非法计算检测的通用模型
| 摘要 | 第1-5页 |
| Abstract | 第5-9页 |
| 第一章 绪论 | 第9-14页 |
| ·软件测试技术的发展历史 | 第9-10页 |
| ·静态软件测试 | 第10-11页 |
| ·基于故障模型的软件测试 | 第11-12页 |
| ·非法计算定义 | 第12-14页 |
| 第二章 JAVA语言的非法计算故障分析 | 第14-17页 |
| ·JAVA语言介绍 | 第14-15页 |
| ·导致非法计算的JAVA函数 | 第15-17页 |
| 第三章 检测一般函数合法性的模型 | 第17-21页 |
| ·一般函数 | 第17页 |
| ·通用模型配置文件 | 第17-19页 |
| ·通用模型 | 第19-21页 |
| 第四章 检测系统描述 | 第21-70页 |
| ·检测系统概述 | 第21-26页 |
| ·检测系统组成 | 第21-22页 |
| ·执行流程 | 第22-24页 |
| ·系统接口 | 第24-26页 |
| ·DTSJAVA符号表 | 第26-30页 |
| ·符号表概述 | 第26页 |
| ·符号表设计与实现 | 第26-30页 |
| ·DTSJAVA区间运算 | 第30-39页 |
| ·区间概述 | 第30-31页 |
| ·区间集概述 | 第31-33页 |
| ·区间运算实现 | 第33-39页 |
| ·DTSJAVA抽象语法树 | 第39-43页 |
| ·抽象语法树概述 | 第39-41页 |
| ·JavaCC概述 | 第41-43页 |
| ·DTSJAVA控制流图 | 第43-48页 |
| ·控制流图概述 | 第43页 |
| ·控制流图实现 | 第43-46页 |
| ·控制流图测试 | 第46-47页 |
| ·不可达路径 | 第47-48页 |
| ·DTSJAVA缺陷模式状态机 | 第48-68页 |
| ·状态机概述 | 第48-49页 |
| ·非法计算模式状态机 | 第49-50页 |
| ·缺陷模式状态机组成单元 | 第50-56页 |
| ·缺陷模式描述文件格式及其解析 | 第56-63页 |
| ·缺陷模式状态机实例数据结构 | 第63-67页 |
| ·缺陷状态机分析 | 第67-68页 |
| ·DTSJAVA测试系统算法描述 | 第68-70页 |
| ·系统框架 | 第68页 |
| ·算法流程 | 第68-70页 |
| 第五章 实验结果及分析 | 第70-72页 |
| ·对开源代码的测试 | 第70页 |
| ·对比测试 | 第70-72页 |
| 第六章 结论 | 第72-73页 |
| 参考文献 | 第73-75页 |
| 附录一:JAVA语言的BNF表达式 | 第75-80页 |
| 附录二:FSM.XSD | 第80-83页 |
| 致谢 | 第83-84页 |
| 作者攻读学位期间发表的学术论文目录 | 第84页 |
