| 摘要 | 第1-4页 |
| ABSTRACT | 第4-9页 |
| 第1章 引言 | 第9-13页 |
| ·课题背景 | 第9-10页 |
| ·国内外研究情况 | 第10-12页 |
| ·软件测试的发展 | 第10-11页 |
| ·国内电信软件开发的特点 | 第11页 |
| ·形式化方法 | 第11-12页 |
| ·本论文的研究内容与意义 | 第12-13页 |
| 第2章 测试视角 | 第13-19页 |
| ·软件测试基础 | 第13-17页 |
| ·测试目标 | 第13-14页 |
| ·测试原则 | 第14页 |
| ·可测试性 | 第14-17页 |
| ·测试视角 | 第17-19页 |
| ·测试视角角度 | 第17-18页 |
| ·质疑技巧 | 第18-19页 |
| 第3章 测试策略 | 第19-28页 |
| ·软件测试的策略途径 | 第19-24页 |
| ·验证和确认 | 第20页 |
| ·软件测试的组织 | 第20-21页 |
| ·一种软件测试策略 | 第21-22页 |
| ·测试完成的标准 | 第22-24页 |
| ·策略问题 | 第24-25页 |
| ·确认测试 | 第25-26页 |
| ·确认测试的标准 | 第25页 |
| ·配置复审 | 第25页 |
| ·Alpha和Beta测试 | 第25-26页 |
| ·系统测试 | 第26-28页 |
| ·恢复测试 | 第26页 |
| ·安全测试 | 第26-27页 |
| ·压力测试 | 第27页 |
| ·性能测试 | 第27-28页 |
| 第4章 测试技术 | 第28-46页 |
| ·测试用例设计 | 第28-29页 |
| ·白盒测试 | 第29页 |
| ·基本路径测试 | 第29-36页 |
| ·流图符号 | 第30-31页 |
| ·环形复杂性 | 第31-32页 |
| ·导出测试用例 | 第32-34页 |
| ·图矩阵 | 第34-36页 |
| ·控制结构测试 | 第36-41页 |
| ·条件测试 | 第36-38页 |
| ·数据流测试 | 第38-39页 |
| ·循环测试 | 第39-41页 |
| ·黑盒测试 | 第41-45页 |
| ·基于图的测试方法 | 第41-43页 |
| ·等价划分 | 第43-44页 |
| ·边界值分析 | 第44页 |
| ·比较测试 | 第44-45页 |
| ·小结 | 第45-46页 |
| 第5章 形式化方法 | 第46-54页 |
| ·基本概念 | 第46-49页 |
| ·欠形式化方法的不足 | 第47-48页 |
| ·软件开发中的数学 | 第48-49页 |
| ·形式化方法概念 | 第49页 |
| ·数学预备知识 | 第49-53页 |
| ·集合和构造性规约 | 第49-50页 |
| ·集合运算符 | 第50-51页 |
| ·逻辑运算符 | 第51-52页 |
| ·序列 | 第52-53页 |
| ·形式化规约语言 | 第53-54页 |
| 第6章 RAISE在CSTA系统测试中的应用 | 第54-72页 |
| ·CSTA标准简介 | 第54-55页 |
| ·交换功能服务 | 第55-60页 |
| ·问题描述 | 第60-61页 |
| ·域 | 第61-62页 |
| ·Device设备 | 第62页 |
| ·Connection连接 | 第62页 |
| ·Call呼叫 | 第62页 |
| ·Agent坐席 | 第62页 |
| ·定义 | 第62-69页 |
| ·Connection | 第62-63页 |
| ·Device | 第63页 |
| ·Call | 第63-67页 |
| ·Agent | 第67-69页 |
| ·测试用例的设计 | 第69-70页 |
| ·小结 | 第70-72页 |
| 结论 | 第72-75页 |
| 致谢 | 第75-76页 |
| 参考文献 | 第76-80页 |
| 附录一: 本论文涉及的CSTA第二版中的呼叫控制服务部分的状态报告服务介绍 | 第80-81页 |
| 攻读硕士期间发表的论文 | 第81页 |