-
公开(公告)号：CN119577771A
公开(公告)日：2025-03-07
申请号：CN202411240316.8
申请日：2024-09-05
Applicant: 罗伯特·博世有限公司
Abstract: 按照各种实施方式，提供了一种用于自动分析计算机程序(即，尤其是确定在(待检查的)计算机程序(该计算机程序以编译版本、即二进制代码存在)中存在的程序组件)的方法，该方法具有：通过对计算机程序的二进制代码进行反编译，生成具有中间表示指令序列的中间表示代码；从该中间表示指令序列生成一个或多个中间表示代码串；在所述一个或多个中间表示代码串中，借助于字符串内核搜索来搜索多个参考中间表示代码串中的参考中间表示代码串，其中，每个参考中间表示代码串都属于程序组件；而且确定在所述一个或多个中间表示代码串中借助于字符串内核比较找到了的参考中间表示代码串所属的程序组件，作为存在于该计算机程序中的程序组件。
-
公开(公告)号：CN119577770A
公开(公告)日：2025-03-07
申请号：CN202411240217.X
申请日：2024-09-05
Applicant: 罗伯特·博世有限公司
Abstract: 本公开的第一方面涉及用于在软件的静态测试中自动识别已知漏洞的计算机实现的方法，包括提取软件的代码的数据结构；基于代码、所提取的数据结构和/或软件的软件材料清单来标识一个或多个软件部分，所述软件与所述一个或多个软件部分有关；对于至少一个所标识的软件部分评价是否使该软件部分与已知漏洞相关联，其中得出一个或多个潜在易受攻击的软件部分；对于至少一个潜在易受攻击的软件部分，将机器学习模型应用于分配给已知漏洞的描述，其中机器学习模型被训练和配置用于至少从描述和提示中确定至少一个主要原因；基于至少一个主要原因和所提取的数据结构将至少一个潜在易受攻击的软件部分评价为易受攻击的或不易受攻击的或可选地不可评价的。
-
公开(公告)号：CN118820066A
公开(公告)日：2024-10-22
申请号：CN202410475481.5
申请日：2024-04-19
Applicant: 罗伯特·博世有限公司
IPC: G06F11/36
Abstract: 本发明涉及一种用于为模糊软件测试生成至少一个新测试用例(110)的方法(100)，所述方法包括以下步骤：‑为模糊软件测试提供(101)至少一个现有测试用例(105)，其中所述模糊软件测试被设置用于，对测试目标(170、180)的多个不同设计方案中的至少一个设计方案进行测试，‑基于所述至少一个现有测试用例(105)并且基于训练测试用例对所述测试目标(170、180)的其中多个不同设计方案的效果来生成(102)表示信息(152)，‑基于所述表示信息(152)生成(103)用于所述模糊软件测试的至少一个新测试用例(110)。
-
公开(公告)号：CN116737533A
公开(公告)日：2023-09-12
申请号：CN202310217309.5
申请日：2023-03-08
Applicant: 罗伯特·博世有限公司
IPC: G06F11/36
Abstract: 用于测试计算机程序的方法。根据各种实施方式描述一种用于测试计算机程序的方法，所述方法包括将用于所述计算机程序的输入数据发送给存储器，所述计算机程序访问所述存储器；在存储有所述输入数据的存储器中的存储区域中的位置处设置数据观察点；执行计算机程序并且在此监控所述计算机程序的输入解析器的哪些部分访问所述存储区域的位置；从监控的结果中确定所述计算机程序的输入语法；并且在使用所确定的输入语法的情况下测试所述计算机程序。
-
公开(公告)号：CN116775455A
公开(公告)日：2023-09-19
申请号：CN202310259875.2
申请日：2023-03-13
Applicant: 罗伯特·博世有限公司
IPC: G06F11/36 , G06N3/0455 , G06N3/08
Abstract: 本发明提供用于测试计算机程序的方法，具有：针对大量输入数据集中用于计算机程序的每个输入数据集执行计算机程序，分别确定计算机程序的覆盖率，其在针对相应输入数据集执行计算机程序时达到；为每个输入数据集产生训练数据元素，其包含为输入数据集确定的覆盖率作为训练输入和输入数据集作为目标输出；使用训练数据元素借助监督学习训练机器学习模型，其具有编码器和解码器，其中编码器设置为从覆盖率中产生表示空间中的表示，解码器设置为从输送给它的来自表示空间的表示中产生计算机程序的输入数据集；从表示空间中选择表示；通过将选择的表示输送给解码器产生附加输入数据集；通过针对产生的附加输入数据集执行计算机程序来测试计算机程序。
-
Patent Agency Ranking
公开(公告)号：CN119226132A
公开(公告)日：2024-12-31
申请号：CN202410856037.8
申请日：2024-06-28
Applicant: 罗伯特·博世有限公司
IPC: G06F11/36
Abstract: 根据各种实施方式，描述了用于测试计算机程序的方法，所述方法包括：在计算机程序将一个或多个断点设置到一个或多个存储器访问指令上；执行计算机程序；在触发所设置的断点之一时，确定存储器访问指令是否用于访问数据元素，所述数据元素具有定向于所述数据元素写入到的或从其读取所述数据元素的存储地址需要的大小，且必要时确定所需要的定向；如果存储器访问指令用于访问数据元素，所述数据元素具有定向于所述数据元素写入到的或从其读取所述数据元素的存储地址需要的大小，则确定存储器访问指令访问的存储地址是否满足所需要的定向；和响应于确定出存储器访问指令访问的存储地址不满足所需要的定向，触发显示：计算机程序具有错误。
-
公开(公告)号：CN117527890A
公开(公告)日：2024-02-06
申请号：CN202310518515.X
申请日：2023-05-09
Applicant: 罗伯特·博世有限公司
IPC: H04L67/56
Abstract: 本公开的第一一般方面涉及一种用于在具有本地实例和后端的通信系统中至后端的连接干扰的情况下防止本地实例中功能丢失的计算机实现的方法，所述本地实例具有本地代理，所述后端部分地用作全局代理，其中代理表示被设计为借助于自主行为实现定义目标的单元；该方法包括：当存在至所述后端的连接时，由所述全局代理提供功能，所述全局代理在提供功能的同时从所述后端获得后端信息，以及当至所述后端的连接受到干扰时，由所述本地代理提供所述功能。
-
公开(公告)号：CN117041065A
公开(公告)日：2023-11-10
申请号：CN202310518559.2
申请日：2023-05-09
Applicant: 罗伯特·博世有限公司
Abstract: 本公开的第一一般方面涉及一种用于在具有后端和多个本地实例的通信系统中至后端的连接干扰的情况下维持本地实例中功能的计算机实现的方法，其中所述后端为所述功能提供后端信息；该方法包括由所述后端从多个本地实例接收本地行为模型，其中当特定的后端信息不可用时，所述本地行为模型在所述本地实例中提供所述功能；基于接收到的本地行为模型创建行为模型；以及由所述后端将所述行为模型传送到所述多个本地实例中的本地实例。
-
公开(公告)号：CN116737432A
公开(公告)日：2023-09-12
申请号：CN202310215108.1
申请日：2023-03-07
Applicant: 罗伯特·博世有限公司
Abstract: 用于进行软件差错清除的方法。根据各种实施方式，描述用于进行软件差错清除的方法，所述方法包括：从待测试的计算机程序中提取至少一个软件组件，其中所述软件组件具有接口，当执行所述计算机程序时，所述软件组件通过所述接口接收输入数据，在所述软件组件的接口上测试所提取的软件组件以便发现差错，并且对于每个差错，确定输入数据，所述输入数据在所述输入数据通过所述软件组件的接口被输送时导致所述差错，对于所述软件组件的每个所发现的差错，检验所确定的输入数据在执行所述计算机程序时是否被输送给所述软件组件，以及根据所确定的输入数据在执行所述计算机程序时是否被输送给所述软件组件来鉴于所述差错对计算机程序进行适配。
-
公开(公告)号：CN115905312A
公开(公告)日：2023-04-04
申请号：CN202211017511.5
申请日：2022-08-24
Applicant: 罗伯特·博世有限公司
IPC: G06F16/2455 , G06F16/25
Abstract: 本发明涉及一种用于调解对一个或多个数据源的数据请求的方法，包括：从应用获得请求一种或多种数据类型的数据的数据请求，以及检查能够提供一种或多种请求的数据类型的一个或多个数据源的可用性，其中所述方法还包括：如果所述一个或多个数据源中的至少一个数据源可用，则向可用数据源发送对所述数据源能够提供的所请求的相关联数据类型的查询；以及如果针对至少一种所请求的数据类型没有数据源可用，则向占位符模块发送对所述数据类型的查询。
-
-
-
-
-
-
-
-
-
Search Results
10
records
(took 0.027 seconds)
