-
公开(公告)号：CN113574511B
公开(公告)日：2024-12-31
申请号：CN201980094049.9
申请日：2019-03-25
Applicant: 三菱电机株式会社
Inventor： 马场円
IPC: G06F11/36
Abstract: 在存储有作为从1步到(i‑1)步的测试用例的第(i‑1)测试用例的情况下，生成控制部(130)选择使用第(i‑1)测试用例来生成作为从1步到i步的测试用例的第i测试用例的第1生成方式(M1)。测试生成部(170)按照第1生成方式(M1)，在保持着基于第(i‑1)测试用例的执行的(i‑1)步的结束时刻的内部状态的状态下，生成执行第i步的测试用例。测试生成部(170)通过连结第(i‑1)测试用例和第i步的测试用例，生成第i测试用例。
-
公开(公告)号：CN108292211A
公开(公告)日：2018-07-17
申请号：CN201580085070.4
申请日：2015-12-10
Applicant: 三菱电机株式会社
IPC: G06F8/65
Abstract: 通信部从终端装置接收已安装应用信息，该已安装应用信息通知输入输出计划，该输入输出计划是输入终端装置中已安装的已安装应用程序在运算中使用的输入信息、输出已安装应用程序的运算结果的输入输出计划。判定部对由已安装应用信息通知的已安装应用程序的输入输出计划和输入终端装置中未安装的未安装应用程序在运算中使用的输入信息、输出未安装应用程序的运算结果的输入输出计划进行解析，判定是否能够由终端装置执行已安装应用程序和未安装应用程序。
-
公开(公告)号：CN113574511A
公开(公告)日：2021-10-29
申请号：CN201980094049.9
申请日：2019-03-25
Applicant: 三菱电机株式会社
Inventor： 马场円
IPC: G06F11/36
Abstract: 在存储有作为从1步到(i‑1)步的测试用例的第(i‑1)测试用例的情况下，生成控制部(130)选择使用第(i‑1)测试用例来生成作为从1步到i步的测试用例的第i测试用例的第1生成方式(M1)。测试生成部(170)按照第1生成方式(M1)，在保持着基于第(i‑1)测试用例的执行的(i‑1)步的结束时刻的内部状态的状态下，生成执行第i步的测试用例。测试生成部(170)通过连结第(i‑1)测试用例和第i步的测试用例，生成第i测试用例。
-
公开(公告)号：CN111566625A
公开(公告)日：2020-08-21
申请号：CN201880085785.3
申请日：2018-01-17
Applicant: 三菱电机株式会社
Inventor： 马场円
IPC: G06F11/36
Abstract: 测试用例生成装置(10)对在每次被输入值时执行1个步骤的处理的软件即测试对象软件进行分析，生成为了测试该软件而输入的值的序列作为测试用例。此时，当关于状态变量，执行共用状态变量的多个步骤中的任意1个步骤的处理后的值和执行另1个步骤的处理后的值相等的情况下，等效步骤检査部(19)判定为这2个步骤是等效步骤。测试用例生成部(20)将由等效步骤检査部(19)判定为等效步骤的2个步骤中的一方排除，对测试对象软件进行分析而生成测试用例中包含的值。
-
Patent Agency Ranking
公开(公告)号：CN108292244A
公开(公告)日：2018-07-17
申请号：CN201580084985.3
申请日：2015-12-10
Applicant: 三菱电机株式会社
Abstract: 当由多个应用中的、默认输出设定被设定为无效的应用请求了数据的输出时，输出设定更新部(120)将作为请求源的应用的输出设定从无效更新为有效，并将向与作为请求源的应用的输出目的地相同的输出目的地输出数据的、默认输出设定被设定为有效的其它应用的输出设定从有效更新为无效。输出控制部(160)对输出设定为有效的应用的数据进行输出。
-
公开(公告)号：CN111566625B
公开(公告)日：2024-01-09
申请号：CN201880085785.3
申请日：2018-01-17
Applicant: 三菱电机株式会社
Inventor： 马场円
IPC: G06F11/36
Abstract: 测试用例生成装置(10)对在每次被输入值时执行1个步骤的处理的软件即测试对象软件进行分析，生成为了测试该软件而输入的值的序列作为测试用例。此时，当关于状态变量，执行共用状态变量的多个步骤中的任意1个步骤的处理后的值和执行另1个步骤的处理后的值相等的情况下，等效步骤检査部(19)判定为这2个步骤是等效步骤。测试用例生成部(20)将由等效步骤检査部(19)判定为等效步骤的2个步骤中的一方排除，对测试对象软件进行分析而生成测试用例中包含的值。
-
公开(公告)号：CN108292244B
公开(公告)日：2021-12-03
申请号：CN201580084985.3
申请日：2015-12-10
Applicant: 三菱电机株式会社
Abstract: 当由多个应用中的、默认输出设定被设定为无效的应用请求了数据的输出时，输出设定更新部(120)将作为请求源的应用的输出设定从无效更新为有效，并将向与作为请求源的应用的输出目的地相同的输出目的地输出数据的、默认输出设定被设定为有效的其它应用的输出设定从有效更新为无效。输出控制部(160)对输出设定为有效的应用的数据进行输出。
-
公开(公告)号：CN108293040B
公开(公告)日：2020-08-28
申请号：CN201580084727.5
申请日：2015-12-04
Applicant: 三菱电机株式会社
IPC: H04L29/06
Abstract: 在转送控制装置(100)中，各个功能部(110)指定转送时刻和设备ID，进行设备数据的转送请求。第1控制部(111)根据来自作为多个功能部(110)中的任意功能部的请求方的转送请求，在与请求方对应的第1区域(121)和与由请求方指定的转送时刻和设备ID的组合对应的第2区域(122)之间转送设备数据。如果有对应于与计时器(113)的通知时刻相同的转送时刻的第2区域(122)，则第2控制部(112)在该第2区域(122)和对应于与该第2区域(122)相同的设备ID的第3区域(123)之间转送设备数据。
-
公开(公告)号：CN108293040A
公开(公告)日：2018-07-17
申请号：CN201580084727.5
申请日：2015-12-04
Applicant: 三菱电机株式会社
IPC: H04L29/06
Abstract: 在转送控制装置(100)中，各个功能部(110)指定转送时刻和设备ID，进行设备数据的转送请求。第1控制部(111)根据来自作为多个功能部(110)中的任意功能部的请求方的转送请求，在与请求方对应的第1区域(121)和与由请求方指定的转送时刻和设备ID的组合对应的第2区域(122)之间转送设备数据。如果有对应于与计时器(113)的通知时刻相同的转送时刻的第2区域(122)，则第2控制部(112)在该第2区域(122)和对应于与该第2区域(122)相同的设备ID的第3区域(123)之间转送设备数据。
-
-
-
-
-
-
-
-
Search Results
9
records
(took 0.021 seconds)
