软件和硬件系统包含故障。检测故障的一项重要技术是测试。随着基于模型的开发的普及，模型对于测试也变得很重要。在基于模型的测试中，测试模型用于自动（半）生成测试套件。尽管基于模型的测试技术已有多年历史，但仍有改进的空间。例如，大多数商业建模工具没有为线性有序类型提供足够的测试支持。覆盖标准用作衡量测试套件故障检测能力的手段。ParTeG的方法是将基于控制流的覆盖标准（例如，MC / DC）和基于边界的覆盖标准（例如，多维）的满意度结合起来。这种方法将重点放在根据模型条件自动生成输入分区边界上。也可以理解为将输出分区转换为输入分区与状态机之间抽象路径的叉积。...
特征
分类目录
