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
Other languages
English (en)
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 OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Prevention of errors by analysis, debugging or testing of software
    • G06F11/3668—Testing of software
    • 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—Program-control systems
    • G05B19/02—Program-control systems electric
    • G05B19/04—Program 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 OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Prevention of errors by analysis, debugging or testing of software
    • G06F11/3698—Environments for analysis, debugging or testing of software
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; 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)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Quality & Reliability (AREA)
  • Computer Hardware Design (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)
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 (ja) 2017-02-17 2017-02-17 ソフトウェア試験装置、ソフトウェア試験システム、ソフトウェア試験方法およびプログラム
PCT/JP2018/005583 WO2018151277A1 (ja) 2017-02-17 2018-02-16 ソフトウェア試験装置、ソフトウェア試験システム、ソフトウェア試験方法およびプログラム

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 (https=)
JP (1) JP6827340B2 (https=)
SG (1) SG11201906881QA (https=)
WO (1) WO2018151277A1 (https=)

Families Citing this family (11)

* 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
CN110515840A (zh) * 2019-08-05 2019-11-29 华东师范大学 一种面向plc程序的自动化测试用例生成方法
CN110532177A (zh) * 2019-08-05 2019-12-03 华东师范大学 一种面向plc程序的自动化测试用例生成系统
JP7199754B2 (ja) * 2019-12-05 2023-01-06 株式会社アクセル 設計支援装置、設計支援方法、設計支援プログラム及び設計支援システム
CN111104205A (zh) * 2019-12-24 2020-05-05 浙江中控技术股份有限公司 一种st语言的解释执行方法及系统
EP3889703B1 (en) * 2020-03-31 2023-02-01 Mitsubishi Electric R&D Centre Europe B.V. Method and apparatus for expressing and verifying functional specifications of a programmable logic controller program
CN116615720A (zh) 2020-12-21 2023-08-18 发那科株式会社 梯形图程序解析装置
EP4047482A1 (en) * 2021-02-19 2022-08-24 Mitsubishi Electric R&D Centre Europe B.V. Improved checking of correctness of a plc program
CN114610622B (zh) * 2022-03-14 2024-05-28 浙江中控技术股份有限公司 一种系统功能块自动化测试分层设计方法及相关装置
DE102023203626A1 (de) * 2023-04-20 2024-10-24 Robert Bosch Gesellschaft mit beschränkter Haftung Verfahren zur Berücksichtigung einer Rückmeldung bei einem Softwaretest
US12608299B2 (en) 2023-07-13 2026-04-21 Cloudblue Llc System and method for automated unit test generation for programming source code

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
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 (ja) 1994-08-12 2000-03-13 横河電機株式会社 検証支援システム
JP2002099312A (ja) * 2000-09-22 2002-04-05 Mitsubishi Electric Corp プログラマブルコントローラおよび制御プログラム開発支援装置
US7003733B2 (en) * 2001-01-30 2006-02-21 Duemler David W Programmable logic controller programming system
US6857110B1 (en) * 2001-01-30 2005-02-15 Stretch, Inc. Design methodology for merging programmable logic into a custom IC
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 (zh) * 2003-07-09 2005-01-19 松下电器产业株式会社 程序生成装置
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 (ja) * 2004-01-29 2007-10-17 ファナック株式会社 数値制御装置
JP2007133622A (ja) 2005-11-10 2007-05-31 Hitachi Ltd エンジニアリングツール及びプログラム変換方法
KR100877572B1 (ko) * 2006-12-01 2009-01-08 윤성재 공정 시퀀스 변환 장치와 방법 및 이를 구현할 수 있는컴퓨터로 읽을 수 있는 기록 매체
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 (ja) * 2010-11-08 2012-05-31 Mitsubishi Electric Corp プログラム試験装置、プログラム試験方法およびプログラム試験用プログラム
JP4905597B1 (ja) * 2011-03-15 2012-03-28 オムロン株式会社 コントローラサポート装置、その装置において実行されるためのコントローラサポートプログラム、およびそのプログラムを格納する記録媒体
JP5962088B2 (ja) * 2012-03-15 2016-08-03 オムロン株式会社 Ｐｌｃシミュレーションシステム、ｐｌｃシミュレータ、制御プログラム、および記録媒体
WO2013161057A1 (ja) 2012-04-27 2013-10-31 株式会社日立製作所 ソースコード検査方法及び装置
US20140046457A1 (en) * 2012-07-05 2014-02-13 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 (ja) * 2014-03-13 2017-12-13 富士通株式会社 テストケース生成装置、方法、及びプログラム
US20160283353A1 (en) * 2015-03-23 2016-09-29 Tryon Solutions, Inc. Automated software testing
WO2016174743A1 (ja) * 2015-04-28 2016-11-03 株式会社日立製作所 ソースコード等価性検証装置、および、ソースコード等価性検証方法
KR101627769B1 (ko) * 2015-12-17 2016-06-08 주식회사 유디엠텍 Ｐｌｃ 제어 프로그램의 공용형식 변환장치 및 방법
DE102016105844A1 (de) * 2016-03-31 2017-10-05 Dspace Digital Signal Processing And Control Engineering Gmbh Verfahren zum Testen eines Steuerprogramms eines Steuergeräts in einer Simulationsumgebung auf einem Rechner

