术语

D

断言

一种在程序中的一阶逻辑（如一个结果为真或假的逻辑判断式），目的是为了表示与验证软件开发者预期的结果。

M

Mock

一种用于软件开发中的测试技术，可以在实际代码尚未实现时，模拟出一个假的功能实现，以便进行测试和调试。

U

UT

对软件中的最小可测试单元进行检查和验证。