后置条件 meaning in English
post condition
postcondition
Examples
- We specify a statement of failure as postcondition , expend the relative axioms and use them try to prove weakest precondition , if the proving succeed , it means that the protocol suffer from an attack
我们定义协议的失败条件作为后置条件，对加密系统的有关公理进行扩展，并用来对最弱前置条件进行推理证明，如果证明成功说明该协议会受到某个攻击。 - Assertions can be used anywhere in the code , but two good places to use them are at the entry and exit of functions to check for pre - conditions and post - conditions that you know should exist if the code is correct
断言可用于代码中的任何地方，不过函数的入口和出口是使用它们的好地方，您可以在那里检查前置条件和后置条件，因为您知道如果代码正确这些条件应该存在。 - Design and realize the modeling method on the basis of network chart , emerging the choice structure and parallel structure , and automatically routing the execution of task by configuring the executed condition and next condition
摘要提出了一种基于有向网络图的建模方法，将选择结构和并行结构合并在一起，并在任务的配置过程中配置任务的执行条件和后置条件以路由任务的执行。 - In reality , any definition of thread safety is going to have a certain degree of circularity , as it must appeal to the class s specification - which is an informal , prose description of what the class does , its side effects , which states are valid or invalid , invariants , preconditions , postconditions , and so on . constraints on an object s state imposed by the specification apply only to the externally visible state - that which can be observed by calling its public methods and accessing its public fields - rather than its internal state , which is what is actually represented in its private fields
实际上，所有线程安全的定义都有某种程序的循环，因为它必须符合类的规格说明- -这是对类的功能、其副作用、哪些状态是有效和无效的、不可变量、前置条件、后置条件等等的一种非正式的松散描述(由规格说明给出的对象状态约束只应用于外部可见的状态，即那些可以通过调用其公共方法和访问其公共字段看到的状态，而不应用于其私有字段中表示的内部状态) 。 - If a class is correctly implemented , which is another way of saying that it conforms to its specification , no sequence of operations reads or writes of public fields and calls to public methods on objects of that class should be able to put the object into an invalid state , observe the object to be in an invalid state , or violate any of the class s invariants , preconditions , or postconditions
如果一个类实现正确(这是说它符合规格说明的另一种方式) ，那么没有一种对这个类的对象的操作序列(读或者写公共字段以及调用公共方法)可以让对象处于无效状态，观察到对象处于无效状态、或者违反类的任何不可变量、前置条件或者后置条件的情况。