| 摘要 | 第1-7页 |
| ABSTRACT | 第7-11页 |
| 第一章 绪论 | 第11-21页 |
| ·逻辑程序设计语言与PROLOG概述 | 第11页 |
| ·逻辑程序设计和PROLOG研究现状 | 第11-16页 |
| ·基于约束的逻辑程序和PROLOG程序语义 | 第16-17页 |
| ·主要存在的问题及本文研究内容 | 第17-19页 |
| ·本文的结构 | 第19-21页 |
| 第二章 基础知识:PROLOG语言和抽象解释理论 | 第21-37页 |
| ·格与不动点理论 | 第21-23页 |
| ·PROLOG基础知识 | 第23-29页 |
| ·逻辑程序中的SLD-推导树 | 第25-27页 |
| ·Prolog逻辑程序设计 | 第27-28页 |
| ·Prolog语言中的切断(cut)操作 | 第28-29页 |
| ·抽象解释 | 第29-36页 |
| ·利用Galois连接对不动点语义进行近似 | 第30-35页 |
| ·利用widening/narrowing操作的抽象解释 | 第35-36页 |
| ·结束语 | 第36-37页 |
| 第三章 目标独立的PROLOG程序路径依赖分析语义 | 第37-59页 |
| ·引言 | 第37-38页 |
| ·PROLOG程序文法 | 第38-40页 |
| ·操作语义 | 第40-44页 |
| ·标号树语义 | 第44-49页 |
| ·标号树语义相对于操作语义的正确性 | 第49-52页 |
| ·D-标号树语义 | 第52-56页 |
| ·相关工作 | 第56-57页 |
| ·结束语 | 第57-59页 |
| 第四章 基于D-标号树语义的PROLOG程序路径依赖分析 | 第59-77页 |
| ·引言 | 第59页 |
| ·语义域的设计 | 第59-62页 |
| ·路径依赖部分解语义 | 第62-66页 |
| ·路径依赖部分解语义的正确性 | 第66-69页 |
| ·路径依赖部分解语义的抽象 | 第69-75页 |
| ·路径信息的抽象 | 第69-70页 |
| ·基本约束和可见性约束的抽象 | 第70-71页 |
| ·抽象路径依赖部分解语义 | 第71-75页 |
| ·相关工作 | 第75-76页 |
| ·结束语 | 第76-77页 |
| 第五章 基于D-标号树语义的PROLOG程序验证 | 第77-83页 |
| ·引言 | 第77-78页 |
| ·基于路径依赖部分解语义的程序验证 | 第78-79页 |
| ·基于抽象语义的程序的验证 | 第79-81页 |
| ·相关工作 | 第81-82页 |
| ·结束语 | 第82-83页 |
| 第六章 D-标号树语义的抽象—D-树语义 | 第83-93页 |
| ·PROLOG程序文法 | 第83-84页 |
| ·D—树语义 | 第84-86页 |
| ·D—树语义与D—标号树语义的关系 | 第86-87页 |
| ·计算解语义 | 第87-89页 |
| ·调用模式语义 | 第89-92页 |
| ·结束语 | 第92-93页 |
| 第七章 基于计算解语义的逻辑程序测试和调试框架 | 第93-105页 |
| ·引言 | 第93-94页 |
| ·逻辑程序测试和调试框架 | 第94-96页 |
| ·测试和调试框架的实例化 | 第96-100页 |
| ·测试用例的生成 | 第96-97页 |
| ·性质规格 | 第97-99页 |
| ·一种综合的测试和调试算法 | 第99-100页 |
| ·实例分析 | 第100-103页 |
| ·相关工作 | 第103-104页 |
| ·结束语 | 第104-105页 |
| 第八章 基于调用模式语义的PROLOG程序测试 | 第105-117页 |
| ·引言 | 第105-106页 |
| ·测试用例的生成 | 第106-110页 |
| ·基于近似调用模式语义的测试用例生成 | 第110-112页 |
| ·相关工作 | 第112-115页 |
| ·结束语 | 第115-117页 |
| 第九章 调用模式语义在PROLOG程序CPM测试中的应用 | 第117-131页 |
| ·引言 | 第117-119页 |
| ·CPM测试 | 第119-120页 |
| ·基于调用模式语义的测试帧更新 | 第120-127页 |
| ·用基本约束表示测试帧 | 第121-122页 |
| ·测试帧的更新 | 第122-124页 |
| ·基于近似调用模式语义的测试帧更新 | 第124-127页 |
| ·从更新后的测试帧产生测试用例 | 第127页 |
| ·相关工作 | 第127-129页 |
| ·结束语 | 第129-131页 |
| 第十章 结论 | 第131-133页 |
| 致谢 | 第133-135页 |
| 参考文献 | 第135-147页 |
| 研究成果 | 第147-151页 |
| 附录 | 第151-165页 |
