- 软件规格说明书
- 等价类划分，完备性，无冗余性（不能有交集）。 健壮等价类：无效等价类
- 边界值分析，对于一个含有n个变量的程序，采用边界值分析法测试程序会产生4n+1个测试用例
健壮性测试：除了对变量的5个边界值分析取值外，还需要增加略大于最大值(max+)以及略小于最小值(min-)的取值。
对于有n个变量的函数，采用健壮性测试需要6n+1个测试用例
练 习 ： 有 函 数 f(x,y,x) ， 其 中 x∈[1900,2100] ，
y∈[1,12]，z∈[1,31]的。请写出该函数采用边界值分析法设计的测试用例。
{ <2000,6,1>, <2000,6,2>, <2000,6,30>, <2000,6,31>,
<2000,1,15>, <2000,2,15>, <2000,11,15>, <2000,12,15>,
<1900,6,15>, <1901,6,15>, <2099,6,15>, <2100,6,15>,
<2000,6,15> }
n-1个中间值与最小值，最小值+1，中间值，最大值-1，最大值组合
1900，1901，2000，2099，2100
1，2，6，11，12
1，2，15，30，31
• 对16-bit 的整数而言 是边界;
• 屏幕上光标在 、 位置;
• 报表的 和 ;
• 数组元素的 和 ;
• 循环的 次
答案：32767 和 -32768
最左上 最右下
第一行 最后一行
第一个 最后一个
第 0 次、第 1 次和倒数第 2 次、最后一次
- 决策表测试，有n个条件的决策表有2的n次方个规则（每个条件取真、假值）。
| 选项/规则 | 规则1 | 规则2 |
|
条件
c1:
c2
|
N
-
|
Y |
|
动作
a1:
a2:
|
√
|