1、程序模块 do _ work 代码如下： public int do _ work ( int A , int B ){ int x =0; if (( A >4)&&( B <9)){ x = A - B ;} if ( A ==5&& B >28){ x = + B :} return x ; (1）设计测试用例满足语句覆盖；(2）设计测试用例满足判定覆盖； (3）设计测试用例满足条件覆盖： (4）设计测试用例满足条件／判定覆盖； (5）设计测试用例满足条件组合覆盖。

1. 测试用例满足语句覆盖：

a. A=5, B=10，期望输出为-10。
b. A=3, B=8，期望输出为0。
c. A=6, B=30，期望输出为30。

2. 测试用例满足判定覆盖：

a. A=5, B=10，期望输出为-10。
b. A=5, B=30，期望输出为30。
c. A=3, B=30，期望输出为0。

3. 测试用例满足条件覆盖：

a. A=5, B=10，期望输出为-10。
b. A=5, B=30，期望输出为30。
c. A=3, B=8，期望输出为0。

4. 测试用例满足条件/判定覆盖：

a. A=5, B=10，期望输出为-10。
b. A=5, B=30，期望输出为30。
c. A=3, B=30，期望输出为0。

5. 测试用例满足条件组合覆盖：

a. A=5, B=10，期望输出为-10。
b. A=5, B=30，期望输出为30。
c. A=3, B=8，期望输出为0。
d. A=6, B=8，期望输出为0。
e. A=6, B=30，期望输出为30。