基于模型的测试框架的想法 (四)
来源:互联网 发布:php工程师工资低 编辑:程序博客网 时间:2024/05/22 13:29
最近学习了一下prolog语言,思路也有所开阔,比如我之前尝试的用树形结构代表测试步骤的依赖关系,然后用遍历的方法生成test case,如果用prolog的话,只需要描述一下步骤直接的联系,和一个完整的case需要的约束,就可以打印出所有的可能的testcase了,不需要自己设计算法。不过这样的应用似乎并没有多大的好处,没法展示出prolog建模的威力,需要进一步学习怎么样使用prolog建立起一个完整的用户使用模型,进而生成所有的test case。
BTW,有一篇IEEE的论文:Test-case generation from Prolog-based specifications,似乎是我可以参考的,可惜原文找不到。
0 0
- 基于模型的测试框架的想法 (四)
- 基于模型的测试框架的想法 (一)
- 基于模型的测试框架的想法 (二)
- 基于模型的测试框架的想法 (三)
- 基于模型的测试(二)
- 基于模型的测试【一】
- 基于模型的智能测试
- 基于UGUI 的 游戏UI框架的一些想法
- web 自动化测试框架的一些想法和实践
- 关于模型的一些想法
- 基于模型的测试工具: Spec Explorer
- 基于模型驱动的自动化测试设计
- 基于RSA模型转换框架的开发
- 基于组件的业务模型---实现框架
- 基于RSA模型转换框架的开发
- struts2学习笔记(四)基于xml的框架校验
- 测试的几条想法
- struts2+json框架的想法
- VMD - VisualMolecularDynamic 的编译安装
- Android SDK手动添加特定版本的API
- Hadoop 2.0稳定版本2.2.0新特性剖析
- Android学习笔记(四)——通过剪切板传递数据
- 2014-04-05 i2c设备驱动程序读写EEPROM(smbus协议)
- 基于模型的测试框架的想法 (四)
- 黑马程序员----多态
- 什么是osgi
- Linux常用命令-入门篇
- 最长公共子序列|最长公共子串|最长重复子串|最长不重复子串|最长回文子串|最长递增子序列|最大子数组和
- 第5周作业-字体设置——略修改成简单文字编辑器
- 开源OCR引擎Tesseract
- Ubuntu 13.04 安装 GCC4.8.1
- iOS Delegate 使用五步曲