post-condition

A post-condition is used to verify that a value returned is appropriate .

后置条件则用于检验返回值的合法性。

And of course particular contract supplier , the post-condition is an obligation for the supplier .

条件情况很多当然，后置条件是服务端的义务。

And of course , the post-condition is an obligation for the supplier .

当然，后置条件是服务端的义务。

This helps you read pre-condition or post-condition on the fly while running a manual test .

这有助于您在运行手动测试时动态读取先决条件或者后置条件。

Program invariant is a common kind of contracts which includes class invariants , pre-condition and post-condition .

程序不变量一般包含类不变量、前置条件和后置条件，它是一种基本的合约。

We then present the partial strongest post-condition , which represents the over-approximated program semantics .

基于变量抽象，我们定义了部分最强后置条件，进而定义了程序的保守近似语义。

It 's as if the class invariant is added to the pre-and post-condition of every single exported routine of the class .

如此看来，类不变式好像是被附加到了类暴露例程的前置和后置条件上。

That 's the post-condition of the contract , specifically , the post-condition of that particular routine .

这是契约中的后置条件，很多情况下，也就是某个例程的后置条件。

The post-condition may say that the result returned by the routine is the approximation , within a specified precision , of the exact mathematical square root of the routine .

后置条件则可以这样表述：例程返回在数学上指定的精度内最接近的平方根。

Accurate class invariant and method post-condition can act as a test oracle . At the same time , and class invariant and method precondition can act as the inputs of partitioning equivalence class and analyzing boundary values .

准确的类不变式和方法后置条件可以作为测试神谕，而类不变式和方法前置条件可以作为划分等价类和分析边界值的输入。

Based on the recognition of the apparent constraints and logical relationships between the pre-condition and post-condition of the atom component adaptation , this paper also theoretically analyzes the usability of the corresponding algorithms of adaptation patterns for compound components .

通过研究原子构件适配模式所具有的清晰的前后置条件约束和逻辑关系，进一步从适配理论上分析了相应的复合构件适配算法的可行性。

First , in this paper , we analyze the relations of subtype behavior and class compatibility , utilize a map that transforms subtype behavior specification into class compatibility implementation correctly , and create class invariant , precondition and post-condition of method .

本文首先分析子类型行为和类行为兼容性的关系，利用一个由子类型行为描述变换到类行为兼容性实现的映射，可以获得正确的类不变式、方法前置条件和后置条件。

If you have , for example , a routine that adds a certain amount of money to a bank account , obviously the post-condition of this routine is going to have to express that the new balance is related to the old balance .

例如，你用某个例程将一定数额的存款累加到一个银行帐户上，那么很明显，这个例程的后置条件必须表述当前余额和过去余额的关系。