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

以下是该程序的程序流程图：

    +----------+
    |     a>0 && b>0     |
    |       c=c/a        |
    +----------+
           |
           V
    +----------+
    |     a>1 || c>1     |
    |        c++         |
    +----------+
           |
           V
    +----------+
    |       c+=b        |
    +----------+

逻辑覆盖标准的测试用例：

1. 语句覆盖
- 测试用例1: a=2, b=3, c=0.0
- 测试用例2: a=0, b=5, c=1.2
- 测试用例3: a=1, b=-4, c=3.5

2. 判定覆盖
- 测试用例1: a=2, b=3, c=0.0
- 测试用例2: a=0, b=5, c=1.2
- 测试用例3: a=1, b=-4, c=3.5
- 测试用例4: a=2, b=-3, c=1.5

3. 条件覆盖
- 测试用例1: a=2, b=3, c=0.0
- 测试用例2: a=0, b=5, c=1.2
- 测试用例3: a=1, b=-4, c=3.5
- 测试用例4: a=2, b=-3, c=0.5

4. 路径覆盖
- 测试用例1: a=2, b=3, c=0.0
- 测试用例2: a=0, b=5, c=1.2
- 测试用例3: a=1, b=-4, c=3.5
- 测试用例4: a=-2, b=3, c=1.5

请注意，这只是一个示例，实际测试用例的编写需要根据具体情况进行。