Also Published As

Publication number Publication date
JP6827340B2 (ja) 2021-02-10
JP2018133034A (ja) 2018-08-23
US10915438B2 (en) 2021-02-09
US20190391910A1 (en) 2019-12-26
WO2018151277A1 (ja) 2018-08-23

Similar Documents

Publication Publication Date Title
SG11201906881QA (en) Software-testing device, software-testing system, software-testing method, and program
ZA201807895B (en) Methods and systems for automatically generating a remedial action in an industrial facility
GB2543900A (en) Distributed big data in a process control system
EP3661147A4 (en) CONTROL METHOD, CONTROL APPARATUS AND CONTROL SYSTEM FOR INTELLIGENT DEVICE
EP3239793A4 (en) Method for generating robot operation program, and device for generating robot operation program
WO2015107865A3 (en) Method for determining power flow, method and system for solving optimal power flow problem
IL252494B (en) Method and apparatus for making an electronic vaporizer operating system, an electronic vaporizer programming language, and an electronic vaporizer programming interface implementation
EP3389162A4 (en) Power control device, operation plan planning method, and program
SG10201402805UA (en) Inactive gas supply facility and inactive gas supply method
GB201704078D0 (en) A device, computer program and method
MX2014012747A (es) Sistema de soldadura automatico.
PT3830539T (pt) Método de teste para testar a estanqueidade de um cabo e dispositivo de teste de estanqueidade para realizar o método
MX2020004293A (es) Dispositivo automatizado con una estructura movil cubierta sensorizada, en particular un robot.
EP3885937A4 (en) RESPONSE GENERATION DEVICE, RESPONSE GENERATION METHOD AND RESPONSE GENERATION PROGRAM
EP3125057A4 (en) System-analyzing device, analysis-model generation method, system analysis method, and system-analyzing program
GB202011579D0 (en) Software visualization device, software visualization method, and software visualization program
EP3568001A4 (en) METHOD AND ARRANGEMENT FOR CONTROLLING THE OPERATION OF A WOOD HANDLING DEVICE IN A WORKING MACHINE AND FORESTRY MACHINE
EP3777577C0 (en) AEROSOL GENERATION DEVICE, CONTROL METHOD AND PROGRAM
MX2016012732A (es) Metodo y sistema para realizar una accion en un dispositivo de puerta de enlace con base en un perfil de usuario.
EP3726437A4 (en) ERROR ANALYSIS DEVICE, ERROR ANALYSIS PROCEDURE AND ERROR ANALYSIS PROGRAM
PL3538703T3 (pl) Spektrometr, system zawierający spektrometr i urządzenie gospodarstwa domowego oraz sposób jego eksploatacji
GB2540065A (en) Nut and method for fixing an object to a building structure
PL3538702T3 (pl) Urządzenie gospodarstwa domowego z układem projekcji i sposób jego eksploatacji
MX2015011742A (es) Sistema interruptor de emergencia para un sistema de control de automatizacion y movimiento.
EP2930574A3 (en) Programming assist device for programmable logic controller program and programming assist method for the program