请简要说明白盒测试技术中，判定覆盖，条件覆盖，判定条件覆盖和组合条件覆

分别关注的测试点是什么（能够检测什么类型的错误）

类型 关注点 错误类型

判定覆盖 每个分支结果至少走1次 分支缺陷
条件覆盖 每个条件因素至少1次 条件因素缺陷
判定条件覆盖 每个条件因素至少1次+每个分支结果至少1次 分支缺陷或者条件缺陷
组合条件覆盖 所有条件因素的所有组合情形至少1次 比较全的缺陷，但也不能检测到全部，因为有些特殊的或者是设计上的东西

程序1如下： 　　function js(float a,float b,float x) 　　{ 　　if(a>1&&b=0)x=x/a; 　　if(a=2||x>1)x=x+1; 　　} 　　程序2如下： 　　void dowork(int x,int y,int z) 　　{ 　　int k=0,j=0; 　　if((x>3)&&(z<10)) 　　{ 　　k=x*y-1; ‘语句块1 　　j=sqrt(k); 　　} 　　if((x==4)||(y>5)) 　　{j=x*y+10;} ‘语句块2 　　j=j%3; ‘语句块3 　　} 　　a、语句覆盖：语句覆盖使程序中每个语句至少都能够被执行一次。 　　例如，在程序1中，为使程序中每个语句至少执行一次，只需设计一个能通过路径a-c-e的数据就可以了，例如选择输入数据为：a=2，b=0，x=3就可以达到“语句覆盖”标准。 　　在程序2中，如测试用例输入为：x=4，y=5，z=5程序执行的路径是a-b-d。 　　b、判定覆盖 　　比语句覆盖稍强的覆盖标准是判定覆盖。按判定覆盖准则进行测试是指，设计若干测试用例，运行被测程序，使得程序中每个判断的取真分支和取假分支至少经历一次，即判断的真假值均曾被满足。判定覆盖又称为分支覆盖。 　　c、条件覆盖 　　再设计程序中，一个判定语句是由多个条件组合而成的复合判定。 　　条件覆盖的含义是：构造一组测试用例，使得每一判定语句中每个逻辑条件的可能值至少满足一次。 　　d、条件判定组合覆盖 　　条件判定组合覆盖的含义是：设计足够的测试用例，使得判定中每个条件的所有可能（真/假）至少出现一次，并且每个判定本身的判定结果（真/假）也至少出现一次。 　　e、多条件覆盖 　　多条件覆盖也成为条件组合覆盖，它的含义是：设计足够的测试用例，使得每个判定中条件的各种可能组合都至少出现一次。显然满足多条件覆盖的测试用例是一定满足判定覆盖、条件覆盖和条件判定组合覆盖的。 　　级别太低，流程图插不上，汗....