postconditions

美 　英

• 網(wǎng)絡(luò)后置條件；后條件；后驗(yàn)條件

例句

To be able to express semantics of messages and their effects on system state we introduced pre- and postconditions.

為了能夠表達(dá)消息的語(yǔ)義，以及它們對(duì)系統(tǒng)狀態(tài)的影響，我們引入了前置條件和后置條件。

This sort of information goes in the Postconditions section.

此類信息都應(yīng)填寫在“后置條件”部分中。

Include precise preconditions and postconditions with every function that you write.

你編寫的每一個(gè)函數(shù)都應(yīng)該包含準(zhǔn)確的執(zhí)行先決條件和后置條件。

Postconditions are often expressed as assertions about method return values.

后置條件測(cè)試通常用方法返回值的斷言來(lái)表示。

In software development, the programmer writes pre- and postconditions in order to establish the role of a particular software component.

在軟件開(kāi)發(fā)里，程序員編寫前置和后置條件來(lái)確立特定軟件組件的角色。

Use assertions to test pre- and postconditions of a method.

使用斷言測(cè)試方法的前置和后置條件。