二、软件测试阶段白盒测试，以如下程序为例，画出其程序流程图，并给出至少四种逻辑覆盖标准的测试用例。 int a,b; double c; if(a>0 && b>0) c=c/a; if(a>1||c>1) c++; c+=b;

以下是程序流程图：

┌─────────────┐
│    Start    │
└─────┬───────┘
      │
      ▼
┌─────────────┐
│  a > 0 &&    │
│  b > 0      │
└─────┬───────┘
      │
      ▼
┌─────────────┐
│     c=c/a   │
└─────┬───────┘
      │
      ▼
┌─────────────┐
│ a > 1 ||     │
│  c > 1      │
└─────┬───────┘
      │
      ▼
┌─────────────┐
│     c++     │
└─────┬───────┘
      │
      ▼
┌─────────────┐
│    c += b   │
└─────┬───────┘
      │
      ▼
┌─────────────┐
│     End     │
└─────────────┘

以下是四种逻辑覆盖标准的测试用例：

1. 测试 a 和 b 都大于 0，c 应该等于 b/a。
- a = 5, b = 10，预期 c = 2。
2. 测试 a 大于 1，c 小于等于 1，c 应该等于 b+1。
- a = 2, b = 3，预期 c = 4。
3. 测试 a 等于 1，c 大于 1，c 应该等于 b+1。
- a = 1, b = 3, c = 2，预期 c = 4。
4. 测试 a 和 b 都小于等于 0，c 应该等于 b。
- a = -1, b = -2，预期 c = -2。