D
断言
一种在程序中的一阶逻辑（如一个结果为真或假的逻辑判断式），目的是为了表示与验证软件开发者预期的结果。
M
Mock
一种用于软件开发中的测试技术，可以在实际代码尚未实现时，模拟出一个假的功能实现，以便进行测试和调试。
U
UT
对软件中的最小可测试单元进行检查和验证。