【minitorch】Day2：Task0和测试模块

单元测试

单元测试应该是快速简单的代码片段，可以在开发时快速运行。一个聪明的中间立场是使用随机属性检查。这种方法由名为 QuickCheck 的库。随机属性检查的另一个好处是它实际上使测试更短、更容易编写，因为它为您生成案例。在 MiniTorch 中，我们将使用 Python 中一个很棒的属性检查库，称为Hypothesis ( https://hypothesis.readthedocs.io/ )。假设预定义了一整套构建块策略，用户可以在编写测试时从中选择。（你也可以编写你的策略，你将在下一个作业中完成。）你可以生成整数、浮点数、列表、字符串等。每个测试都可以用它操作的值来装饰：

from hypothesis.strategies import integers
from hypothesis import given
@given(integers(), integers())
def test_add(a, b):
    # Check same as slow system add
    assert add(a, b) == a + b
    # Check that order doesn't matter
    assert add(a, b) == add(b, a)

Model

参数是存储在Module.
它旨在容纳Variable，但我们允许它容纳任何用于测试的值。
模块是一种递归的树形数据结构。每个模块可以存储三样东西：1）参数，2）非参数数据，3）其他模块。
在内部，用户将每一个直接存储在self 上，但是模块在幕后监视以确定每个分配的类型。