postconditions

postconditions

美 　英

• 网络后置条件；后条件；后验条件

例句

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

为了能够表达消息的语义，以及它们对系统状态的影响，我们引入了前置条件和后置条件。

This sort of information goes in the Postconditions section.

此类信息都应填写在“后置条件”部分中。

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

你编写的每一个函数都应该包含准确的执行先决条件和后置条件。

Postconditions are often expressed as assertions about method return values.

后置条件测试通常用方法返回值的断言来表示。

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

在软件开发里，程序员编写前置和后置条件来确立特定软件组件的角色。

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

使用断言测试方法的前置和后置条件。