後置條件

後置條件,英文名稱post-condition,意思是指輸出定義域上的謂詞的布爾值。

基本介紹

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

相關詞條

熱門詞條

聯絡我們