?后置条件
前置条件（PreConditions>Externals）:测试开始前全局变量的条件。 .后置条件（PostConditions>Externals）:测试执行后全局变量的条件。
?后条件
前条件（preconditions）和后条件（postconditions） 前条件是调用方代码在调用例程（routines）或者实例化对象之前要确保为真的条件，后条件是例程执行后或者类实例化后应满足的条件...
更强的后置条件
英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。