交叉覆盖的定量表征

有效的验证方法对于发现复杂系统设计中的错误是必不可少的。 给定特定领域的知识,设计验证工程师通常会为容易出现错误的某些高风险区域指定交叉覆盖范围。 本文提出了一种基于交叉覆盖的实用覆盖模型。 我们针对用户指定的跨覆盖区域进行验证。 所提出的分析对给定数量的样本中暴露漏洞的概率进行建模,并得出在漏洞检测之前的预期样本数量。 该方法适用于基于我们的交叉覆盖模型的重复和非重复案例中的随机,循环和混合采样策略。 我们已经编写了Matlab和C程序,它们使用我们的公式来计算概率。 实验结果表明,我们的分析与蒙特卡洛模拟是一致的。