US 12,079,107 B2
Computer readable storage medium, debugging support device, debugging support method, and machine learning device
Yuta Kawakami, Tokyo (JP)
Assigned to MITSUBISHI ELECTRIC CORPORATION, Tokyo (JP)
Appl. No. 18/266,814
Filed by Mitsubishi Electric Corporation, Tokyo (JP)
PCT Filed Mar. 2, 2021, PCT No. PCT/JP2021/007985
§ 371(c)(1), (2) Date Jun. 13, 2023,
PCT Pub. No. WO2022/185418, PCT Pub. Date Sep. 9, 2022.
Prior Publication US 2024/0037016 A1, Feb. 1, 2024
Int. Cl. G06F 11/00 (2006.01); G06F 11/36 (2006.01)
CPC G06F 11/3656 (2013.01) [G06F 11/3636 (2013.01)] 14 Claims
OG exemplary drawing
 
1. A non-transitory computer readable storage medium storing a debugging support program for causing a computer to function as a debugging support device that supports debugging of a sequence program to be executed by a control device, the debugging support program causing the computer to execute:
extracting, from a module program constituting the sequence program, a first variable assigned to an input to the module program and a second variable assigned to an output from the module program;
creating a verification item for verifying operation of the module program, the verification item including a first setting value specified for the first variable and a second setting value specified for the second variable;
verifying operation of the module program by comparing a value of the second variable with the second setting value included in the verification item; and
outputting a result of verifying operation of the module program, wherein
the verification item includes the first setting value and the second setting value for the first variable and the second variable having a dependence relationship with each other, and
the dependence relationship is a relationship in which a value of the second variable is determined depending on a value of the first variable.