单元测试工具使我们能够检查重整情况下继续保持的程序的关键不变量。

Unit testing tools allow us to check that key invariants of our programs continue to hold under refactoring.

youdao

让程序员们在阅读一个文件时测试每一个字节和每一个不变量似乎是无望的——但不这样做就会使程序易被模糊攻击。

Asking programmers to test each byte and every invariant when reading a file seems hopeless — but failing to do so leaves your programs vulnerable to fuzz.

youdao