TDD在Python中被破解了嗎？

Question

假設我們有一個類UserService，屬性爲current_user。假設它在AppService類中使用。

我們有AppService覆蓋測試。在測試設置中，我們存根出current_user一些模擬值：

UserService.current_user = 'TestUser' 

假設我們決定重新命名current_user到active_user。我們將其重命名爲UserService，但忘記更改其在AppService中的使用。

我們運行測試，他們通過！測試設置會添加屬性current_user，該屬性在AppService中仍然（錯誤但成功）使用。

現在我們的測試是無用的。他們通過但應用程序將在生產失敗。

我們不能依賴我們的測試套件==> TDD是不可能的。

TDD在Python中被破解了嗎？

Answer 1

好的，我找到了解決方案。 Python庫Mockdoes what I want。

下面是我最終的代碼。

模式和服務定義：

class User(object): 
    def __init__(self): 
     self.roles = [] 


class UserService(object): 
    def get_current_user(self): 
     return None # get from environment, database, etc. 

    current_user = property(get_current_user) 


class AppService(object): 
    def __init__(self, userService): 
     self.userService = userService 

    def can_write(self): 
     return 'admin' in self.userService.current_user.roles 

下面是如何測試can_write方法AppService與不同的用戶：

class AppServiceTests(unittest.TestCase): 
    def test_can_write(self): 
     user = User() 

     @patch_object(UserService, 'current_user', user) 
     def can_write(): 
      appService = AppService(UserService()) 
      return appService.can_write() 

     user.roles = ['admin'] 
     self.assertTrue(can_write()) 

     user.roles = ['user'] 
     self.assertFalse(can_write()) 

如果僅在UserService類重命名屬性current_user，你會得到錯誤當試圖修補對象時。這是我一直在尋找的行爲。

Answer 2

在更改之前，根據current_user的值，對象的行爲應該有所不同。我們稱之謂謂詞（）。並赦免我的蟒蛇;考慮這個僞代碼：

UserService.current_user = 'X' 
assertFalse(obj.predicate()) 
UserService.current_user = 'Y' 
assertTrue(obj.predicate()) 

好嗎？所以，那是你的考驗。讓它通過。現在更改被測試的類，以便將current_user重命名爲active_user。現在，測試將在第一次斷言或第二次失敗時失敗。由於您不再更改以前稱爲current_user的字段的值，因此在兩種情況下謂詞都將爲false或true。現在你有一個非常專注的測試，當班級發生變化，使其他測試的設置無效時，它會提醒你。

Answer 3

這個問題真的不在TDD中，也不在Python中。首先，TDD不會給你一個證明，即當你所有的測試通過時，你的應用程序都是好的。想象一下，例如multiplyBy2（）函數，它可以用輸入1,2,3和輸出2,4,8進行測試，現在想象一下，您將multiplyBy2實現爲平方。你所有的測試都通過了，你有100％的代碼覆蓋率，並且你的實現是錯誤的。你必須明白，TDD只能給你保證，一旦你的測試失敗了，你的應用程序出了問題，沒有什麼更多，沒有什麼不足。正如其他答案中所建議的那樣，問題在於你沒有失敗的測試。如果你使用了一些靜態類型的語言，編譯器會爲你做這個測試，並抱怨使用不存在的方法。這並不意味着你應該使用靜態類型語言，它只是意味着你需要用動態類型語言編寫更多的測試。 如果您有興趣強化代碼的正確性，您應該至少在運行時和正式規範中查看合同設計以確保正確性，以便至少對某些算法進行證明，但這與標準編碼相距甚遠。