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

Question

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

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

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

Answer 1

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

如果实现不是太复杂，那么还可以构造数学证明，即实现将给定的已知前置条件集转换为给定的已知后置条件集。这是确保算法/实现正确的最完整方法，尽管对于相当复杂的实现来说可能是最难做到的。