最近學習了一下prolog語言，思路也有所開闊，比如我之前嘗試的用樹形結構代表測試步驟的依賴關係，然後用遍歷的方法生成test case，如果用prolog的話，只需要描述一下步驟直接的聯繫，和一個完整的case需要的約束，就可以打印出所有的可能的testcase了，不需要自己設計算法。不過這樣的應用似乎並沒有多大的好處，沒法展示出prolog建模的威力，需要進一步學習怎麼樣使用prolog建立起一個完整的用戶使用模型，進而生成所有的test case。
BTW，有一篇IEEE的論文：Test-case generation from Prolog-based specifications，似乎是我可以參考的，可惜原文找不到。