SG11201906881QA - Software-testing device, software-testing system, software-testing method, and program - Google Patents
Software-testing device, software-testing system, software-testing method, and programInfo
- Publication number
- SG11201906881QA SG11201906881QA SG11201906881QA SG11201906881QA SG11201906881QA SG 11201906881Q A SG11201906881Q A SG 11201906881QA SG 11201906881Q A SG11201906881Q A SG 11201906881QA SG 11201906881Q A SG11201906881Q A SG 11201906881QA SG 11201906881Q A SG11201906881Q A SG 11201906881QA
- Authority
- SG
- Singapore
- Prior art keywords
- software
- testing
- program
- general
- testing device
- Prior art date
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3668—Software testing
- G06F11/3672—Test management
- G06F11/3688—Test management for test execution, e.g. scheduling of test suites
-
- G—PHYSICS
- G05—CONTROLLING; REGULATING
- G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
- G05B19/00—Programme-control systems
- G05B19/02—Programme-control systems electric
- G05B19/04—Programme control other than numerical control, i.e. in sequence controllers or logic controllers
- G05B19/05—Programmable logic controllers, e.g. simulating logic interconnections of signals according to ladder diagrams or function charts
- G05B19/056—Programming the PLC
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3664—Environments for testing or debugging software
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformation of program code
- G06F8/51—Source to source
-
- G—PHYSICS
- G05—CONTROLLING; REGULATING
- G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
- G05B2219/00—Program-control systems
- G05B2219/10—Plc systems
- G05B2219/13—Plc programming
- G05B2219/13022—Convert source program to intermediate program
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Computer Hardware Design (AREA)
- Quality & Reliability (AREA)
- Automation & Control Theory (AREA)
- Software Systems (AREA)
- Programmable Controllers (AREA)
- Debugging And Monitoring (AREA)
- Testing And Monitoring For Control Systems (AREA)
- Stored Programmes (AREA)
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. 5
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2017027927A JP6827340B2 (en) | 2017-02-17 | 2017-02-17 | Software test equipment, software test systems, software test methods and programs |
PCT/JP2018/005583 WO2018151277A1 (en) | 2017-02-17 | 2018-02-16 | Software testing device, software testing system, software testing method, and program |
Publications (1)
Publication Number | Publication Date |
---|---|
SG11201906881QA true SG11201906881QA (en) | 2019-09-27 |
Family
ID=63170298
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
SG11201906881QA SG11201906881QA (en) | 2017-02-17 | 2018-02-16 | Software-testing device, software-testing system, software-testing method, and program |
Country Status (4)
Country | Link |
---|---|
US (1) | US10915438B2 (en) |
JP (1) | JP6827340B2 (en) |
SG (1) | SG11201906881QA (en) |
WO (1) | WO2018151277A1 (en) |
Families Citing this family (7)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
EP3715975B1 (en) * | 2019-03-28 | 2023-03-01 | Mitsubishi Electric R&D Centre Europe B.V. | Method and apparatus for analysing a ladder program |
CN110515840A (en) * | 2019-08-05 | 2019-11-29 | 华东师范大学 | A kind of automatic test cases generation method towards PLC program |
CN110532177A (en) * | 2019-08-05 | 2019-12-03 | 华东师范大学 | A kind of automatic test cases generation system towards PLC program |
JP7199754B2 (en) * | 2019-12-05 | 2023-01-06 | 株式会社アクセル | Design support device, design support method, design support program and design support system |
CN111104205A (en) * | 2019-12-24 | 2020-05-05 | 浙江中控技术股份有限公司 | ST language interpretation execution method and system |
JPWO2022138442A1 (en) | 2020-12-21 | 2022-06-30 | ||
CN114610622B (en) * | 2022-03-14 | 2024-05-28 | 浙江中控技术股份有限公司 | Automatic test layering design method for system functional block and related device |
Family Cites Families (28)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5613115A (en) * | 1991-12-09 | 1997-03-18 | Total Control Products, Inc. | Method for using PLC programming information to generate secondary functions such as diagnostics and operator interface |
EP0553731B1 (en) * | 1992-01-23 | 1999-04-14 | Mitsubishi Denki Kabushiki Kaisha | Programmable controller |
TW421761B (en) * | 1994-04-12 | 2001-02-11 | Yokogawa Electric Corp | Verification support system |
JP3018912B2 (en) | 1994-08-12 | 2000-03-13 | 横河電機株式会社 | Verification support system |
JP2002099312A (en) * | 2000-09-22 | 2002-04-05 | Mitsubishi Electric Corp | Programmable controller and control program development supporting device |
US6857110B1 (en) * | 2001-01-30 | 2005-02-15 | Stretch, Inc. | Design methodology for merging programmable logic into a custom IC |
US7003733B2 (en) * | 2001-01-30 | 2006-02-21 | Duemler David W | Programmable logic controller programming system |
US7257620B2 (en) * | 2001-09-24 | 2007-08-14 | Siemens Energy & Automation, Inc. | Method for providing engineering tool services |
US20030149608A1 (en) * | 2002-02-06 | 2003-08-07 | Kall Jonathan J. | Suite of configurable supply chain infrastructure modules for deploying collaborative e-manufacturing solutions |
CN1567222A (en) * | 2003-07-09 | 2005-01-19 | 松下电器产业株式会社 | Programe generating device |
CA2548334A1 (en) * | 2003-12-15 | 2005-07-28 | Evolveware Information Technology (India) Pvt. Ltd. | An apparatus for migration and conversion of software code from any source platform to any target platform |
JP3994090B2 (en) * | 2004-01-29 | 2007-10-17 | ファナック株式会社 | Numerical controller |
JP2007133622A (en) * | 2005-11-10 | 2007-05-31 | Hitachi Ltd | Engineering tool and program conversion method |
KR100877572B1 (en) * | 2006-12-01 | 2009-01-08 | 윤성재 | Apparatus and method for operation sequence converting and computer readable medium processing the method |
US20090083719A1 (en) * | 2007-09-20 | 2009-03-26 | Delta Electronics, Inc. | Method of compiling machine code program for programmable logic controller |
US8549486B2 (en) * | 2008-04-21 | 2013-10-01 | Microsoft Corporation | Active property checking |
US20100313128A1 (en) * | 2009-06-03 | 2010-12-09 | Siemens Energy & Automation, Inc. | System and method for free form comments for a programmable logic controller |
JP2012103791A (en) * | 2010-11-08 | 2012-05-31 | Mitsubishi Electric Corp | Program testing device, program testing method and program testing program |
JP4905597B1 (en) * | 2011-03-15 | 2012-03-28 | オムロン株式会社 | Controller support device, controller support program to be executed in the device, and recording medium storing the program |
JP5962088B2 (en) * | 2012-03-15 | 2016-08-03 | オムロン株式会社 | PLC simulation system, PLC simulator, control program, and recording medium |
WO2013161057A1 (en) | 2012-04-27 | 2013-10-31 | 株式会社日立製作所 | Source code inspection method and device |
CA2878473A1 (en) * | 2012-07-05 | 2014-01-09 | Wesson TABER | System and related method to facilitate process control |
CN104781817A (en) * | 2012-09-18 | 2015-07-15 | 西门子公司 | Multiple programmable logic controller simulator |
JP6245006B2 (en) * | 2014-03-13 | 2017-12-13 | 富士通株式会社 | Test case generation apparatus, method, and program |
US20160283353A1 (en) * | 2015-03-23 | 2016-09-29 | Tryon Solutions, Inc. | Automated software testing |
JP6419953B2 (en) | 2015-04-28 | 2018-11-07 | 株式会社日立製作所 | Source code equivalence verification apparatus and source code equivalence verification method |
KR101627769B1 (en) * | 2015-12-17 | 2016-06-08 | 주식회사 유디엠텍 | Apparatus and method of transforming text type of plc control program into common type of plc control program |
DE102016105844A1 (en) * | 2016-03-31 | 2017-10-05 | Dspace Digital Signal Processing And Control Engineering Gmbh | Method for testing a control program of a control device in a simulation environment on a computer |
-
2017
- 2017-02-17 JP JP2017027927A patent/JP6827340B2/en active Active
-
2018
- 2018-02-16 SG SG11201906881QA patent/SG11201906881QA/en unknown
- 2018-02-16 US US16/481,485 patent/US10915438B2/en active Active
- 2018-02-16 WO PCT/JP2018/005583 patent/WO2018151277A1/en active Application Filing
Also Published As
Publication number | Publication date |
---|---|
WO2018151277A1 (en) | 2018-08-23 |
US10915438B2 (en) | 2021-02-09 |
JP6827340B2 (en) | 2021-02-10 |
US20190391910A1 (en) | 2019-12-26 |
JP2018133034A (en) | 2018-08-23 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
SG11201906881QA (en) | Software-testing device, software-testing system, software-testing method, and program | |
EP3913549A4 (en) | Model integration device, method, and program, and inference, inspection, and control system | |
EP3385889A4 (en) | Abnormality detection system, abnormality detection method, abnormality detection program, and method for generating learned model | |
EP3474136A4 (en) | Method and apparatus for use in converting building block programming into program code | |
EP3021185A3 (en) | Process control system and configuration system | |
EP3744194A4 (en) | Aerosol generation device, and method and program for operating same | |
GB2543900A (en) | Distributed big data in a process control system | |
EP3828819A4 (en) | Machine learning model generation device, method, program, inspection device, inspection method, and print device | |
EP3744195A4 (en) | Aerosol generation device, and method and program for operating same | |
EP3779727A4 (en) | Dangerous behavior prediction device, prediction model generation device, and dangerous behavior prediction program | |
WO2015107865A3 (en) | Method for determining power flow, method and system for solving optimal power flow problem | |
EP3239793A4 (en) | Method for generating robot operation program, and device for generating robot operation program | |
WO2015181389A3 (en) | Integrated circuit verification using parameterized configuration | |
EP3528072A4 (en) | Operation state monitoring device, and learning data generation device, method, and program | |
EP3701815A4 (en) | Aerosol generation device, and method and program for operating same | |
EP3913550A4 (en) | Model generation device, model generation method, model generation program, model generation system, inspection system, and monitoring system | |
EP3811801A4 (en) | Aerosol generation device, and method and program for operating same | |
IN2015DE01249A (en) | ||
PL3538703T3 (en) | Spectrometer, system containing a spectrometer and a domestic appliance, and method for the operation thereof | |
EP3651332A4 (en) | Power supply system, power supply device, control method and control program | |
IL268893A (en) | Method, command, device and program to determine at least one brain network involved in carrying out a given process | |
EP3777578A4 (en) | Aerosol generation device, control method and program | |
EP3777576A4 (en) | Aerosol generation device, control method and program | |
GB202011579D0 (en) | Software visualization device, software visualization method, and software visualization program | |
ZA201905889B (en) | Programme logic circuit for controlling a power plant, in particular a nuclear power plant , associated control device and method. |