公开(公告)号：CN110520850B

公开(公告)日：2023-08-11

申请号：CN201780089570.4

申请日：2017-04-19

Applicant: 三菱电机株式会社

Inventor： 米持一树 ,  矶田诚

IPC: G06F11/36

Abstract: 生成部(110)生成用于检查第1函数与第2函数的等效性的检查封装器。检查封装器包含用于反复调用第1函数和第2函数的循环语句。检查部(130)使用检查封装器进行等效性检查，由此，按照调用了第1函数和所述第2函数的次数，判定第1函数与第2函数的等效性。

公开(公告)号：CN105075186A

公开(公告)日：2015-11-18

申请号：CN201380073851.2

申请日：2013-03-01

Applicant: 三菱电机株式会社

Inventor： 辻村达德 ,  古家寿男 ,  野岛政志 ,  糸井诚 ,  谷本大辅 ,  西山博仁 ,  矶田诚 ,  伊藤益夫

IPC: H04L12/40 ,  H04L12/28

CPC classification number: G06F9/44505 ,  G06F13/4221 ,  H04L12/40006 ,  H04L12/4645 ,  H04L41/06 ,  H04L2012/40215

Abstract: 通信部(104)从BCM(111)接收作为从BCM(111)到I/O设备(121～123)的数据的输出数据。共享存储器(102)存储由通信部(104)接收到的输出数据。异常检测通信处理部(105)和通信部(104)生成请求发送BCM(111)保存的输出数据的异常检测用的通信帧。通信部(104)向BCM(111)发送异常检测用的通信帧，并从BCM(111)接收BCM(111)保存的输出数据，作为针对异常检测用的通信帧的响应。异常检测判别部(106)对从BCM(111)接收到的输出数据和共享存储器(102)中存储的输出数据进行比较。

公开(公告)号：CN110520850A

公开(公告)日：2019-11-29

申请号：CN201780089570.4

申请日：2017-04-19

Applicant: 三菱电机株式会社

Inventor： 米持一树 ,  矶田诚

IPC: G06F11/36

Abstract: 生成部(110)生成用于检查第1函数与第2函数的等效性的检查封装器。检查封装器包含用于反复调用第1函数和第2函数的循环语句。检查部(130)使用检查封装器进行等效性检查，由此，按照调用了第1函数和所述第2函数的次数，判定第1函数与第2函数的等效性。

公开(公告)号：CN105075186B

公开(公告)日：2019-03-12

申请号：CN201380073851.2

申请日：2013-03-01

Applicant: 三菱电机株式会社

Inventor： 辻村达德 ,  古家寿男 ,  野岛政志 ,  糸井诚 ,  谷本大辅 ,  西山博仁 ,  矶田诚 ,  伊藤益夫

IPC: H04L12/40 ,  H04L12/28

Abstract: 通信部(104)从BCM(111)接收作为从BCM(111)到I/O设备(121～123)的数据的输出数据。共享存储器(102)存储由通信部(104)接收到的输出数据。异常检测通信处理部(105)和通信部(104)生成请求发送BCM(111)保存的输出数据的异常检测用的通信帧。通信部(104)向BCM(111)发送异常检测用的通信帧，并从BCM(111)接收BCM(111)保存的输出数据，作为针对异常检测用的通信帧的响应。异常检测判别部(106)对从BCM(111)接收到的输出数据和共享存储器(102)中存储的输出数据进行比较。

公开(公告)号：CN105027509A

公开(公告)日：2015-11-04

申请号：CN201380074123.3

申请日：2013-03-01

Applicant: 三菱电机株式会社

Inventor： 西山博仁 ,  辻村达德 ,  千田修一郎 ,  伊藤益夫 ,  矶田诚 ,  冈村茂一 ,  谷本大辅

IPC: H04L12/40 ,  H04L12/28

CPC classification number: H04L12/40156 ,  H04J3/16 ,  H04L12/4015 ,  H04L67/12

Abstract: 共享存储器(101)被从多个应用(1000)随时写入控制信息。通信部(105)按固定的发送周期，将被写入到共享存储器(101)中的控制信息发送到DHM(200)。管理表中定义了多个在紧急发送控制信息时允许的延迟时间即允许延迟时间。发送定时通知部(106)将发送周期分割为由管理表定义的最短的允许延迟时间以下的时隙。通信部(105)在发送周期到来之前，按每一时隙将共享存储器(101)的控制信息发送到DHM(200)。

公开(公告)号：CN108701074A

公开(公告)日：2018-10-23

申请号：CN201680082137.3

申请日：2016-02-24

Applicant: 三菱电机株式会社

Inventor： 矶田诚

IPC: G06F11/28

CPC classification number: G06F11/3684 ,  G06F11/3664 ,  G06F11/3676 ,  G06F11/3688 ,  G06F11/3692

Abstract: 测试用例生成装置(10)将多个输入条件(31)、多个输出条件(32)、以及通过基于软件构造的试验方法确认处理到达的多个到达点的各组合作为对象样式，判定是否能够生成测试用例(36)，该测试用例(36)是能够同时确认对象样式中的作为输入条件(31)和输出条件(32)的对的输入输出条件以及到达点的输入信号和输出信号的值。由此，测试用例生成装置(10)确定能够确认输入条件(31)中的各输入条件(31)、输出条件(32)中的各输出条件(32)、和到达点中的各到达点的测试用例(36)的组。

公开(公告)号：CN105027509B

公开(公告)日：2018-04-13

申请号：CN201380074123.3

申请日：2013-03-01

Applicant: 三菱电机株式会社

Inventor： 西山博仁 ,  辻村达德 ,  千田修一郎 ,  伊藤益夫 ,  矶田诚 ,  冈村茂一 ,  谷本大辅

IPC: H04L12/40 ,  H04L12/28

CPC classification number: H04L12/40156 ,  H04J3/16 ,  H04L12/4015 ,  H04L67/12

Abstract: 共享存储器(101)被从多个应用(1000)随时写入控制信息。通信部(105)按固定的发送周期，将被写入到共享存储器(101)中的控制信息发送到DHM(200)。管理表中定义了多个在紧急发送控制信息时允许的延迟时间即允许延迟时间。发送定时通知部(106)将发送周期分割为由管理表定义的最短的允许延迟时间以下的时隙。通信部(105)在发送周期到来之前，按每一时隙将共享存储器(101)的控制信息发送到DHM(200)。