JP7113988B1 - データ照合装置、データ照合システム、及びデータ照合方法 - Google Patents

データ照合装置、データ照合システム、及びデータ照合方法 Download PDF

Info

Publication number
JP7113988B1
JP7113988B1 JP2021577648A JP2021577648A JP7113988B1 JP 7113988 B1 JP7113988 B1 JP 7113988B1 JP 2021577648 A JP2021577648 A JP 2021577648A JP 2021577648 A JP2021577648 A JP 2021577648A JP 7113988 B1 JP7113988 B1 JP 7113988B1
Authority
JP
Japan
Prior art keywords
data
expected value
value information
execution cycle
matching
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.)
Active
Application number
JP2021577648A
Other languages
English (en)
Japanese (ja)
Other versions
JPWO2022176054A1 (https=
JPWO2022176054A5 (https=
Inventor
瞬也 長谷川
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Mitsubishi Electric Corp
Original Assignee
Mitsubishi Electric Corp
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 Electric Corp filed Critical Mitsubishi Electric Corp
Application granted granted Critical
Publication of JP7113988B1 publication Critical patent/JP7113988B1/ja
Publication of JPWO2022176054A1 publication Critical patent/JPWO2022176054A1/ja
Publication of JPWO2022176054A5 publication Critical patent/JPWO2022176054A5/ja
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • 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
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/28—Error detection; Error correction; Monitoring by checking the correct order of processing

Landscapes

  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Engineering & Computer Science (AREA)
  • Automation & Control Theory (AREA)
  • Programmable Controllers (AREA)
JP2021577648A 2021-02-17 2021-02-17 データ照合装置、データ照合システム、及びデータ照合方法 Active JP7113988B1 (ja)

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
PCT/JP2021/005884 WO2022176054A1 (ja) 2021-02-17 2021-02-17 データ照合装置、データ照合システム、及びデータ照合方法

Publications (3)

Publication Number Publication Date
JP7113988B1 true JP7113988B1 (ja) 2022-08-05
JPWO2022176054A1 JPWO2022176054A1 (https=) 2022-08-25
JPWO2022176054A5 JPWO2022176054A5 (https=) 2023-01-23

Family

ID=82740437

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2021577648A Active JP7113988B1 (ja) 2021-02-17 2021-02-17 データ照合装置、データ照合システム、及びデータ照合方法

Country Status (4)

Country Link
JP (1) JP7113988B1 (https=)
CN (1) CN116710858B (https=)
DE (1) DE112021005655B4 (https=)
WO (1) WO2022176054A1 (https=)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP7840498B1 (ja) * 2024-12-18 2026-04-03 三菱電機株式会社 シミュレーションシステム、シミュレーション方法およびシミュレーションプログラム

Families Citing this family (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN118672202B (zh) * 2024-07-25 2026-03-17 哈尔滨宇龙自动化有限公司 一种plc控制器数据收发调节方法及系统

Citations (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPS6368904A (ja) * 1986-09-10 1988-03-28 Asahi Chem Ind Co Ltd プログラマブルコントロ−ラのチエツク方法及び装置
JPH0511835A (ja) * 1991-07-08 1993-01-22 Omron Corp 故障診断装置
JPH05189026A (ja) * 1991-06-25 1993-07-30 Matsushita Electric Works Ltd 設備故障診断方法
JPH1097318A (ja) * 1996-09-20 1998-04-14 Matsushita Electric Works Ltd 自動化設備システムに於ける異常診断基準パターンの作成方法およびその基準パターンを用いた自動診断装置
JPH10254510A (ja) * 1997-03-07 1998-09-25 Meidensha Corp シーケンサ
JP2002163020A (ja) * 2000-11-27 2002-06-07 Matsushita Electric Works Ltd プログラマブルコントローラにおける異常検出方法およびその装置

Family Cites Families (7)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5951704A (en) * 1997-02-19 1999-09-14 Advantest Corp. Test system emulator
JP4550641B2 (ja) 2005-03-30 2010-09-22 大陽日酸エンジニアリング株式会社 データ照合装置及び方法
CN103246596A (zh) * 2012-02-06 2013-08-14 镇江灵芯软件实验室有限公司 一种对基于时间控制的plc程序自动测试的方法
CN104881363B (zh) * 2015-06-24 2017-12-12 中国航空工业集团公司西安飞机设计研究所 一种控制律软件的测试方法
JP6770802B2 (ja) * 2015-12-28 2020-10-21 川崎重工業株式会社 プラント異常監視方法およびプラント異常監視用のコンピュータプログラム
DE112017003607T5 (de) * 2017-06-23 2019-05-02 Mitsubishi Electric Corporation Programmverifikationssystem, Steuervorrichtung und Programmverifikationsverfahren
CN110471394B (zh) * 2019-07-30 2020-10-20 中车青岛四方机车车辆股份有限公司 任务测试方法及装置、系统、存储介质和处理器

Patent Citations (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPS6368904A (ja) * 1986-09-10 1988-03-28 Asahi Chem Ind Co Ltd プログラマブルコントロ−ラのチエツク方法及び装置
JPH05189026A (ja) * 1991-06-25 1993-07-30 Matsushita Electric Works Ltd 設備故障診断方法
JPH0511835A (ja) * 1991-07-08 1993-01-22 Omron Corp 故障診断装置
JPH1097318A (ja) * 1996-09-20 1998-04-14 Matsushita Electric Works Ltd 自動化設備システムに於ける異常診断基準パターンの作成方法およびその基準パターンを用いた自動診断装置
JPH10254510A (ja) * 1997-03-07 1998-09-25 Meidensha Corp シーケンサ
JP2002163020A (ja) * 2000-11-27 2002-06-07 Matsushita Electric Works Ltd プログラマブルコントローラにおける異常検出方法およびその装置

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP7840498B1 (ja) * 2024-12-18 2026-04-03 三菱電機株式会社 シミュレーションシステム、シミュレーション方法およびシミュレーションプログラム

Also Published As

Publication number Publication date
JPWO2022176054A1 (https=) 2022-08-25
CN116710858B (zh) 2024-05-03
DE112021005655T5 (de) 2023-08-10
WO2022176054A1 (ja) 2022-08-25
DE112021005655B4 (de) 2025-09-18
CN116710858A (zh) 2023-09-05

Similar Documents

Publication Publication Date Title
JP5874891B2 (ja) プログラムテスト装置、プログラムテスト方法、およびプログラム
JP7113988B1 (ja) データ照合装置、データ照合システム、及びデータ照合方法
US5901073A (en) Method for detecting errors in models through restriction
US20110145799A1 (en) Path-sensitive dataflow analysis including path refinement
JP2017049627A (ja) 検証システム、検証装置、及び、車両制御装置
US11151475B2 (en) Method and device for generating a machine learning system and virtual sensor device
US20220358269A1 (en) Simulation execution system, simulation execution method, and computer readable medium
US20020143503A1 (en) Method and apparatus for analyzing a design
KR20130139221A (ko) 반도체 프로세스 레시피들의 자동화된 검증을 위한 방법 및 장치
JP2016149123A (ja) 未知のバイナリモジュールのための有効な入力を決定する方法及び非一時的なコンピュータ可読媒体
JP6723483B2 (ja) テストケース生成装置、テストケース生成方法およびテストケース生成プログラム
US20250130928A1 (en) Automated generation of test code for testing embedded software
CN111104334B (zh) 基于eeprom模块接口软件的测试方法、装置及可读取存储介质
US7532526B2 (en) Method and system for testing address lines
KR101968544B1 (ko) 소프트웨어 취약점 검출 방법 및 장치
JP2015069400A (ja) ソフトウェアテストシステム
US20050149806A1 (en) Failure detection simulation system
US20160070846A1 (en) System for testing ic design
JP4952317B2 (ja) 退避データ判別方法、退避データ判別プログラムおよび退避データ判別装置
US11531764B2 (en) Assessing operational stability of computer system by integrity checking of computer program
US20100077383A1 (en) Simulation method and storage medium for storing program
JP6923569B2 (ja) テストパターン生成装置
US20100293018A1 (en) Test Model Abstraction For Testability in Product Line Engineering
KR100600303B1 (ko) 플래쉬 메모리 소자의 페이지 프로그램 방법
JP2009223861A (ja) 論理検証システム

Legal Events

Date Code Title Description
A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20211227

A621 Written request for application examination

Free format text: JAPANESE INTERMEDIATE CODE: A621

Effective date: 20211227

A871 Explanation of circumstances concerning accelerated examination

Free format text: JAPANESE INTERMEDIATE CODE: A871

Effective date: 20211227

A131 Notification of reasons for refusal

Free format text: JAPANESE INTERMEDIATE CODE: A131

Effective date: 20220301

A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20220422

TRDD Decision of grant or rejection written
A01 Written decision to grant a patent or to grant a registration (utility model)

Free format text: JAPANESE INTERMEDIATE CODE: A01

Effective date: 20220628

A61 First payment of annual fees (during grant procedure)

Free format text: JAPANESE INTERMEDIATE CODE: A61

Effective date: 20220726

R150 Certificate of patent or registration of utility model

Ref document number: 7113988

Country of ref document: JP

Free format text: JAPANESE INTERMEDIATE CODE: R150

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250