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

Question

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

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

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

Answer 1

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

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