大家好：
   我在书上看到单元测试的方法有
   条件覆盖测试
   分支覆盖测试
   路径覆盖测试等比较容易理解，但是后面还有
  
   谓词覆盖测试
   特殊值测试
   边界值测试
   
边界值和特殊值从字面上也可以理解，但是，谓词覆盖测试到网上怎么也找不到相关资料，至今一头雾水，因此在此求教，望不吝赐教，感谢非常！

我记得以前看过一篇专利文件，名称好像是《基于路径的测试用例生成方法》，就讲到用谓词分析的方法来设计测试用例，不过感觉离实用还很远，也没有见过成品工具。
谓词是指一些操作符吧？例如代码中有这个语句：
if(arg > 10) {...}
如果arg是参数，那么根据>这个操作符，设计两个用例：arg > 10 和arg<=10，就算完成了这个谓词的覆盖。
我是胡乱猜的，不算数，期望高手回答。
有兴趣的话，可以去专利局网站找一下前面说的那个文件。