| 摘要 | 第1-4页 |
| Abstract | 第4-9页 |
| 1 绪论 | 第9-27页 |
| ·问题的引出 | 第9-20页 |
| ·基于COTS的软件开发 | 第9-12页 |
| ·基于构件技术的电力系统软件 | 第12-20页 |
| ·基于构件的软件系统CBSS | 第20-21页 |
| ·CBSS | 第20页 |
| ·CBSS的构建、特点及结构 | 第20-21页 |
| ·构件测试所面临的问题 | 第21-23页 |
| ·构件开发者所面临的测试问题 | 第22页 |
| ·构件使用者所面临的测试问题 | 第22-23页 |
| ·本文研究的内容及目的 | 第23-25页 |
| ·CBSS集成测试所面临的问题 | 第23-24页 |
| ·本文研究的内容及目的 | 第24-25页 |
| ·本文的组织结构与内容 | 第25-27页 |
| 2 构件测试现状及本文研究的总体思路 | 第27-44页 |
| ·构件的基本概念 | 第27-32页 |
| ·构件软件的测试方法 | 第32-35页 |
| ·构件集成软件测试充分性研究 | 第35-36页 |
| ·测试用例自动生成的研究 | 第36-37页 |
| ·构件集成软件的易测试性研究 | 第37-38页 |
| ·国内相关的研究状况 | 第38-41页 |
| ·本文对CBSS集成测试的整体解决思路 | 第41-43页 |
| ·基于模型的软件测试 | 第41-42页 |
| ·CBSS集成测试的整体解决思路 | 第42-43页 |
| ·本章小结 | 第43-44页 |
| 3 构件集成软件行为观测测试模型 | 第44-68页 |
| ·构件集成软件的灰盒测试与行为分析 | 第44-48页 |
| ·构件集成软件中的事件与状态 | 第44-45页 |
| ·构件集成软件的运行行为 | 第45-48页 |
| ·观测构造理论及应用 | 第48-54页 |
| ·观测理论 | 第48-50页 |
| ·踪迹语言与应用 | 第50-54页 |
| ·构件集成软件的观测模型 | 第54-59页 |
| ·具有独立关系的有限自动机观测模型 | 第54-56页 |
| ·观测模型的建立 | 第56-59页 |
| ·基于有限自动机观测模型的构件集成软件测试 | 第59-63页 |
| ·构件集成测试的基本要素 | 第59-60页 |
| ·测试要素的提取 | 第60-61页 |
| ·构件集成软件测试机理 | 第61-62页 |
| ·构件集成软件测试过程模型 | 第62-63页 |
| ·基于观测模型的构件集成软件测试充分性及测试准则讨论 | 第63-67页 |
| ·测试充分性说明 | 第63-65页 |
| ·测试准则 | 第65-67页 |
| ·本章小结 | 第67-68页 |
| 4 基于合约检查的COTS构件包装 | 第68-82页 |
| ·构件易测试性的度量 | 第68-70页 |
| ·构件合约与验证 | 第70-72页 |
| ·构件合约 | 第70-71页 |
| ·构件合约的获取 | 第71页 |
| ·构件合约的验证 | 第71-72页 |
| ·构件合约检查 | 第72-75页 |
| ·COTS构件包装 | 第75-81页 |
| ·构件合约的类结构 | 第75-79页 |
| ·合约检查描述文件与构件包装 | 第79-81页 |
| ·小结 | 第81-82页 |
| 5 构件集成软件系统测试平台架构 | 第82-101页 |
| ·构件集成软件测试平台架构(ITACBS) | 第82-85页 |
| ·ITACBS架构 | 第82-84页 |
| ·ITACBS架构测试过程 | 第84-85页 |
| ·ITACBS配置体系 | 第85-95页 |
| ·ITACBS测试配置项 | 第86-87页 |
| ·配置项的XML描述与解析类 | 第87-95页 |
| ·ITACBS编译体系 | 第95-100页 |
| ·编译体系执行过程 | 第95-96页 |
| ·接口分析与合约加载 | 第96-98页 |
| ·构件包装与观测点插装 | 第98-100页 |
| ·ITACBS执行体系 | 第100页 |
| ·小结 | 第100-101页 |
| 6 基于智能算法的测试用例自动生成 | 第101-126页 |
| ·ⅠGA的测试用例生成方法 | 第101-110页 |
| ·ⅠGA产生测试用例的机理 | 第101-104页 |
| ·ⅠGA主要参数设定 | 第104-108页 |
| ·ⅠGA算法实验结果 | 第108-110页 |
| ·eBoxGA的测试用例生成方法 | 第110-116页 |
| ·eBoxGA生成测试用例的思想 | 第110-111页 |
| ·基于eBox的CSP求解 | 第111-113页 |
| ·eBox相容区间过滤算法 | 第113-114页 |
| ·eBoxGA测试用例生成与效率 | 第114-116页 |
| ·ⅡGA的测试用例生成方法 | 第116-120页 |
| ·ⅡGA | 第116-117页 |
| ·ⅡGA算法流程 | 第117-118页 |
| ·ⅡGA中的疫苗抽取、接种与免疫选择 | 第118-120页 |
| ·eBoxGA与ⅡGA相融及各算法实验结果比较 | 第120-125页 |
| ·eBoxGA与ⅡGA相融 | 第120页 |
| ·智能测试用例自动生成算法实验设定 | 第120-122页 |
| ·实验结果分析 | 第122-125页 |
| ·小结 | 第125-126页 |
| 7 基于构件的InterPSS电力系统仿真软件测试 | 第126-146页 |
| ·InterPSS软件 | 第126-128页 |
| ·InterPSS简介 | 第126页 |
| ·InterPSS体系架构及运作流程 | 第126-128页 |
| ·InterPSS测试与分析 | 第128-145页 |
| ·sample程序 | 第128-131页 |
| ·sample的测试观测模型 | 第131-135页 |
| ·sample的ITACBS配置 | 第135-138页 |
| ·sample的ITACBS编译 | 第138-142页 |
| ·sample的简单潮流计算测试执行与分析 | 第142-145页 |
| ·小结 | 第145-146页 |
| 8 总结与展望 | 第146-149页 |
| ·本文工作总结 | 第146-147页 |
| ·今后的研究工作 | 第147-149页 |
| 致谢 | 第149-150页 |
| 参考文献 | 第150-157页 |
| 攻读博士学位期间发表的论文 | 第157页 |