有多少任务需要其他任务作为前置条件？
可以将断言语句作为方法的前置条件或后置条件来添加。
You can add assertion statements as the pre- or post-conditions of a method.
用OVal为方法指定前置条件必须对方法参数进行标注。
To specify preconditions for a method with OVal, you must annotate method parameters.
对组件输入(例如传递给方法的参数)的测试叫做前置条件测试。
Tests on component inputs (such as parameters passed to methods) are called precondition tests.
请注意，它是一个非常简单的类，几乎所有函数都有前置条件。
Please note that this is a very simple class, with preconditions on almost all its functions.
这些就是前置条件，是客户端的义务。
These are pre-conditions, and they're obligations for the client.
成功待人处事是成为好医生的前置条件。
高危项目审批必须把安全生产作为前置条件。
High risk project approval must be safe production as a pre condition.
函数接收的参数可能有错，前置条件没有满足。
There is something wrong with the arguments the function is getting; a precondition is violated.
前置条件：函数开始之前，调用者应当满足的要求。
A requirement that should be satisfied by the caller before a function starts.
或者你可以写一份代码来明确检查一下前置条件是否满足。
Or you can write code that checks the preconditions explicitly.
不得在法律、行政法规规定之外设置企业登记的前置条件；
They may not impose preconditions for registration of enterprises beyond the provisions of laws and administrative regulations;
前置条件表示当操作被激发时输入参数和模型状态的可接受值。
Precondition describes the acceptable values of the input parameter and model's state when the operation is invoked.
后置条件测试确保组件完成操作的时候结果符合要求，假设前置条件已经满足。
Postcondition tests are guarantees that the component promises to satisfy when it completes the operation, assuming the preconditions are met.
这就与我们在调用main之前需要确认的很多前置条件的概念吻合了。
This matches our concept of a number of pre-conditions we want to make sure of before calling the main code.
根据这个用例的目标，在测试用例的前置条件或者设置中还需要一些数据输入。
Depending on the goal of the use case, some data input will be required in the pre-conditions or setup of the test case.
前置条件和后置条件方法可以看到作为函数参数 （args）传递的值。
The pre-condition and post-condition methods can also see the values passed as function arguments (args).
另一个前置条件是运行前述约束检测算法所需的数据，要在模型中是实际可用的。
The other precondition is that the data that is needed to run the constraint-checking algorithm defined above is actually available in the model.
应该接收同样的参数，返回同样类型，并且遵循同样的前置条件和后置条件。
It should take the same parameters, return the same type, and obey the same preconditions and postconditions.
前置条件测试由before建议处理，该建议就在对应的方法执行连接点之前执行。
Precondition tests are handled by before advice, which is executed just before the corresponding method execution join point.
为了能够表达消息的语义，以及它们对系统状态的影响，我们引入了前置条件和后置条件。
To be able to express semantics of messages and their effects on system state we introduced pre- and postconditions.
约定规定调用者必须满足方法的前置条件，且被调用的方法执行后必须满足后置条件。
The contract states the caller must abide by the preconditions of the method and the method, in turn, must return results that satisfy the postconditions associated with that method.
假设有一个具有互斥分支的循环流；每个分支都有一些应用于该分支中所有活动的前置条件和不变量。
Consider a cyclic flow that has mutually exclusive branches; each branch has preconditions and invariants that apply to all activities in the branch.
通过求解前置条件可以判断路径的可执行性，还可以求出使程序沿着该条路径运行的输入数据。
By solving predicates the feasibility of a path can be decided and the input data making the program follow this path will be generated.
合约还有几个前置条件，要求客户传递给withdraw()和deposit() 的参数大于或等于0。
The contract also has preconditions that require clients to pass in an amount greater than or equal to zero to both withdraw() and deposit().
满足方法的前置条件通常是指传递的参数必须符合方法的要求，也可能指必须按照正确的顺序依次调用多个方法。
Abiding by the preconditions of a method usually means passing arguments as the method expects them; it may also mean calling a set of methods in the correct order.
Jacobson的方法涉及一系列进入和退出的准则，分别被称作前置条件和后置条件，和一个称为事件流的核心准则。
Jacobson's method involves a set of entry and exit criteria called pre-conditions and post-conditions respectively, and a core criteria called the flow of events.
在本例中，只要是我指定了OVal约束条件的地方，在OVal代码中定义的逻辑就会编入我的代码，进而充当起前置条件和后置条件。
In this case, everywhere I specify an OVal constraint, the logic defined in OVal code will be weaved into my code, thus acting like preconditions and postconditions.
在本例中，只要是我指定了OVal约束条件的地方，在OVal代码中定义的逻辑就会编入我的代码，进而充当起前置条件和后置条件。
In this case, everywhere I specify an OVal constraint, the logic defined in OVal code will be weaved into my code, thus acting like preconditions and postconditions.
应用推荐