C#程序设计 -鄢爱兰 第22章.pptVIP

第22章 测试 22.1 简介 22.2 程序规格说明 22.3 穷举测试 22.4 黑盒（功能）测试 22.5 白盒（结构）测试 22.6 审查和遍历 22.7 单步执行代码 22.8 形式验证 22.9 增量开发 22.10 编程原则 22.11 小结 22.1 简介 本章将学习如何系统地执行测试，考察不同的验证方法，并了解它们各自的不足。将要学习的技巧有： 黑盒或功能测试。 白盒或结构测试。 审查或遍历。 使用调试器单步执行代码。 形式方法。 22.2 程序规格说明 任何测试都始于规格说明。研究规格说明、发现任何遗漏或混乱之处以及就明确的规格说明达到一致，都是编程工作的一部分。毕竟，如果不能满足客户要求，程序编写得再好也没有用处。 22.3 穷举测试 穷举测试将意味着需要选择所有可能的第一个数值以及所有可能的第二个数值，然后使用这两个数值所有可能的组合。对于所有程序来说（最简单的程序除外），完美无缺的测试是不可能的。因此，必须采取一些其他测试方法。 22.4 黑盒（功能）测试 黑盒测试方法是设计代表所有可能数据的样例数据。然后运行程序，输入数据，看发生了什么。这种类型的测试称为黑盒测试，这是因为程序工作原理没有用做测试的一部分，只考虑输入和输出。程序被看作是一个封闭在黑盒中的不可见物。黑盒测试也称为功能测试，因为它只考察程序完成的功能。 22.5 白盒（结构）测试 白盒测试使用程序的结构作为设计测试数据的基础。在白盒测试中，程序的每条语句在测试期间都将执行。这等于确保了程序中的每条路径（所有指令序列）在测试期间都执行了。这包括空路径，像不带else的if语句有两条路径，而每条循环语句有两条路径。测试还应该包括程序需要执行的任何异常处理。 22.6 审查和遍历 审查是发现错误的一种非常有效的方式。 为了验证程序是否正确，可以使用以下的方法确定： 逻辑结构是否正确。 变量和方法名是有意义的。 逻辑是清晰而正确的。 22.7 单步执行代码 C# IDE中的调试器允许单步执行程序，即一次只执行一条指令。这就是所谓的单步执行。每次执行一条指令时，可以看到已经通过哪条执行路径。 22.8 形式验证 形式验证方法使用了数学的精确度和能力，尝试验证程序满足其规格说明。然后它们将重点放在规格说明的精确性上，规格说明必须以数学形式的符号重写。 22.9 增量开发 大型开发的一种可选方案是一部分一部分地进行编程，通常称为增量（incremental）编程。其步骤是： （1）设计和构建用户界面的代码。 （2）编写一小部分程序。 （3）输入它，修正语法错误，运行并调试。 （4）添加一小部分新程序。 （5）从步骤2开始重复，直到程序完成。 22.10 编程原则 最佳测试方法是使用测试方法的组合（黑盒、白盒和审查） 。 增量测试避免了大海捞针式的测试。 22.11 小结 测试是一种试图让程序没有错误的技术。 测试无法穷举，因为有太多的情形。 黑盒测试仅使用规格说明来选择测试数据。 白盒测试根据程序的工作原理来选择测试数据。 审查仅意味着研究程序清单，以便发现错误。 对于程序测试来说，使用调试器单步执行代码非常有价值。 增量开发可以避免开发大型程序的复杂性。 * * 在线教务辅导网： 教材其余课件及动画素材请查阅在线教务辅导网 QQ:349134187 或者直接输入下面地址：