JP2018133034A5 - - Google Patents

Download PDF

Info

Publication number
JP2018133034A5
JP2018133034A5 JP2017027927A JP2017027927A JP2018133034A5 JP 2018133034 A5 JP2018133034 A5 JP 2018133034A5 JP 2017027927 A JP2017027927 A JP 2017027927A JP 2017027927 A JP2017027927 A JP 2017027927A JP 2018133034 A5 JP2018133034 A5 JP 2018133034A5
Authority
JP
Japan
Prior art keywords
general
program
purpose language
test
plc
Prior art date
Legal status (The legal status 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 status listed.)
Granted
Application number
JP2017027927A
Other languages
English (en)
Japanese (ja)
Other versions
JP6827340B2 (ja
JP2018133034A (ja
Filing date
Publication date
Application filed filed Critical
Priority to JP2017027927A priority Critical patent/JP6827340B2/ja
Priority claimed from JP2017027927A external-priority patent/JP6827340B2/ja
Priority to SG11201906881QA priority patent/SG11201906881QA/en
Priority to PCT/JP2018/005583 priority patent/WO2018151277A1/ja
Priority to US16/481,485 priority patent/US10915438B2/en
Publication of JP2018133034A publication Critical patent/JP2018133034A/ja
Publication of JP2018133034A5 publication Critical patent/JP2018133034A5/ja
Application granted granted Critical
Publication of JP6827340B2 publication Critical patent/JP6827340B2/ja
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

JP2017027927A 2017-02-17 2017-02-17 ソフトウェア試験装置、ソフトウェア試験システム、ソフトウェア試験方法およびプログラム Active JP6827340B2 (ja)

Priority Applications (4)

Application Number Priority Date Filing Date Title
JP2017027927A JP6827340B2 (ja) 2017-02-17 2017-02-17 ソフトウェア試験装置、ソフトウェア試験システム、ソフトウェア試験方法およびプログラム
SG11201906881QA SG11201906881QA (en) 2017-02-17 2018-02-16 Software-testing device, software-testing system, software-testing method, and program
PCT/JP2018/005583 WO2018151277A1 (ja) 2017-02-17 2018-02-16 ソフトウェア試験装置、ソフトウェア試験システム、ソフトウェア試験方法およびプログラム
US16/481,485 US10915438B2 (en) 2017-02-17 2018-02-16 Software-testing device, software-testing system, software-testing method, and program

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP2017027927A JP6827340B2 (ja) 2017-02-17 2017-02-17 ソフトウェア試験装置、ソフトウェア試験システム、ソフトウェア試験方法およびプログラム

Publications (3)

Publication Number Publication Date
JP2018133034A JP2018133034A (ja) 2018-08-23
JP2018133034A5 true JP2018133034A5 (https=) 2019-12-26
JP6827340B2 JP6827340B2 (ja) 2021-02-10

Family

ID=63170298

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2017027927A Active JP6827340B2 (ja) 2017-02-17 2017-02-17 ソフトウェア試験装置、ソフトウェア試験システム、ソフトウェア試験方法およびプログラム

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

Similar Documents

Publication Publication Date Title
JP2018133034A5 (https=)
JP6827340B2 (ja) ソフトウェア試験装置、ソフトウェア試験システム、ソフトウェア試験方法およびプログラム
JP2015011722A5 (https=)
MX2022007818A (es) Prueba de unidad de componentes de gráficos de flujo de datos.
JP2016528650A5 (https=)
JP2017138978A (ja) カバレッジに基づく設計モデル用自動テストケース拡張のためのシステムおよび方法
CN104793983A (zh) 用于模拟自动化工业设备的方法和模拟装置
KR101425527B1 (ko) 원자력발전소 훈련용 시뮬레이터의 실시간 중대사고 모의 시스템 및 그 방법
JP2020505670A5 (https=)
EP3385796A1 (en) Control device
JP6332154B2 (ja) プラント運転支援装置、プラント運転支援方法、及びプログラム
EP4404066A1 (en) Automated test generation
JP2017049801A5 (https=)
WO2016002417A1 (ja) テストケース生成システム及びテストケースを記録した記録媒体
JP2018189638A5 (https=)
CN106648818B (zh) 一种目标代码控制流图生成系统
JP2016151932A5 (https=)
US9946626B2 (en) Method and system for measuring a runtime by means of watchpoints
EP2988186B1 (en) Detection of consistent steady-state behavior in process plants
JP2018092374A5 (https=)
JP6124735B2 (ja) フィールド機器のパラメタ設定方法、フィールド機器およびパラメタ設定システム
Ammar et al. On the space-time separated representation of integral linear viscoelastic models
EA201792424A1 (ru) Сжатие модели
Marquis et al. Lost in translation: Language independence in propositional logic–application to belief change
Cheung et al. Structural identifiability analysis and reparameterisation (parameter reduction) of a cardiovascular feedback model