Back to results
US 10,915,438 B2Granted
Software-testing device, software-testing system, software-testing method, and program
AssigneeMitsubishi Heavy Industries Engineering, Ltd.
InventorsHirotaka Okazaki, Noritaka Yanai, Masahiro Yamada, Yutaka Miyajima
Life of this patent
Estimating the term…
Abstract
A software-testing device includes a conversion unit configured to convert a PLC program for operating a programmable logic controller into a general-purpose language program described in a general-purpose programming language, and a test execution unit configured to perform a test on the general-purpose language program.
Claims11
A software-testing device, comprising:
- a conversion unit configured to convert a PLC program for operating a programmable logic controller into a general-purpose language program described in a general-purpose programming language, and to convert a description satisfying a predetermined condition among descriptions included in a comment in the PLC program into a description that is to be an execution target by the general-purpose language program;
- and
- a test execution unit configured to perform a test on the general-purpose language program,
- wherein the conversion unit converts a first character string included in the comment in the PLC program into a description indicating a precondition for executing the general-purpose language program, and converts a second character string included in the comment in the PLC program into a description indicating a condition to be satisfied after the execution of the general-purpose language program, and
- the test execution unit detects, as an error, a case in which an input to the general-purpose language program satisfies a condition of the input and an output of the general-purpose language program does not satisfy a condition of the output.
2 more elements
A software-testing method, comprising:
- converting a PLC program for operating a programmable logic controller into a general-purpose language program described in a general-purpose programming language, the converting including converting a description satisfying a predetermined condition among descriptions included in a comment in the PLC program into a description that is to be an execution target by the general-purpose language program;
- and
- performing a test on the general-purpose language program,
- wherein a first character string included in the comment in the PLC program is converted into a description indicating a precondition for executing the general-purpose language program, and a second character string included in the comment in the PLC program is converted into a description indicating a condition to be satisfied after the execution of the general-purpose language program, and
- a case in which an input to the general-purpose language program satisfies a condition of the input and an output of the general-purpose language program does not satisfy a condition of the output is detected as an error.
2 more elements
A non-transitory computer-readable recording medium storing a program for causing a computer to execute:
- converting a PLC program for operating a programmable logic controller into a general-purpose language program described in a general-purpose programming language, the converting including converting a description satisfying a predetermined condition among descriptions included in a comment in the PLC program into a description that is to be an execution target by the general-purpose language program;
- and
- performing a test on the general-purpose language program,
- wherein a first character string included in the comment in the PLC program is converted into a description indicating a precondition for executing the general-purpose language program, and a second character string included in the comment in the PLC program is converted into a description indicating a condition to be satisfied after the execution of the general-purpose language program, and
- a case in which an input to the general-purpose language program satisfies a condition of the input and an output of the general-purpose language program does not satisfy a condition of the output is detected as an error.
2 more elements
Dependencies are inferred from the claim text.