基于模型的测试框架的想法 （四）

最近学习了一下prolog语言，思路也有所开阔，比如我之前尝试的用树形结构代表测试步骤的依赖关系，然后用遍历的方法生成test case，如果用prolog的话，只需要描述一下步骤直接的联系，和一个完整的case需要的约束，就可以打印出所有的可能的testcase了，不需要自己设计算法。不过这样的应用似乎并没有多大的好处，没法展示出prolog建模的威力，需要进一步学习怎么样使用prolog建立起一个完整的用户使用模型，进而生成所有的test case。

BTW，有一篇IEEE的论文：Test-case generation from Prolog-based specifications，似乎是我可以参考的，可惜原文找不到。