We also describe test criteria in Z notation, which can support the formalized test method and its evaluation and assessment.

同时给出了基于Z的形式的测试准则的描述，这更有助于支持形式化的测试方法和对该方法的度量与评估。

youdao

the general notation for vector dr-- y equals dx, x roof, plus dy, y roof, z plus dz, z roof.

总的向量dr的符号-,=dr向量x+dy向量，+dz向量。

youdao