无效值会引起运行错误的时候(实现语言是强类型),则没有必要做健壮形式的测试。
错误条件很重要的时候,健壮测试很重要。
边界值测试是等价类测试的一种补充,两者结合可以加强测试效果。...其中Runs是矩阵的行数, Factors是矩阵的列数(因子的数目), Levels是因子的最大取值
关于试验次数给出计算的方法:
?..., 有利于测试
关于事件流:
事件的基础流: 覆盖自然发生的事
事件的可选流
三步法生成测试用例:
对于每一个用例, 生成用例场景的full set
对于每一个场景, 确定至少一个测试用例, 以及可以执行的条件...关于描述集合W的构建
我们令
?
是一个最小的并且完整的FSM
描述集合W是一个输入序列的有限的集合, 这些输入序列能够区分M的任意状态对的行为, 每一个W中的输入序列都是有限长度, 给定状态
?..., 初始化的状态, 是测试树的根, 假设测试树已经被构造到水平k, 第k+1的水平将会被构建
在水平k选择一个节点n,
如果从1到k水平中出现出现过, 那么n就是叶子节点并且不能被继续展开,
如果