...基本要求就是，它应该能具备自我测试（self-testing）的能力，也就是说，每个测试用例都能够自行判断其后置条件（postcondition）是否得到满足，并依此来回报测试的执行是成功还是失败。测试框架的使用者仅仅需要知道，是否有测试执行失败？
基于90个网页-相关网页
... correct yr self » 正确岁正接受自 Postcondition » 后置 computer is a useful machine » 电脑是一个有用机 ...
基于12个网页-相关网页
...须为真的条件；这是例程要求的输入。在其前条件被违反时，例程不应该被调用。传递好数据是调用者的责任 后条件（Postcondition） 例程保证会做的事情，例程完成时给出的结果。
基于8个网页-相关网页
Postcondition Exception 后置条件异常
hypothermia postcondition 低温后适应
program postcondition 程序后置条件
Strongest postcondition 最强后置条件
以上来源于: WordNet
应用推荐