关于测试用例设计方法

lovywu

看到一篇讲解测试用例设计方法的文章，读完之后不知道自己是否理解正确，特写此文章，用一个简单的例子来说明自己所理解的设计方法，如有错误之处，请不吝指教！文章中陈述内容引自原文，测试用例是本人所设计。例子的设计流程图如下：

图表 1
　　单元测试的基本要求为：对程序模块的所有独立的执行路径至少要测试一次；对所有的逻辑判定，其结果为真、假的两种情况至少要测试一次；对程序进行边界检查；检验内部数据结构的有效性。

　　单元测试的基本方法是将输入分类（等价类），设定对应的正确输出，执行测试，由工具自动判断实际输出是否相符。而工具不可能自动了解程序的设计功能，因此，要达到起码的测试效果，用例必须由能够了解代码功能者人工设计。

白盒测试的主要用例设计方法有6种：

语句覆盖，使程序的每一条可执行语句至少被执行一次。可以很直观地从源代码得到测试用例，无须细分每条判定表达式。由于这种测试方法仅仅针对程序逻辑中显式存在的语句，对于隐藏的条件和可能到达的隐式逻辑分支是无法测试的。语句覆盖对于多分支的逻辑运算是无法全面反映的，它只在乎运行一次，而不考虑其他情况。
用例设计：
输入