[发明专利]用于检查技术系统的方法和设备

权利要求书

1.用于对技术系统、尤其是至少部分自主机器人或车辆进行检查的方法（10），

其特征在于如下特征：

- 借助于对所述系统的不同变体的仿真（11）来执行测试（12），

- 所述测试（12）关于对所述系统的定量要求的满足量度（13）和所述仿真（11）的误差量度（14）来被分析，并且

- 根据所述满足量度（13）和误差量度（14）来将所述测试（12）跨所述变体地归类（15）为可靠（16）或不可靠（17）。

2.根据权利要求1所述的方法（10），

其特征在于如下特征：

- 通过分类器（18）依据特征向量（13，14）来进行所述归类（15），而且

- 所述满足量度（13）和误差量度（14）构成所述特征向量（13，14）的组成部分。

3.根据权利要求2所述的方法（10），

其特征在于如下特征：

- 所述分类器（18）将所述特征向量（13，14）映射到多个类别（A、B、C、D）之一上，而且

- 在所述类别（A、B、C、D）之间的预先给定的决策边界（19）之内进行所述归类（15）。

4.根据权利要求3所述的方法（10），

其特征在于如下特征：

- 在准备阶段（20）中，通过在所述系统上的实验测量（21）来对所述仿真（11）进行确认，

- 所述决策边界（19）被取得为使得一方面在所述仿真（11）中取得的满足量度（13）与另一方面在所述测量（21）中取得的满足量度偏差得尽可能小，而且

- 优选地其它在所述准备阶段（20）中要执行的测试（12）自动被选择（22）。

5.根据权利要求3所述的方法（10），

其特征在于如下特征：

- 所述分类器（18）通过对方程组的求解（23）来被定义，而且

- 所述方程组包括对所述满足量度（13）和误差量度（14）的定义方程。

6.根据权利要求1至5中任一项所述的方法（10），

其特征在于如下特征：

- 所述分析进行为使得所述满足量度（13）当所述系统满足（24）所述要求时为正并且当所述系统不满足（25）所述要求时为负。

7.根据权利要求1至6中任一项所述的方法（10），

其特征在于如下特征：

- 对于所述测试（12）的特定参数（26、27）来说，所述满足量度（13）和误差量度（14）分别在通过所述参数（26、27）所张开的特征空间中被呈现，而且

- 根据所述分析进行所述归类（15）在所述特征空间中的可视化（28）。

8.根据权利要求1至7中任一项所述的方法（10），其特征在于，自动改善所述系统的通过所述检查所识别出的误差。

9.计算机程序，所述计算机程序被设立为实施根据权利要求1至8中任一项所述的方法（10）。

10.机器可读存储介质，在其上存储有根据权利要求9所述的计算机程序。

11.设备（30），所述设备被设立为实施根据权利要求1至8中任一项所述的方法（10）。