|
2:因果图法:
等价类法并没有考虑到输入情况的各种组合带来的制约关系,所以我们引入了因果图法。
利用因果图导出测试用例需要经过以下步骤:
1:分析程序规格说明的描述,哪些是原因,哪些是结果。原因常常是输入条件或输入条件的等价类,而结果是输出条件。
2:分析程序规格说明的描述中语义的内容,并将其表示成连接各个输入与各个输出的因果图。
3:由于语法或环境的限制,有些输入条件和输出的组合是不可能出现的,为表明这些特定的情况,在因果图上使用若干个特殊的符号标明约束条件。
4:把因果图转换成判定表。
5:判定表中每一列表示的情况写成测试用例。
Ci表示输入条件,Ei表示输出状态。
我们注意到,输入状态相互之间还可能存在某些依赖关系,称为约束(例如,某些输入条件本身不可能同时出现,我们用特定的符号表明这些约束。
E约束(异):a和b中至多有一个可能为真,即a和b不能同时为真。
I约束(或):a、b、c中至少有一个是真,既a,b,c3个输入条件至少有一个成立。
O约束(唯一):a和b必须有一个为真,而且仅有一个为真。
R约束(要求):a输入条件为真时,b输入条件也必须为真
输出条件的约束只有一个:
若输出为a,则输出为b的情况不可能出现。
3:边界值分析:
软件输入域和输出域的边界往往是最容易出现错误的地方,在设计测试用例的过程中。必须给予足够的重视,基于边界值分析而专门设计的测试用例,往往能取的良好的测试效果。
其基本思想是使用稍低于最小值、最小值 稍高于最小值、正常值 、稍低于最大值、最大值、稍高于最大值取输入变量。 |
|