block-level verification
块级验证
以上为机器翻译结果，长、整句建议使用 人工翻译 。
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
应用推荐
模块上移
模块下移
不移动