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

Families Citing this family (8)

* 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 (zh) * 2019-08-05 2019-12-03 华东师范大学 一种面向plc程序的自动化测试用例生成系统
CN110515840A (zh) * 2019-08-05 2019-11-29 华东师范大学 一种面向plc程序的自动化测试用例生成方法
JP7199754B2 (ja) * 2019-12-05 2023-01-06 株式会社アクセル 設計支援装置、設計支援方法、設計支援プログラム及び設計支援システム
CN111104205A (zh) * 2019-12-24 2020-05-05 浙江中控技术股份有限公司 一种st语言的解释执行方法及系统
US20240028333A1 (en) 2020-12-21 2024-01-25 Fanuc Corporation Ladder program analysis device
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 浙江中控技术股份有限公司 一种系统功能块自动化测试分层设计方法及相关装置

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 (de) * 1992-01-23 1999-09-09 Mitsubishi Denki K.K. Speicherprogrammierbare Steuerung
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 プログラマブルコントローラおよび制御プログラム開発支援装置
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 (zh) * 2003-07-09 2005-01-19 松下电器产业株式会社 程序生成装置
US8051410B2 (en) * 2003-12-15 2011-11-01 Evolveware, Inc. 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 株式会社日立製作所 ソースコード検査方法及び装置
CA2878473A1 (en) * 2012-07-05 2014-01-09 Wesson TABER System and related method to facilitate process control
CN104781817A (zh) * 2012-09-18 2015-07-15 西门子公司 多个可编程逻辑控制器仿真器
JP6245006B2 (ja) * 2014-03-13 2017-12-13 富士通株式会社 テストケース生成装置、方法、及びプログラム
US20160283353A1 (en) * 2015-03-23 2016-09-29 Tryon Solutions, Inc. Automated software testing
US20180181485A1 (en) 2015-04-28 2018-06-28 Hitachi, Ltd. Source code equivalence verification device and source code equivalence verification method
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
US10915438B2 (en) 2021-02-09
JP2018133034A (ja) 2018-08-23
WO2018151277A1 (ja) 2018-08-23
JP6827340B2 (ja) 2021-02-10
US20190391910A1 (en) 2019-12-26

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, TESTING AND CONTROL SYSTEM
EP3828819A4 (en) AUTOMATIC LEARNING MODEL GENERATION DEVICE, PROCESS, PROGRAM, INSPECTION DEVICE, INSPECTION PROCESS AND PRINTING DEVICE
EP3385889A4 (en) ANOMALY DETECTION SYSTEM, ANOMALY DETECTION METHOD, ANOMALY DETECTION PROGRAM, AND APPRIS MODEL GENERATION METHOD
EP3474136A4 (en) METHOD AND APPARATUS FOR USE IN CONVERTING PROGRAMMING OF BUILDING BLOCKS INTO PROGRAM CODE
EP3744194A4 (en) AEROSOL GENERATING DEVICE AND METHOD AND PROGRAM FOR OPERATING THEREOF
EP3779727A4 (en) HAZARDOUS BEHAVIOR PREDICTION DEVICE, PREDICTION MODEL GENERATION DEVICE, AND HAZARDOUS BEHAVIOR PREDICTION PROGRAM
EP3021185A3 (en) Process control system and configuration system
GB2543900A (en) Distributed big data in a process control system
WO2015107865A3 (en) Method for determining power flow, method and system for solving optimal power flow problem
EP3002646A3 (en) Virtual design engineering
EP3239793A4 (en) Method for generating robot operation program, and device for generating robot operation program
SG10201402805UA (en) Inactive gas supply facility and inactive gas supply method
WO2015181389A3 (en) Integrated circuit verification using parameterized configuration
EP3528072A4 (en) METHOD FOR MONITORING AN OPERATING STATUS AND DEVICE, METHOD AND PROGRAM FOR GENERATING LEARNING DATA
EP3701815A4 (en) AEROSOL GENERATION DEVICE, AND ASSOCIATED PROCESS AND OPERATING PROGRAM
EP3780003A4 (en) PREDICTION SYSTEM, MODEL GENERATION SYSTEM, PROCEDURE AND PROGRAM
EP3811801A4 (en) AEROSOL GENERATING DEVICE AND METHOD AND PROGRAM FOR OPERATING THEREOF
EP3913550A4 (en) MODEL GENERATION DEVICE, MODEL GENERATION METHOD, MODEL GENERATION PROGRAM, MODEL GENERATION SYSTEM, INSPECTION SYSTEM AND MONITORING SYSTEM
IN2015DE01249A (ja)
IL268893A (en) Method, command, device and program to determine at least one brain network involved in carrying out a given process
PL3538703T3 (pl) Spektrometr, system zawierający spektrometr i urządzenie gospodarstwa domowego oraz sposób jego eksploatacji
EP3777576A4 (en) AEROSOL GENERATING DEVICE, CONTROL PROCEDURE AND PROGRAM
EP3777574A4 (en) AEROSOL GENERATION DEVICE, CONTROL PROCESS AND PROGRAM
EP3258328A4 (en) Plc control data generation device, plc control data generation method, and plc control data generation program