后置条件，英文名称post-condition，意思是指输出定义域上的谓词的布尔值。
例句
后置条件;英文对照 post-condition;
后置条件;在学术文献中的解释 后置条件是指该操作的输出定义域上的谓词即操作执行后表达式的布尔值,如果前置条件成立,那么后置条件也成立,如果前置条件不成立,那么后置条件则不确定
后置条件的相关高频被引文章 1999 介词短语“在+处所”前置、中置和后置的条件和限制 王一平;-被引次数;12次 1995 状语后置的条件、范围及语用价值 孙雁雁;-被引次数;2次
后置条件;相关问题的主要学者 陈平 陈琦 李庆华 李悦 刘坚 刘进 马燕 王金全 王一平 张保国
出版;后置条件;相关文献的期刊 华中科技大学学报 湖南大学学报 计算机工程与设计 计算机工程与应用 计算机应用 微电子学与计算机 微计算机信息 武汉工业大学学报 武汉理工大学学报 西安电子科技大学
软件测试领域中，后置条件指的是相应的模块执行前置条件完毕后的数据输出所需要的条件。