Computer readable storage medium, debugging support device, debugging support method, and machine learning device

A debugging support device that supports debugging of a sequence program to be executed by a control device, the debugging support device comprising:

• first processing circuitry
• to extract, 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;
• to create 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;
• to verify operation of the module program by comparing a value of the second variable with the second setting value included in the verification item;
• and
• to output 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.

A debugging support method for a debugging support device that supports debugging of a sequence program to be executed by a control device, the debugging support method comprising:

• 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.

A machine learning device that learns a verification item to be used for verification of operation of a module program constituting a sequence program in supporting debugging of the sequence program by a debugging support program,

• the debugging support program causing a computer that functions as a debugging support device 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, and
• the machine learning device comprising:
• second processing circuitry
• to acquire the verification item;
• and
• to generate, using a data set including two input verification items that are the verification items input from the verification item acquisition unit, a learned model for inferring an output verification item from the input verification items, the output verification item being a new verification item to be used for the verification of operation.