覆盖率驱动验证-一种验证直接与人类交互的机器人代码的方法
Coverage-Driven Verification - An approach to verify code for robots that directly interact with humans
摘要：
协作机器人可以改变制造业和医疗保健等多个行业，但它们对验证提出了重大挑战。由于其工作环境的复杂性，有必要在广泛的情况下进行实际的详细测试。我们建议使用覆盖驱动验证（CDV）来应对这一挑战。通过尽可能地自动化基于模拟的测试过程，CDV提供了一个有效的覆盖闭合路径。我们讨论的需要，实际的考虑，并将这种方法从微电子设计验证的人机交互领域的潜在好处。我们证明了所提出的方法的有效性和可行性，通过构建一个自定义的CDV测试平台，并将其应用到对象切换任务的验证。
英文摘要：
Collaborative robots could transform several industries, such as manufacturing and healthcare, but they present a significant challenge to verification. The complex nature of their working environment necessitates testing in realistic detail under a broad range of circumstances. We propose the use of Coverage-Driven Verification (CDV) to meet this challenge. By automating the simulation-based testing process as far as possible, CDV provides an efficient route to coverage closure. We discuss the need, practical considerations, and potential benefits of transferring this approach from microelectronic design verification to the field of human-robot interaction. We demonstrate the validity and feasibility of the proposed approach by constructing a custom CDV testbench and applying it to the verification of an object handover task.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
