| 摘要 | 第1-7页 |
| Abstract | 第7-10页 |
| 目录 | 第10-14页 |
| 插图目录 | 第14-16页 |
| 表格目录 | 第16-17页 |
| 第1章 绪论 | 第17-31页 |
| ·研究动因 | 第17页 |
| ·软件体系结构测试技术 | 第17-18页 |
| ·软件体系结构测试技术研究现状 | 第18-28页 |
| ·软件测试技术研究的历程 | 第18-22页 |
| ·对软件体系结构测试现状的分析 | 第22-28页 |
| ·存在问题 | 第28页 |
| ·研究目标 | 第28-29页 |
| ·本文的主要工作和组织安排 | 第29-31页 |
| ·本文主要工作 | 第29页 |
| ·与本文研究相关的科研项目 | 第29页 |
| ·本文的组织结构 | 第29-31页 |
| 第2章 软件体系结构测试基础与研究实例 | 第31-63页 |
| ·软件体系结构测试基础 | 第31-57页 |
| ·软件体系结构定义 | 第31页 |
| ·测试对象 | 第31页 |
| ·软件体系结构层的测试覆盖准则 | 第31-32页 |
| ·有限状态进程(FSP) | 第32-34页 |
| ·记号系统与计时标号迁移系统(TLTS) | 第34-35页 |
| ·S.Schneider 的部分 TCSP 进程操作语义结论 | 第35-41页 |
| ·基于软件体系结构的依赖分析技术 | 第41-42页 |
| ·模型检验技术基础 | 第42-43页 |
| ·配置信息测试基础 | 第43-44页 |
| ·分布式系统测试基础 | 第44-47页 |
| ·实时系统测试基础 | 第47-57页 |
| ·MMI 实例 | 第57-63页 |
| 第3章 基于软件体系结构的可测性模型研究 | 第63-71页 |
| ·软件体系结构模型的要求 | 第64页 |
| ·软件体系结构的基本模型 | 第64-67页 |
| ·体系结构设计空间的概念 | 第67-68页 |
| ·多视点下的软件体系结构模型 | 第68-69页 |
| ·软件体系结构描述模型的可测性分析 | 第69-70页 |
| ·小结 | 第70-71页 |
| 第4章 TSP 及其操作语义模型研究 | 第71-81页 |
| ·基本 TSP | 第71-76页 |
| ·TSP 中的时间模型 | 第71-72页 |
| ·对 FSP 的扩展 | 第72-73页 |
| ·TSP 基础 | 第73-74页 |
| ·TSP 实例 | 第74-76页 |
| ·基本 TSP 的操作语义 | 第76页 |
| ·TSP 的操作语义 | 第76-79页 |
| ·小结 | 第79-81页 |
| 第5章 DRTSADL 体系结构描述语言的设计研究 | 第81-95页 |
| ·DRTSADL 体系结构描述语言的设计思想 | 第81-82页 |
| ·软件体系结构的描述 | 第82-84页 |
| ·DRTSADL 的总体结构 | 第82-83页 |
| ·软件体系结构的结构描述 | 第83页 |
| ·软件体系结构的行为描述 | 第83页 |
| ·软件体系结构的配置描述 | 第83-84页 |
| ·软件体系结构基本成分描述 | 第84-85页 |
| ·简单构件描述 | 第84页 |
| ·组合构件 | 第84-85页 |
| ·连接件 | 第85页 |
| ·体系结构风格 | 第85页 |
| ·MMI 描述 | 第85-93页 |
| ·MMI 中的基本成分描述 | 第86-90页 |
| ·MMI 中的配置描述 | 第90页 |
| ·MMI 的总体结构描述框架 | 第90-93页 |
| ·小结 | 第93-95页 |
| 第6章 基于软件体系结构配置信息的测试用例生成算法研究 | 第95-109页 |
| ·配置行为图及其实例描述 | 第95-97页 |
| ·软件体系结构覆盖准则及其计算规则 | 第97-100页 |
| ·基于体系结构配置信息描述的测试用例生成算法 | 第100-107页 |
| ·基于体系结构配置信息的测试用例生成过程 | 第100-101页 |
| ·基于配置信息的测试用例生成 | 第101-106页 |
| ·基于配置信息的测试用例生成算法复杂性分析 | 第106-107页 |
| ·实验情况 | 第107-108页 |
| ·小结 | 第108-109页 |
| 第7章 基于异步网络模型的分布式系统的测试用例生成 | 第109-117页 |
| ·基于异步网络模型的分布式系统的测试用例生成的思想 | 第109-111页 |
| ·分布式系统的测试用例 | 第109页 |
| ·算法思想 | 第109-110页 |
| ·一个简单例子 | 第110-111页 |
| ·生成分布式系统的测试用例算法 | 第111-116页 |
| ·基础算法 | 第112页 |
| ·从 DRTSADL 规格说明导出进程时间图 PTG | 第112-113页 |
| ·基于逻辑时间快照的全局状态图生成算法 | 第113-116页 |
| ·基于全局状态图的测试用例生成 | 第116页 |
| ·小结 | 第116-117页 |
| 第8章 基于 DRTSADL-TSP 行为模型的测试用例生成技术研究 | 第117-135页 |
| ·T-TIOA | 第117-118页 |
| ·用 T-TIOA 描述实例 | 第118-127页 |
| ·使用 TIOA 和 DRTSADL-TSP 描述自感应电灯 | 第118-120页 |
| ·使用 T-TIOA 描述自感应电灯 | 第120-121页 |
| ·使用 DRTSADL-TSP 描述 MMI 的行为 | 第121-127页 |
| ·基于 DRTSADL-TSP 规格说明的测试用例生成 | 第127-133页 |
| ·DRTSADL-TSP 描述到 T-TIOA 描述的转换 | 第127-128页 |
| ·自 T-TIOA 构建网格自动机 | 第128-129页 |
| ·将网格自动机变换成 NTFSM | 第129页 |
| ·自 NTFSM 生成测试用例 | 第129-131页 |
| ·基于 DRTSADL-TSP 生成测试用例算法的复杂度分析 | 第131页 |
| ·实验情况 | 第131-133页 |
| ·故障模型 | 第133页 |
| ·小结 | 第133-135页 |
| 第9章 测试工具 ADLTester 的设计与实现 | 第135-141页 |
| ·ADLTester 集成环境的设计原则 | 第136页 |
| ·ADLTester 体系结构的设计 | 第136-137页 |
| ·ADLTester 用户界面设计 | 第137-138页 |
| ·ADLTester 的应用 | 第138-139页 |
| ·小结 | 第139-141页 |
| 结论 | 第141-145页 |
| 1 本文主要贡献 | 第141-142页 |
| 2 今后研究工作 | 第142-145页 |
| 参考文献 | 第145-155页 |
| 攻读博士学位期间发表的论文和取得的科研成果 | 第155-157页 |
| 致谢 | 第157-159页 |
| 附录A DRTSADL 语言 | 第159-163页 |
| 附录B 基于DRTSADL-TSP 的测试用例生成算法的终止性证明 | 第163-164页 |
