算法實現的測試規則，它們是什麼？

Question

我想知道，我如何測試任何給定算法的實現？

測試方法有哪些不同選項？

1. 算法是否需要在確定/非確定最終狀態機上分解？
2. 單元測試？
3. 還有別的嗎？

Answer 1

實際上，第一個要執行的測試通常是針對（足夠大的）已知測試向量集來驗證實現。這或多或少地是單元測試。

如果實現不太複雜，還可以構造數學證明，實現將給定的已知組前置條件轉換爲給定的已知組後置條件。這是確保算法/實現是正確的最完整的方法，儘管對於合理複雜的實現可能是最難的。