假定与运行时断言相似，不同之处在于静态检验的方式。
Assumptions are similar to assertions at runtime, but differ during static verification.
高精度的海洋磁力测量对磁测仪器系统的测量精度提出了更高的要求，文中对海洋磁力测量仪器系统检验的内容和动静态检验方法进行了研究，并通过实例验证其可行性。
Testing methods of instrumental system in the Marine magnetic survey have been studied in this paper, and the feasibility of each method has been testified by the observed data.
在给定的路由需求下实施并检验静态路由和默认路由的配置
Perform and verify routing configuration tasks for a static or default route given specific routing requirements
应用推荐