什么是软件测试中的全真值覆盖？全假值覆盖规约？（All-true，All-false）

什么是软件测试中的全真值覆盖？全假值覆盖规则？（All-true，All-false）
如题！
书上英文的，没太看懂。
知道的麻烦讲一下，谢谢了！
最好能举个例子！感谢！
------最佳解决方案--------------------
很扯。

分支覆盖是指普通的分支，例如switch下面有5各分支那么就5各分支。那么什么“全真值、全假肢”可见是明显地为了追求形式而跑偏了，经不起检验。

要么就不忽悠什么分支覆盖，要么就真正地“全xxx”地覆盖分支。
------其他解决方案--------------------
这种概念需要看背景，哪本书中提到的，具体哪个章节中的。
------其他解决方案--------------------
比如说

if(a)
   pro1();
else 
   pro2();
if(b)
   pro3();
else
   pro4();


这个简单例子其分支明显有4种路径。什么叫做“全真、全假”呢？如果真要覆盖4种路径，它做到了吗？