在基于规格说明的测试中错误类型之间的关系不仅可以解释一些测试方法的实验结果，而且还可设计出更加有效的测试用例。讨论了几种常见错误类型之间的层次关系，扩充了已知的一些结果。