. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 207 2/562Rust 程序设计语言 简体中文版 11. 编写自动化测试 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 计算出所有符合要求的依赖版本并写入 Cargo.lock 文件。当将 来构建项目时，Cargo 会发现 Cargo.lock 已存在并使用其中指定的版本，而不是再次计算所 有的版本。这使得你拥有了一个自动化的可重现构建（reproducible build）。换句话说，项目 会持续使用 0.8.5 直到你显式升级，多亏有了 Cargo.lock 文件。由于 Cargo.lock 文件对于可 重现构建非 才会需要它们；对于这些内容，请阅读 Rust Reference。不过接下来，让我们聊聊如何在 Rust 中编写测试，来确保代码的所有功能能像我们希望的那样工作！ 218/562Rust 程序设计语言 简体中文版 编写自动化测试 Edsger W. Dijkstra 在其 1972 年的文章《谦卑的程序员》（“The Humble Programmer”）中 说到 “软件测试是证明 bug 存在的有效方法，而证明其不存在时则显得令人绝望的不足。”