假定与运行时断言相似，不同之处在于静态检验的方式。
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.
应用推荐