go top

post-condition

  • [计] 后置条件

网络释义专业释义英英释义

  [计] 后置条件

后置条件Post-condition)主要是针对方法而言的,它规定了方法顺利执行完毕之后必须满足的条件。

基于304个网页-相关网页

  条件

测试工具很难依据这些语言来剖析出程序员所期看的条件条件(Pre-condition)和执行后的条件(Post-condition)。而使用注释(Annotation),这个问题就可以轻而易举的解决。

基于68个网页-相关网页

  后置前提

一旦经由过程前置前提的校验,办法必须履行,并且必须确保履行成果合适契约,这称之为后置前提Post-condition)。

基于12个网页-相关网页

  后条件

... pair programming - 结对编程 post-condition - 后条件 pre-condition - 前条件 ...

基于12个网页-相关网页

短语

post condition 后置条件

The post condition 具备担任该职位的条件

strongest post-condition 最强后条件

partial strongest post-condition 部分最强后置条件

pre-condition and post-condition 前提条件与后置条件

The Condition of post modernity 后现代的状况 ; 后现代性的条件 ; 后现代性的状况 ; 后现代性的前提

Post Mold Cure Condition 硬化后条件

post-process condition 后处理条件

post language condition 后语言状态

 更多收起网络短语
  • 后置条件 - 引用次数:6

    参考来源 - 基于开放时态逻辑的面向方面程序形式化验证和模块推理研究

·2,447,543篇论文数据,部分数据来源于NoteExpress

Postcondition

  • abstract: In computer programming, a postcondition is a condition or predicate that must always be true just after the execution of some section of code or after an operation in a formal specification. Postconditions are sometimes tested using assertions within the code itself.

以上来源于: WordNet

双语例句权威例句

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

    当然置条件服务端的义务。

    youdao

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

    透明性前置后置条件代码业务逻辑混合

    youdao

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

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

    youdao

更多双语例句
更多权威例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定