19、汽车领域MC/DC错误检测率与系统故障证据记录方案

汽车领域MC/DC错误检测率与系统故障证据记录方案

在软件开发过程中，测试是确保系统质量的关键环节。而如何有效地检测系统中的错误以及记录系统故障的证据，是两个重要的研究方向。下面将分别介绍汽车领域中MC/DC（Modified Condition/Decision Coverage）的错误检测率情况，以及一种用于记录系统故障证据的同时日志记录和重放方案。

汽车领域MC/DC错误检测率研究

在软件开发的测试过程中，覆盖率指标如MC/DC是评估测试过程的重要手段，它用于衡量程序在测试过程中哪些部分被执行。研究人员对一个汽车领域的低安全关键控制系统进行了实验，以评估MC/DC在检测不同类型错误方面的效果。

实验设置

• 测试集生成与覆盖率 ：使用Tessy2对覆盖率进行评估，通过测试用例生成方法获得了一个最小测试集，该测试集在代码上实现了92.77%的MC/DC覆盖率。由于代码中存在一些无法到达的部分，这已经是可实现的最大覆盖率。
• 错误场景定义 ：定义了三种不同的错误场景：
  1. 值域错误（Value Domain） ：研究测试集对变量错误值的检测能力。例如，对于指定值为2的变量，将其值更改为3，观察测试集能否检测到这种错误。
  2. 变量域错误（Variable Domain） ：检查测试集对输出变量错误名称的检测能力。例如，在程序中存在变量 variable 1 和 variable 2