來源：互聯網
后置條件，英文名稱post-condition，意思是指輸出定義域上的謂詞的布爾值。
正文
后置條件；英文對照 post-condition;
后置條件；在學術文獻中的解釋 后置條件是指該操作的輸出定義域上的謂詞即操作執行后表達式的布爾值，如果前置條件成立，那么后置條件也成立，如果前置條件不成立，那么后置條件則不確定
后置條件的相關高頻被引文章 1999 介詞短語“在+處所”前置、中置和后置的條件和限制 王一平;-被引次數;12次 1995 狀語后置的條件、范圍及語用價值 孫雁雁;-被引次數;2次
后置條件；相關問題的主要學者 陳平 陳琦 李慶華 李悅 劉堅 劉進 馬燕 王金全 王一平 張保國
出版；后置條件；相關文獻的期刊 華中科技大學學報 湖南大學學報 計算機工程與設計 計算機工程與應用 計算機應用 微電子學與計算機 微計算機信息 武漢理工大學學報 武漢理工大學學報 西安電子科技大學
軟件測試領域中，后置條件指的是相應的模塊執行前置條件完畢后的數據輸出所需要的條件。
參考資料 >