航天器故障诊断系统软件测试方法研究
| 摘要 | 第1-4页 |
| Abstract | 第4-9页 |
| 1 绪论 | 第9-13页 |
| ·研究背景 | 第9-10页 |
| ·国内外的研究现状 | 第10-11页 |
| ·课题研究的意义 | 第11-12页 |
| ·课题研究的内容 | 第12-13页 |
| 2 基于规格说明的测试和UML方法 | 第13-27页 |
| ·基于代码与基于规格说明 | 第13-14页 |
| ·基于代码的测试用例生成 | 第13页 |
| ·基于规格说明的测试用例生成 | 第13-14页 |
| ·基于规格说明的测试 | 第14-20页 |
| ·方法的分类 | 第14页 |
| ·响应系统的测试 | 第14-15页 |
| ·基于断言的方法 | 第15-20页 |
| ·基于UML的测试方法 | 第20-24页 |
| ·测试阶段与方法 | 第21-23页 |
| ·测试过程 | 第23-24页 |
| ·基于UML测试中的若干问题 | 第24-27页 |
| ·面向路径的测试数据自动生成 | 第24-25页 |
| ·测试预言、期望结果的自动生成 | 第25页 |
| ·回归测试和测试选择 | 第25-27页 |
| 3 基于UML的单元测试 | 第27-48页 |
| ·路径测试 | 第27-31页 |
| ·语句覆盖 | 第30-31页 |
| ·路径覆盖 | 第31页 |
| ·条件覆盖 | 第31页 |
| ·判断-条件覆盖 | 第31页 |
| ·面向对象的单元测试 | 第31-33页 |
| ·类测试模型 | 第31-32页 |
| ·根据类图和OCL生成测试用例 | 第32页 |
| ·根据状态转换图构建测试用例 | 第32-33页 |
| ·往返路径测试方法 | 第33-36页 |
| ·基于状态的测试方法概述 | 第33-34页 |
| ·往返路径测试 | 第34页 |
| ·生成测试用例的实例 | 第34-36页 |
| ·基于状态图的测试用例生成 | 第36-44页 |
| ·状态转换测试序列 | 第36-37页 |
| ·调用序列树 | 第37-38页 |
| ·构造调用序列 | 第38-39页 |
| ·获得测试约束条件 | 第39-40页 |
| ·生成测试用例的实例 | 第40-44页 |
| ·基于顺序图的测试用例生成 | 第44-48页 |
| ·UML顺序图模型的可测试性 | 第44页 |
| ·测试用例生成的步骤 | 第44页 |
| ·生成测试用例的实例 | 第44-48页 |
| 4 航天器故障诊断系统测试中测试用例优选技术 | 第48-66页 |
| ·跟踪性和测试选择 | 第48-53页 |
| ·规格说明的跟踪性 | 第48-50页 |
| ·回归分析和测试用例选择 | 第50-53页 |
| ·完全测试覆盖准则 | 第53-56页 |
| ·白盒测试覆盖准则 | 第53页 |
| ·基于UML的测试覆盖准则 | 第53-56页 |
| ·测试用例优选技术 | 第56-66页 |
| ·测试用例的优选问题 | 第56-57页 |
| ·基于缺陷探测率的优选技术 | 第57-63页 |
| ·基于风险的优选技术 | 第63-66页 |
| 5 测试用例自动生成的研究 | 第66-74页 |
| ·正交实验法 | 第66-67页 |
| ·正交实验法介绍 | 第66页 |
| ·正交表 | 第66-67页 |
| ·利用正交表设计测试用例 | 第67-69页 |
| ·利用正交实验设计测试用例的步骤 | 第67页 |
| ·选择正交表的基本原则 | 第67-68页 |
| ·正交试验法的优点 | 第68-69页 |
| ·正交实验法在测试中的应用 | 第69-71页 |
| ·正交实验法自动生成测试用例的实验结果 | 第71-74页 |
| ·混合水平情况下的实验 | 第71-72页 |
| ·完全相符情况下的实验 | 第72-74页 |
| 6 结论 | 第74-75页 |
| 参考文献 | 第75-77页 |
| 攻读硕士学位期间发表的论文 | 第77-78页 |
| 致谢 | 第78-80页 |
