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

问题不在于 TDD，也不在于 Python。首先，TDD 并不能证明当您的所有测试都通过时，您的应用程序就是好的。想象一下，例如multiplyBy2() 函数，可以使用输入 1,2,3 和输出 2,4,8 进行测试，现在想象一下，您将 multiplyBy2 实现为平方。你所有的测试都通过了，你有 100% 的代码覆盖率并且你的实现是错误的。你必须明白，TDD 只能给你保证，一旦你的测试失败，你的应用程序就有问题，仅此而已。因此，正如其他答案中所建议的那样，问题在于您没有失败的测试。如果您使用了某种静态类型语言，编译器会为您进行该测试并抱怨使用不存在的方法。这并不意味着你应该使用静态类型的语言，它只是意味着你需要用动态类型的语言编写更多的测试。 如果您对强制执行代码的正确性感兴趣，您应该通过合同来查看设计，以确保至少在运行时和正式规范中的正确性，以至少为某些算法提供证明，但我想这与标准编码相去甚远。

Answer 2

好的，我找到了解决方案。 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

下面是如何用不同的用户测试AppService的can_write方法：

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 3

在更改之前，对象的行为应该有所不同，具体取决于 current_user 的值。让我们称之为谓词（）。原谅我的蟒蛇；考虑这个伪代码：

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

好吗？所以，这是你的测试。让它通过。现在更改正在测试的类，以便将 current_user 重命名为 active_user。现在测试将失败，无论是在第一个断言处，还是在第二个断言处。因为您不再更改以前称为 current_user 的字段的值，所以谓词在这两种情况下都将为 false 或 true。现在您有了一个非常集中的测试，当类发生更改时会提醒您，从而使其他测试的设置无效。