我的團隊中的一位同事說某些方法應該同時具備前提條件&後置條件。但關鍵在於代碼覆蓋率，這些條件直到實現了一個無效實現（在單元測試中才使用）才被調用（未測試）。讓我們以下面的例子。我們 public interface ICalculator
{
int Calculate(int x, int y);
}
public int GetSummary(int x, int y)
我有下面的代碼片段： public static string returnString()
{
string[] stringList = { "a" };
if (stringList.Count() != 1)
{
throw new Exception("Multiple values in list");
}