【发布时间】：2012-07-20 11:08:52
【问题描述】：
我想知道，我如何测试任何给定算法的实现？
测试方法有哪些不同的选择？
- 是否需要在确定/非确定最终状态机上进行算法分解？
- 单元测试？
- 还有别的吗？
【问题讨论】：
标签： algorithm testing implementation fsm decomposition
【发布时间】：2012-07-20 11:08:52
【问题描述】：
在实践中，执行的第一个测试通常是针对（足够大的）一组已知测试向量来验证实现。这或多或少是单元测试。
如果实现不太复杂，也可以构建数学证明，证明该实现将给定的已知前置条件集转换为给定的已知后置条件集。这是确保算法/实现正确的最完整方法，尽管对于相当复杂的实现来说可能是最难做到的。
【讨论】：