Testing is the most commonly used approach for software assurance, yet it remains as much judgment and art as science. We suggest that structural coverage measures must be supplemented with measures of input space coverage, providing a means of verifying that an adequate input model has been defined.

中文翻译：

---

输入空间覆盖很重要

测试是最常用的软件保证方法，但它仍然与科学一样具有判断力和艺术性。我们建议结构覆盖度量必须补充输入空间覆盖度量，提供一种验证是否定义了足够的输入模型的方法。