?后置条件

...基本要求就是，它应该能具备自我测试（self-testing）的能力，也就是说，每个测试用例都能够自行判断其后置条件（postcondition）是否得到满足，并依此来回报测试的执行是成功还是失败。测试框架的使用者仅仅需要知道，是否有测试执行失败？

?见

... 41.后置条件(postcondition) 见 后置条件(postcondition) 42.强类型(powertype) ...

?后置

... correct yr self ? 正确岁正接受自 Postcondition ? 后置 computer is a useful machine ? 电脑是一个有用机 ...

?后条件

...须为真的条件；这是例程要求的输入。在其前条件被违反时，例程不应该被调用。传递好数据是调用者的责任 后条件（Postcondition） 例程保证会做的事情，例程完成时给出的结果。