程序流程图结构化验证与实时监测
| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 第一章 绪论 | 第7-13页 |
| ·研究背景 | 第7-8页 |
| ·国内外研究现状 | 第8-10页 |
| ·模型驱动技术的发展 | 第8-9页 |
| ·结构化程序设计的发展 | 第9-10页 |
| ·本文的研究问题 | 第10-11页 |
| ·本文的主要工作 | 第11-12页 |
| ·本文的组织结构 | 第12-13页 |
| 第二章 相关技术概述 | 第13-17页 |
| ·程序流程图 | 第13-14页 |
| ·结构化程序设计 | 第14-15页 |
| ·强连通分量 | 第15-16页 |
| ·本章小结 | 第16-17页 |
| 第三章 程序流程图结构化验证算法的设计与实现 | 第17-45页 |
| ·整体框架结构的识别 | 第17-21页 |
| ·计算强连通分量 | 第19页 |
| ·单个结点的结构化验证 | 第19-21页 |
| ·循环结构结构化验证 | 第21-24页 |
| ·循环结构入口合法性检查 | 第21-22页 |
| ·循环判定结点的选择 | 第22-23页 |
| ·循环判定结点的确定 | 第23-24页 |
| ·循环结构出口合法性检查 | 第24页 |
| ·CBR 结构结构化验证 | 第24-27页 |
| ·分支结构结构化验证 | 第27-43页 |
| ·循环结构线性化 | 第28-30页 |
| ·循环结构处理 | 第30-33页 |
| ·IF 结构处理 | 第33-36页 |
| ·SWITCH 结构处理 | 第36-43页 |
| ·本章小结 | 第43-45页 |
| 第四章 实时检测的设计与实现 | 第45-55页 |
| ·实时检测的发生时机 | 第45页 |
| ·实时检测的预处理 | 第45-46页 |
| ·实时检测算法 | 第46-49页 |
| ·相关数据结构的设计 | 第49-53页 |
| ·程序流程图数据结构 | 第49-52页 |
| ·强连通图数据结构 | 第52-53页 |
| ·非结构化错误信息数据结构 | 第53页 |
| ·本章小结 | 第53-55页 |
| 第五章 测试与验证 | 第55-65页 |
| ·非结构化程序流程图的测试 | 第55-63页 |
| ·循环结构的非结构化实例 | 第55-61页 |
| ·分支结构非结构化实例 | 第61-63页 |
| ·实时检测的测试 | 第63-65页 |
| 第六章 总结与展望 | 第65-67页 |
| ·本文工作总结 | 第65页 |
| ·进一步研究方向 | 第65-67页 |
| 致谢 | 第67-69页 |
| 参考文献 | 第69-73页 |
| 作者在读期间的研究成果 | 第73-74页 |
