-
公开(公告)号:CN109976932B
公开(公告)日:2024-10-18
申请号:CN201810620767.2
申请日:2018-06-15
IPC: G06F11/07
Abstract: 本发明涉及一种故障注入测试设备和方法,其中故障注入测试设备包括:通信模块,其与电子控制装置进行通信;测试场景管理模块,其创建用于对电子控制装置执行故障注入测试的测试场景;测试执行模块,其根据测试场景执行故障注入测试,并将故障数据传输到电子控制装置;故障检测模块,其确定故障数据是否从测试执行模块正常传输到电子控制装置;以及恢复确定模块,其确定电子控制装置是否从故障中恢复,其中该故障通过从测试执行模块传输的故障数据被引入到电子控制装置。
-
公开(公告)号:CN109976932A
公开(公告)日:2019-07-05
申请号:CN201810620767.2
申请日:2018-06-15
IPC: G06F11/07
Abstract: 本发明涉及一种故障注入测试设备和方法,其中故障注入测试设备包括:通信模块,其与电子控制装置进行通信;测试场景管理模块,其创建用于对电子控制装置执行故障注入测试的测试场景;测试执行模块,其根据测试场景执行故障注入测试,并将故障数据传输到电子控制装置;故障检测模块,其确定故障数据是否从测试执行模块正常传输到电子控制装置;以及恢复确定模块,其确定电子控制装置是否从故障中恢复,其中该故障通过从测试执行模块传输的故障数据被引入到电子控制装置。
-
公开(公告)号:CN117785653A
公开(公告)日:2024-03-29
申请号:CN202311256655.0
申请日:2023-09-26
Inventor: 比姆森·乔希 , 郑光哲 , 萨蒂亚·普拉文·加纳帕蒂 , 拉梅什·奇特 , 拉克施米·玛尼坎塔·詹贾南 , 朴镛石 , 斯里帕德·江阿姆
IPC: G06F11/36
Abstract: 本发明涉及一种使用MCDC方法的代码分析设备和代码分析方法。该代码分析方法包括:将源代码所指示的包括n个条件的表达式转换成布尔表达式;基于布尔表达式生成包括多个节点的二叉表达式树;通过分析每个节点是叶节点还是父节点来初始化每个节点的翻转极限和翻转次数;通过将多个节点当中多个父节点中的每个父节点以及多个父节点中每个父节点的两个子节点的布尔值初始化为多个有效情况之一来生成第一测试用例,多个父节点中的每个父节点的名称是运算符;以及通过基于第一测试用例在从根节点到叶节点的路径上对具有翻转可行性的所有节点执行翻转来生成n个测试用例,并且存储第一测试用例和n个测试用例。
-
公开(公告)号:CN104104584A
公开(公告)日:2014-10-15
申请号:CN201310504037.3
申请日:2013-10-23
Applicant: 现代自动车株式会社
CPC classification number: H04L67/125 , H04L41/0893 , H04L67/12
Abstract: 本发明涉及一种车辆信息提供系统。一种车辆信息提供装置基于消息策略脚本提供车辆信息,该策略脚本包括包含多个服务中的每一个所需要的数据的消息ID、消息中数据的位置和长度以及每一个服务所需要的数据的时间间隔。该装置通过过滤消息ID或者时间间隔提供消息,或者创建并且提供仅包含必要数据的新消息。
-
公开(公告)号:CN104104584B
公开(公告)日:2018-09-21
申请号:CN201310504037.3
申请日:2013-10-23
Applicant: 现代自动车株式会社
Abstract: 本发明涉及一种车辆信息提供系统。一种车辆信息提供装置基于消息策略脚本提供车辆信息,该策略脚本包括包含多个服务中的每一个所需要的数据的消息ID、消息中数据的位置和长度以及每一个服务所需要的数据的时间间隔。该装置通过过滤消息ID或者时间间隔提供消息,或者创建并且提供仅包含必要数据的新消息。
-
-
-
-