We also describe test criteria in Z notation, which can support the formalized test method and its evaluation and assessment.
同时给出了基于Z的形式的测试准则的描述，这更有助于支持形式化的测试方法和对该方法的度量与评估。
We also describe test criteria in Z notation, which can support the formalized test method and its evaluation and assessment.
同时给出了基于Z的形式的测试准则的描述，这更有助于支持形式化的测试方法和对该方法的度量与评估。
应用推荐