算法实现的测试规则，它们是什么？

Question

我想知道，我如何测试任何给定算法的实现？

测试方法有哪些不同选项？

1. 算法是否需要在确定/非确定最终状态机上分解？
2. 单元测试？
3. 还有别的吗？

Answer 1

实际上，第一个要执行的测试通常是针对（足够大的）已知测试向量集来验证实现。这或多或少地是单元测试。

如果实现不太复杂，还可以构造数学证明，实现将给定的已知组前置条件转换为给定的已知组后置条件。这是确保算法/实现是正确的最完整的方法，尽管对于合理复杂的实现可能是最难的。