假定与运行时断言相似，不同之处在于静态检验的方式。
Assumptions are similar to assertions at runtime, but differ during static verification.
带注解的类包含JAXB运行时解析xml(为了进行编组和反编组)所需的所有信息，还可以通过一个可选的步骤检验文档。
The annotated classes contain all the necessary information for the JAXB runtime to parse the XML for marshalling and unmarshalling, and in an optional step, to validate documents.
测试是另一种运行时分析：您通过数据或事件检验是否获得来自系统的正确行为。
Testing is another kind of runtime analysis: You feed in data or events and check to see that you got the right behavior from the program.
状态检验(Static verification)可以查找多种通常的程序逻辑错误，如不恰当的使用一个在编译时而不是运行时的方法。
Static verification offers the promise of finding many common errors in program logic such as possibly improper use of a method at compile time as opposed to at runtime.
试验目的主要是检验该炉在调峰低负荷运行时水循环的可靠性。
The test mainly aims at the verification of water circulation reliability during peak shaving low load operation.
试验目的主要是检验该炉在调峰低负荷运行时水循环的可靠性。
The test mainly aims at the verification of water circulation reliability during peak shaving low load operation.
应用推荐