问题：1.1 (6 分)
请针对上述 C 程序给出满足 100%DC (判定覆盖)所需的逻辑条件。
1. buf_c[i]<7||buf_c[i]>14；i>=32;
2. buf_len>512；buf_len<=512
3. buf_len==0；buf_len!=0
4. i<total_bytes；i>=total_bytes
5. buf_c[i]==’\0’；buf_c[i]!=’\0’
6. buf_c[i]<7||buf_c[i]>14；buf_c[i]>=7&&buf_c[i]<=14
7. i>=32；i<32
8.
9.
10. 判定覆盖：设计足够的测试用例，使得使程序中的每个判定至少都获得一次“真值”
或“假值”。又称分支覆盖：使程序中的每一个取“真”分支和取“假”分支至少经历一次
11. 本题中涉及到判定的点的条件项分别为：buf_len>512；buf_len==0；
i<total_bytes；buf_c[i]==’\0’；buf_c[i]<7||buf_c[i]>14；i>=32;
12. buf_len>512；buf_len<=512
13. buf_len==0；buf_len!=0
14. i<total_bytes；i>=total_bytes
15. buf_c[i]==’\0’；buf_c[i]!=’\0’
16. buf_c[i]<7||buf_c[i]>14；buf_c[i]>=7&&buf_c[i]<=14
17. i>=32；i<32
18.
19.
问题：1.2 (6 分)
请画出上述程序的控制流图，并计算其控制流图的环路复杂度 v(G)
评论0