软件测试W方法
来源:互联网 发布:淘宝客怎么微信推广 编辑:程序博客网 时间:2024/05/16 17:57
目标: 检测FSM中的所有可能错误
判断2个状态是否相同的标志: 存在一个输入的string 使得输出的string不一样...
FSM的形式化定义: FSM = (X,Y,Q,q0,theta,O).
X : input alphabet.
Y: ouput alphabet.
Q 有限状态集合
q0: 初始状态
theta: theta(Q,X) -> Q
O: O(Q,X) -> Y.
使用W方法的条件:
1. 完全定义的。
2. 强联通的。
3. 确定的
4. 最小化的
W方法:
1. 确定实现模型中最大的状态数m. 如果无法确定就让m = |Q|
2. 构造W特征集合
3. 构造测试树, 生成测试树覆盖
4. 构造Z
5. 计算P.Z
W特征集合: 对于任意2个状态 都存在一个str使得 输出的str不同,从而使得2个状态得以区分。
0 0
- 软件测试W方法
- 软件测试W模型
- 软件测试模型之W模型
- 如何搭建软件测试中的W模型?
- 软件测试过程模型-W模型
- 软件测试模型(V,W,H)
- 软件测试中的V、W、H模型
- 软件测试#测试方法
- 软件测试过程模型:V模型 W模型 H模型
- 软件测试过程模型的种类之----------W模型
- 软件测试过程模型:V模型 W模型 H模型
- 软件测试过程模型:V模型 W模型 H模型
- 软件测试过程模型的种类之----------W模型
- 软件测试模型之V模型和W模型
- 软件测试的V和W模型图
- 软件测试中的V模型、W模型和H模型
- 软件测试系列之软件测试过程模型V,W,H,X等
- 软件测试方法、软件质量
- 关于在vs2013中的一个错误
- Android基础--ConnectivityManager检查网络连接
- 4.5方法参数
- 翻转字符串
- Android篇 ListView 优化笔记
- 软件测试W方法
- cnetos安装vncserver
- 彩色图像的空间域滤波
- ASIDownloadCache 设置下载缓存
- Auto Layout 使用心得(五)—— 根据文字、图片自动计算 UITableViewCell 高度
- vbs中解决路径带空格的三种方法(转)(即对双引号的处理)
- cognos8 图片展示
- .net学习笔记(二)
- 顺序栈,C++基本实例应用