形式化方法在CSTA系统测试中的应用研究

摘要

该论文对系统测试方法进行了探索,具有一定的理论意义.而且,该文为软件测试业务外包提供了一个现实可行的依据,对软件公司将主要精力放在某行业的应用软件开发、降低成本、提高核心竞争力提供了一种途径,具有重大的经济价值.该论文共包含七章的内容.第一章介绍了软件测试的发展状况,阐明了该课题的研究内容.第二章分析了软件的测试基础并提出了软件测试工程师应有的职业思想——不断变换测试视角,并对测试视角中质疑技巧进行了着重论述.第三章介绍了软件测试中的策略问题.第四章总结了常用的软件测试技术:黑盒测试技术和白盒测试技术.第五章对比了常用软件测试方法,讨论了形式化方法的基本概念、数学预备知识和形式化规约语言.第六章结合软件系统测试的需要,给出了一个用RAISE形式化CSTA的实例,并根据该实例剖析了系统测试中的形式化技术.第七章以实习期间在系统测试中运用该方法得到的数据,论证了形式化方法在系统测试中的优点和存在的不足.

目录

文摘

英文文摘

第1章引言

1.1课题背景

1.2国内外研究情况

1.2.1软件测试的发展

1.2.2国内电信软件开发的特点

1.2.3形式化方法

1.3本论文的研究内容与意义

第2章测试视角

2.1软件测试基础

2.1.1测试目标

2.1.2测试原则

2.1.3可测试性

2.2测试视角

2.2.1测试视角角度

2.2.2质疑技巧

第3章测试策略

3.1软件测试的策略途径

3.1.1验证和确认

3.1.2软件测试的组织

3.1.3一种软件测试策略

3.1.4测试完成的标准

3.2策略问题

3.3确认测试

3.3.1确认测试的标准

3.3.2配置复审

3.3.3 Alpha和Beta测试

3.4系统测试

3.4.1恢复测试

3.4.2安全测试

3.4.3压力测试

3.4.4性能测试

第4章测试技术

4.1测试用例设计

4.2白盒测试

4.3基本路径测试

4.3.1流图符号

4.3.2环形复杂性

4.3.3导出测试用例

4.3.4图矩阵

4.4控制结构测试

4.4.1条件测试

4.4.2数据流测试

4.4.3循环测试

4.5黑盒测试

4.5.1基于图的测试方法

4.5.2等价划分

4.5.3边界值分析

4.5.4比较测试

4.6小结

第5章形式化方法

5.1基本概念

5.1.1欠形式化方法的不足

5.1.2软件开发中的数学

5.1.3形式化方法概念

5.2数学预备知识

5.2.1集合和构造性规约

5.2.2集合运算符

5.2.3逻辑运算符

5.2.4序列

5.3形式化规约语言

第6章RAI SE在CSTA系统测试中的应用

6.1 CSTA标准简介

6.2交换功能服务

6.3问题描述

6.4域

6.4.1 Device设备

6.4.2 Connection 连接

6.4.3 Call呼叫

6.4.4 Agent坐席

6.5定义

6.5.1 Connection

6.5.2 Device

6.5.3 Call

6.5.4 Agent

6.6测试用例的设计

6.7小结

结 论

致 谢

参考文献

附录一：本论文涉及的CSTA第二版中的呼叫控制服务部分的状态报告服务介绍

攻读硕士期间发表的论文