实验结果显示该方法能以较少的测试用例达到较高的路径覆盖率。

Experiment shows that the present method can achieve a higher coverage rate of path via fewer test cases.

youdao

实验显示该方法能以较少的测试用例达到较高的路径覆盖率，并根据这一方法实现了一个测试用例自动生成工具。

Experiment shows that the method can achieve a higher path coverage rate, and we developed a test case generation tool in terms of the algorithm.

youdao

采用域覆盖率衡量模块级验证工作的充分型，结果表明这种覆盖率相对于行覆盖率和路径覆盖率更能准确衡量验证工作的充分性和发现验证漏洞；

Domain method is adopted to measure block level verification quality, domain coverage metrics can find more verification holes, compared with line and path coverage metrics.

youdao