33、编程测试与接口的深入解析

编程测试与接口的深入解析

1. 编程测试方法

1.1 代码单步执行测试

在 VB 集成开发环境（IDE）中，调试器可用于单步执行程序，即每次仅执行一条指令，这被称为单步调试。在单步执行过程中，我们能看到程序的执行路径，还可将光标置于变量名上查看变量的值，类似于自动的结构化走查。这种测试方式聚焦于变量，密切检查程序运行时变量值的变化，以验证其是否正确改变。调试器通常用于调试（定位错误），而在此技术中，它用于测试（确认或否定错误的存在）。

1.2 形式验证

形式验证方法借助数学的精确性和强大能力，尝试验证程序是否符合其规范。这需要先将规范用正式的数学符号重写，例如 Z 语言。编写好程序的形式规范后，有两种可选方法：
- 先编写程序再验证 ：先编写程序，然后验证其是否符合规范，此方法需要大量时间和专业技能。
- 从规范推导程序 ：通过一系列保持产品正确性的转换从规范推导出程序，这是目前更受青睐的方法。

形式验证虽能严格验证程序的正确性，但由于是由可能犯错的人类执行，并非万能之法。目前，它仍处于起步阶段，除了一些安全关键型应用外，在工业和商业中并未广泛使用。

1.3 增量式开发

传统的一次性编写完整程序并运行的方式，往往会让编译器发现大量错误，尤其对于新手来说，看到自己付出诸多努力编写的程序出现大量错误会很沮丧。即使消除了编译错误，程序在调试和测试阶段也可能出现奇怪行为，且一次性输入所有程序部分进行测试时，定位错误会很困难。

增量式编程是一种有效的替代方法，其步骤如下：
1