SG11201906881QA - Software-testing device, software-testing system, software-testing method, and program - Google Patents

Software-testing device, software-testing system, software-testing method, and program

Info

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
Application number
SG11201906881QA
Inventor
Hirotaka Okazaki
Noritaka Yanai
Masahiro Yamada
Yutaka Miyajima
Original Assignee
Mitsubishi Heavy Ind Eng Ltd
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Mitsubishi Heavy Ind Eng Ltd filed Critical Mitsubishi Heavy Ind Eng Ltd
Publication of SG11201906881QA publication Critical patent/SG11201906881QA/en

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
SG11201906881QA 2017-02-17 2018-02-16 Software-testing device, software-testing system, software-testing method, and program SG11201906881QA (en)

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)

* Cited by examiner, † Cited by third party
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
CN110532177A (en) * 2019-08-05 2019-12-03 华东师范大学 A kind of automatic test cases generation system towards PLC program
CN110515840A (en) * 2019-08-05 2019-11-29 华东师范大学 A kind of automatic test cases generation method 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
DE112021005500T5 (en) 2020-12-21 2024-01-18 Fanuc Corporation Ladder program analysis device
CN114610622B (en) * 2022-03-14 2024-05-28 浙江中控技术股份有限公司 Automatic test layering design method for system functional block and related device

Family Cites Families (28)

* Cited by examiner, † Cited by third party
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
DE69324388T2 (en) * 1992-01-23 1999-09-09 Mitsubishi Electric Corp Programmable logic controller
JP3018912B2 (en) 1994-08-12 2000-03-13 横河電機株式会社 Verification support system
TW421761B (en) 1994-04-12 2001-02-11 Yokogawa Electric Corp 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
EP1700210A2 (en) * 2003-12-15 2006-09-13 Evolveware Information Tech. (India) Pty. 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
WO2014008491A2 (en) * 2012-07-05 2014-01-09 Renewable Process Technologies Llc System and related method to facilitate process control
EP2898436A1 (en) * 2012-09-18 2015-07-29 Siemens Aktiengesellschaft 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
CN107533464A (en) * 2015-04-28 2018-01-02 株式会社日立制作所 Source code equivalence checking device and source code equivalence checking 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

Also Published As

Publication number Publication date
US20190391910A1 (en) 2019-12-26
US10915438B2 (en) 2021-02-09
JP6827340B2 (en) 2021-02-10
JP2018133034A (en) 2018-08-23
WO2018151277A1 (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
ES2970507T3 (en) Abnormality model learning device, method and program
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
GB2543900A (en) Distributed big data in a process control system
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
EP3828819A4 (en) Machine learning model generation device, method, program, inspection device, inspection method, and print device
EP3239793A4 (en) Method for generating robot operation program, and device for generating robot operation program
EP3389162A4 (en) Power control device, operation plan planning method, and program
SG10201402805UA (en) Inactive gas supply facility and inactive gas supply method
WO2015181389A3 (en) Integrated circuit verification using parameterized configuration
EP3701815A4 (en) Aerosol generation device, and method and program for operating same
EP3528072A4 (en) Operation state monitoring device, and learning data generation device, method, and program
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
EP3777578A4 (en) Aerosol generation device, control method and program
EP3633472A4 (en) Hmi development assistance device, hmi development assistance method and hmi development assistance program
EP3733343A4 (en) Tool selection device, method, and program, and nc program creation system
EP3777576A4 (en) Aerosol generation device, control method and program
MX2016015953A (en) Information retrieval system and method.