或—符合逻辑系统的可测性设计与测试
| 摘要 | 第1-4页 |
| ABSTRACT | 第4-8页 |
| 第1章 绪论 | 第8-18页 |
| ·或-符合逻辑及应用 | 第8-12页 |
| ·或-符合代数系统 | 第8-10页 |
| ·或-符合逻辑的应用 | 第10-12页 |
| ·基于或-符合逻辑的组合网络可测性设计及测试 | 第12-15页 |
| ·本文的研究内容及章节安排 | 第15-18页 |
| 第2章 PPOC-C 易测性网络 | 第18-30页 |
| ·引言 | 第18页 |
| ·或-符合网络的一般结构及同或门故障模型 | 第18-19页 |
| ·PPOC-CS的结构及测试集 | 第19-22页 |
| ·PPOC-CM的结构及测试集 | 第22-28页 |
| ·小结 | 第28-30页 |
| 第3章 PPOC-TS 易测性网络 | 第30-58页 |
| ·引言 | 第30-31页 |
| ·平衡与次平衡同或树 | 第31-34页 |
| ·同或二叉树 | 第31-32页 |
| ·平衡同或树 | 第32页 |
| ·次平衡同或树 | 第32-34页 |
| ·PPOC-T_1S 的结构及测试集 | 第34-40页 |
| ·可测性平衡同或树的结构 | 第34-38页 |
| ·或门、原始输入线部分 | 第38-39页 |
| ·完全测试集 | 第39-40页 |
| ·PPOC-T_2S 的结构及测试集 | 第40-56页 |
| ·可测性次平衡同或树的结构 | 第41-54页 |
| ·或门、原始输入线部分 | 第54-55页 |
| ·完全测试集 | 第55-56页 |
| ·2 种结构的比较 | 第56-57页 |
| ·小结 | 第57-58页 |
| 第4章 PPOC-TM 与 FPOC 易测性网络 | 第58-68页 |
| ·引言 | 第58页 |
| ·PPOC-TM 易测性网络 | 第58-63页 |
| ·PPOC-TM 的结构及测试集 | 第58-62页 |
| ·双故障测试 | 第62-63页 |
| ·FPOC 易测性网络 | 第63-65页 |
| ·小结 | 第65-68页 |
| 第5章 COC 与 CPOS 易测性网络 | 第68-88页 |
| ·引言 | 第68-69页 |
| ·GOC-C易测性网络 | 第69-75页 |
| ·GOC-CS 的结构及测试集 | 第69-72页 |
| ·GOC-CM 的结构及测试集 | 第72-75页 |
| ·GOC-T 易测性网络 | 第75-82页 |
| ·GOC-T_1S 的结构及测试集 | 第75-77页 |
| ·GOC-T_2S 的结构及测试集 | 第77-80页 |
| ·GOC-TM 易测性网络 | 第80-82页 |
| ·CPOS 易测性网络 | 第82-84页 |
| ·单故障易测性网络及测试集 | 第82-83页 |
| ·多故障易测性网络 | 第83-84页 |
| ·提供反相输入时的测试集 | 第84-85页 |
| ·小结 | 第85-88页 |
| 第6章 基于布尔差分法的或一符合网络测试 | 第88-102页 |
| ·或-符合型ULG_3 | 第88-89页 |
| ·或-符合代数形式下测试生成的布尔差分法 | 第89-93页 |
| ·布尔反差分和反偏导数的定义 | 第89-90页 |
| ·计算性质和测试矢量生成方程 | 第90-93页 |
| ·或-符合网络中布尔反差分的链式计算方法 | 第93-96页 |
| ·基于布尔差分法的ULG_3组合网络测试 | 第96-100页 |
| ·故障冗余与压缩 | 第96-97页 |
| ·基于布尔差分法的测试矢量生成 | 第97-100页 |
| ·小结 | 第100-102页 |
| 第7章 结论和展望 | 第102-106页 |
| ·论文的主要成果 | 第102-104页 |
| ·进一步的研究工作 | 第104-106页 |
| 参考文献 | 第106-114页 |
| 附录 | 第114-116页 |
| 附录 A英文缩写名词对照表 | 第114-116页 |
| 致谢 | 第116-118页 |
| 作者攻读博士期间完成的论文 | 第118页 |
