[发明专利]用于遵照要求对系统进行测试的方法

权利要求书

1.一种计算机实施的用于遵照至少一个要求对系统（13）进行测试的方法，其特征在于如下步骤：

- 以机器可读取的形式来接收（112）所述要求（11），

- 为了遵照所接收到的要求（11，112）对所述系统（13）进行测试，测定（12）至少一个第一输入变量，

- 根据所测定的第一输入变量来模拟所述系统（13）的执行，

- 测定所模拟的系统（13）的输出变量，并且根据所述输出变量来测定，所述系统（13）是否满足所述要求，

- 检查所述模拟是否满足质量要求（14），

- 如果所述模拟满足（14）所述质量要求并且所述系统满足（12）所述要求，则检查，针对所述要求是否达到了（15）足够的测试覆盖，

- 如果针对所述要求达到了（15）所述足够的测试覆盖，则针对所述要求的所述测试完成。

2.根据权利要求1所述的方法，其特征在于，针对接下来的要求使所述方法继续，直至做完所有可用的要求。

3.根据上述权利要求中任一项所述的方法，其特征在于，如果没有达到（15）所述测试覆盖，则根据所述要求测定（12）至少一个其他的输入变量，并且针对所述至少一个其他的输入变量模拟所述系统（13）。

4.根据权利要求3所述的方法，其特征在于，根据稳健性值测定（12）其他输入变量，所述稳健性值描述所述系统（13）针对所述第一输入变量多好地满足所述要求。

5.根据权利要求4所述的方法，其特征在于，根据所述所模拟的系统（13）的输出变量（132）来测定（12）所述稳健性值。

6.根据权利要求3至5中任一项所述的方法，其特征在于，针对根据所述要求测定的其他输入变量进行其他模拟，并且通过测试系统检查相对应的其他输出变量，直至针对所述要求达到所述测试覆盖。

7.根据上述权利要求中任一项所述的方法，其特征在于，如果所述模拟不满足所述质量要求，则所述模拟不被考虑用于计算所述测试覆盖。

8.根据权利要求7所述的方法，其特征在于，所述质量要求包括检验：所述模拟是否离开容许的参数范围或者违反预先确定的边界条件，或者针对所述模拟所需的模型或者子模型是否可用。

9.根据上述权利要求中任一项所述的方法，其特征在于，被测试的系统（13）包括计算机程序、硬件或者嵌入式系统。

10.根据上述权利要求中任一项所述的方法，其特征在于，所述被测试的系统（13）是至少部分自主的车辆的或者至少部分自主的机器人的子系统，或者所述被测试的系统（13）是至少部分自主的车辆或者至少部分自主的机器人。

11.根据上述权利要求中任一项所述的方法，其特征在于，所述要求包括对所述系统的功能安全的要求。

12.根据上述权利要求中任一项所述的方法，其特征在于，在针对所述第一输入变量的所述模拟中违反所述要求时，查明差错；并且存储和/或输出所述差错。

13.根据权利要求12所述的方法，其特征在于，差错存储和/或差错输出包括关于被违反的要求和关于所述第一输入变量的信息。

14.根据权利要求13所述的方法，其特征在于，所述差错输出或者差错存储包括关于违反所述要求的程度的信息。

15.根据权利要求12至14中任一项所述的方法，其特征在于，根据所查明的差错，自动校正所述系统。

16.一种计算机程序，所述计算机程序设立为执行根据上述权利要求中任一项所述的方法。