对下面程序段分析，分别通过六种逻辑覆盖法给出测试用例public void function(int a, int b, int c) { if ((a > 1) && (b == 0)) { c = c / a; } if ((a == 5) || (c > 1)) { c = c + 1; } c = a + b + c; }