大家在查：亚述帝国十字军马穆鲁克王朝阿拉伯复兴社会党中等收入国家契约式设计面向对象程序设计未定义行为香港大会堂上海市档案馆

后置条件

n.post condition
网络postcondition; postconditions; Post conditions on Success

后置条件

英-汉网络释义

后置条件

postcondition

软件测试中英文对照 - 老茅的日志 - 网易博客 ... Positive testing: 正向测试 Postcondition: 后置条件 Precondition: 前提条件 ...

postconditions

后置条件（postconditions）：方法运行之后将会有哪些状态发生。程序的返回结构必须检查，伴随产生的副作用也必须检查。

Post conditions on Success

PIM... ... ●前置条件（ Preconditions） ●后置条件（ Post conditions on Success） ●失败时状态（ Status on Failure） ...

path

Filesystem... ... Path1::external_string_type 为相同类型。 void current_path 后置条件: void last_write_time 作用: 将 ...

postcondion

二、后置条件 （postcondion）：函数保证能做到的事情，函数完成式的状态，函数有这一事实表示它会结束，不会无休止的循 …

Condition subsequent

...条件(Condition precedents)及后置条件(Condition subsequent) I) 在签约后，借贷双方即受贷款协议的内容约束，包括提款前 …

例句：

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

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

Before moving on I can describe a very simple example of pre- and post-conditions : a routine that computes the square root of a real number.

在结束此话题之前，我可以举一个有关前置和后置条件的简单例子：一个例程要计算一个实数的平方根。

There are also loop invariants and a few others, but pre- and post-conditions and class invariants are really the basic fabric of contracts.

还有循环不变式等等，但前置、后置条件和类不变式是基本要素。

This sort of information goes in the Postconditions section .

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

Program specification of our research consists of three parts: pre-condition, crosscutable rely-condition and post-condition.

本研究的程序规约包括三个条件：前置条件、可横切依赖条件和后置条件。

Only the post-condition method receives the eventual return value , through the returnValue parameter .

只有后置条件方法可以通过 returnValue 参数接收最终的返回值。

The contract includes invariants , preconditions , and post conditions .

合同包括不变量，先决条件和后置条件。

In activity form , you capture the decision conditions as post-conditions of the output criteria .

在活动形式中，决策条件将被捕获为输出条件的后置条件。

Post-conditions : Expected results after the execution of the external component .

后置条件：执行外部组件后的预期结果。

Postconditions are often expressed as assertions about method return values .

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

同样，后置条件测试大致与 after 建议对应。

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

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

What triggers a use case , what are the pre- and post-conditions?

一个用例触发什么，前置或后置条件是什么？

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

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

Transparency : The pre- and post-condition code isn't mixed with business logic.

透明性：前置和后置条件代码不与业务逻辑混合。

So pre- and post conditions are two fundamental elements of contracts.

因此，前置和后置条件是契约理论的两个基本要素。

后置条件

后置条件

postcondition

postconditions

Post conditions on Success

path

postcondion

Condition subsequent

热词推荐

大家在看