Google软件测试之道

GTA： Google实现ACC模式建模的工具

Attribute 特质：产品特点
Component 组件：功能模块
Capability 能力：操作响应

每一个可测能力都可描述为：组件满足特质的一个能力

GTA可生成风险热图

颜色区分测试的优先级或者隐私级别
清晰的测试依据

风险热图，案例见《Google软件测试之道》90页

其中：红色高风险能力和特质组件对，要编写一系列测试用例

等价划分：把测试案例组合缩减到仍足以测试软件的控制范围

一、静态黑盒测试

测试产品说明书，在编写软件前查找问题

二、动态黑盒测试

不了解软件如何工作的前提下测试软件

1).数据测试

1.边界条件

根据边界选择等价划分包含的数据
测试最后一个合法数据和超过边界的非法数据

2.次边界条件

边界条件位于软件内部(如输入2的乘方、ASCII表)

3.默认、空白、空值、零值、无的等价空间

4.垃圾数据 (破坏性实验，输入要求以外的数)

2).状态测试

选一项，软件改变外观、菜单或某些操作，即改变状态

1.建立状态转换图，包含：

软件可能进入的每一种独立状态
一种状态转入另一种状态所需的输入或条件及结果

状态转换图例，案例见《软件测试》Ron Patton著 58页

其中：

每种状态必须访问一次
测试最常用(针对用户)及最不常用分支(针对产品及开发)
测试所有错误状态及返回值
测试状态随机转换

3).失败状态测试

1.竞争条件：多任务同时访问内存、硬件资源等

2.重复、压迫和重负

重复：检测内存是否不足
压迫：限制软件的必要条件，在不理想条件下运行(内存小、CPU慢等)，检测软件对外部资源和要求的依赖程度
重负：尽量提供条件，最大限度发掘软件能力

4).其他测试

在已找到缺陷的地方再找

三、静态白盒测试

通过正式的审查和检查代码的细节

1).正式审查

要素：确定问题、遵守规则、准备、编写报告
过程：同事审查-->公开陈述-->检验(最正式)

2).编码标准

3).通用代码审查清单

1.数据引用错误

使用未经正确初始化和引用方式的变量、常量、数组、字符串
a.是否引用未初始化变量
b.下标是否为整数且在范围内
c.数组下标从零开始
d.应使用常量的地方用了变量
e.变量是否赋于不同类型值
f.引用的指针是否分配内存
g.一个数据结构是否被多处引用并声明

2.数据声明错误

不正确声明或使用变量、常量
a.变量长度、类型是否正确
b.声明时是否正确初始化
c.相似的变量名称
d.声明但未引用过的变量

3.计算错误

a.不同数据类型计算
b.编译器对类型、长度不同变量的转换规则
c.是否有计算溢出
d.除数为0
e.精度丢失
f.计算结果是否超过有意义的范围(概率大于1小于0等)
g.运算的优先级，可否用括号

4.比较错误

大于小于等于不等于、真假
a.精度是否影响分数/浮点值的比较
b.求值次序

5.控制流程错误

循环等控制结构未按预期工作

6.子程序参数错误

7.输入/输出错误

a.软件是否严格遵守读写专用格式
b.外设不存在、未准备好等错误情况是否处理
c.读写过程存储空间占满

8.其他检查

a.是否使用外语、拓展ASCII字符、统一编码取代ASCII
b.是否要移植到其他编译器和CPU
c.兼容性

四、动态白盒测试(结构测试)

看到软件工作方式根据获取的信息对软件进行测试

根据代码功能和实现方式确定哪些要测试
在白盒测试前，先建立根据说明书黑盒测试案例
API测试
获取变量及状态访问权以便确定结果与预期是否相符
估算测试命中代码量和具体代码，然后调整测试，去掉多余补充遗漏

另：测试--寻找软件缺陷、调试--修复缺陷

1.单元(模块)测试、集成测试

底层进行的单元测试集成在一起进行集成测试

a.数据流：跟踪数据，在程序运行期间检查立即值
b.次边界
c.公式和等式
d.错误强制：迫使软件所有错误提示信息显示出来，不是检测错误的代码

2.代码范围分析

测试程序的状态以及其中的程序流程
方式：利用调试器单步执行程序查看代码或者代码范围分析器
a.找出测试案例没有覆盖的部分则其模块代码从未执行，要额外编写该模块测试案例。
b.执行一系列测试但未增加代码覆盖百分比，则这些案例可能处于同一等价区间
分支范围：覆盖软件中所有路径
条件范围：测试所有可能条件达到分支覆盖、语句覆盖