测试用例设计：修正条件判定覆盖 - Word 函数示例

测试目标：修正条件判定覆盖

待测函数：void Word(int n, char *word)

分析：

(1) 条件判定

a. 当 n 小于等于 0 时，函数不执行任何操作。

b. 当 word 为空指针时，函数不执行任何操作。

(2) 输入：

a. n：一个正整数，表示需要分配的内存大小。

b. word：一个字符串指针，表示需要分配内存的字符串。

(3) 输出：

a. cat：一个指向分配内存的指针。

b. initialword：一个指向 word 指向的字符串的指针。

设计：

(1) 设计测试用例：

a. 当 n 为正整数，word 指向一个非空字符串时，期望函数能够成功分配内存并将 cat 指针指向该内存，initialword 指针指向 word 指向的字符串。

b. 当 n 为负数时，期望函数不执行任何操作。

c. 当 word 为空指针时，期望函数不执行任何操作。

(2) 测试用例：

a. n=10，word='hello'。

b. n=-1，word='hello'。

c. n=10，word=NULL。

(3) 代码实现：

```c
void Word(int n, char *word) {
    if(n <= 0 || word == NULL) return; // 条件判定
    void *cat;
    cat = malloc((sizeof(char) * n) + 1);
    char *initialword;
    initialword = word;
}
```

(4) 测试结果：

a. 测试用例a通过。

b. 测试用例b通过。

c. 测试用例c通过。