公开(公告)号：CN111746551A

公开(公告)日：2020-10-09

申请号：CN202010229831.1

申请日：2020-03-27

Applicant: 罗伯特·博世有限公司

Inventor： J.克拉尔曼 ,  C.洛德霍泽 ,  F.维默 ,  J.格拉夫 ,  J.科贝尔斯基 ,  S.格赖纳

IPC: B60W50/04 ,  B60W50/035

Abstract: 本发明涉及一种用于运行控制器（A-G、X）的组合体（11）中的控制器（A-G、X）的方法（10），其特征在于以下特征：―接收（11）改变所述组合体（11）的模式的请求，―对所述请求进行（12）检查，所述检测提供检查结果，―关于所述检查结果和所述组合体（11）的为所述控制器（A-G、X）所知的状态将消息传播给其余的控制器（A-G、X）并且分别接收（13）反馈并且―根据所述反馈来遵循（14）或者拒绝（15）所述请求。

公开(公告)号：CN112286789A

公开(公告)日：2021-01-29

申请号：CN202010723199.6

申请日：2020-07-24

Applicant: 罗伯特·博世有限公司

Inventor： C.胡思 ,  H.勒尔 ,  R.阿马尔纳特 ,  S.格赖纳

IPC: G06F11/36

Abstract: 用于对系统进行测试的方法。介绍一种计算机实施的用于对系统进行测试的方法，其中被测系统尤其是计算机程序、硬件系统或嵌入式系统。在此，利用静态分析在如下方面检查用于该系统的执行结构的第一部分：该系统在执行与执行结构的第一部分对应的执行路径时是否无错误地运行。如果针对执行结构的第一部分在静态分析中确定无错误的执行，则利用动态分析进行该系统的检查，所述动态分析略过与执行结构的第一部分对应的执行路径。

公开(公告)号：CN111746551B

公开(公告)日：2024-07-23

申请号：CN202010229831.1

申请日：2020-03-27

Applicant: 罗伯特·博世有限公司

Inventor： J.克拉尔曼 ,  C.洛德霍泽 ,  F.维默 ,  J.格拉夫 ,  J.科贝尔斯基 ,  S.格赖纳

IPC: B60W50/04 ,  B60W50/035

Abstract: 本发明涉及一种用于运行控制器（A‑G、X）的组合体（11）中的控制器（A‑G、X）的方法（10），其特征在于以下特征：―接收（11）改变所述组合体（11）的模式的请求，―对所述请求进行（12）检查，所述检测提供检查结果，―关于所述检查结果和所述组合体（11）的为所述控制器（A‑G、X）所知的状态将消息传播给其余的控制器（A‑G、X）并且分别接收（13）反馈并且―根据所述反馈来遵循（14）或者拒绝（15）所述请求。