Application of Horwitz Equation to Quality Assessment of Verification Testing Horwitz方程在比对试验质量评估中的应用
Domain fault model correctly reflects the reason causing domain errors, Domain coverage metrics measure the quality of the verification approach, and test point selecting strategies generate required points for domain testing. 域故障模型准确全面地反映导致域错误的原因,域覆盖率衡量验证工作的充分性,域测试点选择策略快速生成域测试所需测试点。
Quality records of evidence meeting with verification rules should be formed; any personnel for inspection or testing should be recorded and identified. 同时对符合验收准则的证据形成质量记录,应记录任何从事检测或试验人员的身份。