| 致谢 | 第1-4页 |
| 摘要 | 第4-6页 |
| ABSTRACT | 第6-11页 |
| 第一章 引言 | 第11-16页 |
| §1.1 问题的提出 | 第11-12页 |
| §1.2 测试软件开发验证环境TSDVE与测试程序的完整性验证 | 第12-14页 |
| §1.3 论文的工作 | 第14-15页 |
| §1.4 论文的组织 | 第15-16页 |
| 第二章 大型测试系统BC3190及其软件系统TESS | 第16-36页 |
| §2.1 自动测试设备(ATE) | 第16-20页 |
| §2.1.1 ATE的测试内容 | 第16-17页 |
| §2.1.2 测试设备的体系结构 | 第17-19页 |
| §2.1.3 测试步骤 | 第19-20页 |
| §2.1.4 测试系统软件组成 | 第20页 |
| §2.2 BC3190系统指标 | 第20-22页 |
| §2.3 BC3190硬件系统组成 | 第22-28页 |
| §2.3.1 主控计算机子系统 | 第22-23页 |
| §2.3.2 高速图形子系统(HSS) | 第23-24页 |
| §2.3.3 高速通道子系统(CHA) | 第24-25页 |
| §2.3.4 直流子系统(DCS) | 第25页 |
| §2.3.5 测试台子系统(THD) | 第25-26页 |
| §2.3.6 测试系统流水 | 第26-28页 |
| §2.4 BC3190软件系统结构 | 第28-33页 |
| §2.4.1 系统核心TSK(Test System Kernel) | 第29-30页 |
| §2.4.2 系统应用工具 | 第30-31页 |
| §2.4.3 系统诊断和校准工具 | 第31-33页 |
| §2.4.4 系统仿真器 | 第33页 |
| §2.4.5 操作系统、编译环境、窗口环境的支持 | 第33页 |
| §2.5 BC3190测试系统性能对照 | 第33-34页 |
| §2.6 总结 | 第34-36页 |
| 第三章 测试程序的完整性验证 | 第36-53页 |
| §3.1 测试的可靠性和完整性 | 第36-41页 |
| §3.1.1 系统可靠性与完整性技术 | 第36-37页 |
| §3.1.2 高完整性软件技术 | 第37页 |
| §3.1.3 测试系统的可靠性和测试完整性问题 | 第37-41页 |
| §3.2 程序验证 | 第41-45页 |
| §3.2.1 程序验证的概念 | 第41-42页 |
| §3.2.2 程序验证的方法 | 第42-44页 |
| §3.2.3 程序验证的目标、意义和现状 | 第44-45页 |
| §3.3 基于专家系统的测试程序自动验证技术 | 第45-53页 |
| §3.3.1 专家系统的结构 | 第46-48页 |
| §3.3.2 基于专家系统结构的测试程序验证 | 第48-53页 |
| 第四章 C_TESS测试程序验证工具(VERIFIER)的原理、设计与实现 | 第53-85页 |
| §4.1 测试程序验证工具的产生式系统方案 | 第53-60页 |
| §4.1.1 产生式系统 | 第53-54页 |
| §4.1.2 专业领域知识 | 第54-56页 |
| §4.1.3 基于传统产生式系统的测试程序验证工具 | 第56-60页 |
| §4.2 时序产生式知识表示 | 第60-65页 |
| §4.2.1 时效性系统 | 第60-61页 |
| §4.2.2 时序逻辑 | 第61-63页 |
| §4.2.3 时序产生式表示法 | 第63-65页 |
| §4.3 异步推理 | 第65-67页 |
| §4.4 基于时序产生式知识表示的测试程序验证工具(VERIFIER)的设计与实现 | 第67-78页 |
| §4.4.1 测试规则的时序产生式表示 | 第67-71页 |
| §4.4.2 Verifier的体系结构和异步推理机制 | 第71-74页 |
| §4.4.3 Verifier的实现 | 第74-78页 |
| §4.5 VERIFIER的运行与结果分析 | 第78-84页 |
| §4.6 小结 | 第84-85页 |
| 第五章 测试软件开发验证环境TSDVE的设计与实现 | 第85-100页 |
| §5.1 测试软件的开发与验证支撑环境 | 第85-88页 |
| §5.2 大规模复用(RITL)方法在TSDVE中的应用 | 第88-93页 |
| §5.2.1 软件复用与RITL | 第88-89页 |
| §5.2.2 面向复用和集成的软件设计 | 第89-91页 |
| §5.2.3 基于Client／Server,Server-requester模型的RITL方法 | 第91-93页 |
| §5.3 TSDVE的开放性体系结构 | 第93-97页 |
| §5.4 TSDVE的实现 | 第97-99页 |
| §5.5 小结 | 第99-100页 |
| 第六章 结束语 | 第100-103页 |
| §6.1 TSDVE的特点 | 第100页 |
| §6.2 结论 | 第100-102页 |
| §6.3 前景展望 | 第102-103页 |
| 参考文献 | 第103-109页 |
| 作者简历 | 第109-110页 |
