16、测试描述：硬件与软件模拟测试指南

测试描述：硬件与软件模拟测试指南

在系统开发中，测试是极为关键的一环，但在计算机科学教育里，它往往得不到足够的重视。我们非常重视测试，认为在开发新的硬件或软件模块 P 之前，必须先开发一个用于测试它的模块 T，且 T 应成为 P 开发合同的一部分。为了简化分散在各项目中的众多测试的定义和执行，我们设计了一种统一的测试描述语言。这种语言在相关工具中几乎通用，包括用于模拟和测试用 HDL 编写的芯片的硬件模拟器、用于模拟和测试机器语言程序的 CPU 模拟器，以及用于模拟和测试用 VM 语言编写的程序的 VM 模拟器。

通用指南

• 文件格式与使用 ：测试硬件或软件模块涉及四种类型的文件，建议这四种文件使用相同的前缀（文件名）：
  • Xxx.yyy ： Xxx 是被测试模块的名称， yyy 可以是 hdl 、 hack 、 asm 或 vm ，分别代表用 HDL 编写的芯片定义、用 Hack 机器语言编写的程序、用 Hack 汇编语言编写的程序或用 VM 虚拟机语言编写的程序。
  • Xxx.tst ：一个测试脚本，引导模拟器完成一系列测试 Xxx 中代码的步骤。
  • Xxx.out ：一个可选的输出文件，脚本命令可以在模拟过程中向其写入所选变量的当前值。