JP5048748B2 - 試験テーブル生成装置及び試験テーブル生成方法 - Google Patents
試験テーブル生成装置及び試験テーブル生成方法 Download PDFInfo
- Publication number
- JP5048748B2 JP5048748B2 JP2009287605A JP2009287605A JP5048748B2 JP 5048748 B2 JP5048748 B2 JP 5048748B2 JP 2009287605 A JP2009287605 A JP 2009287605A JP 2009287605 A JP2009287605 A JP 2009287605A JP 5048748 B2 JP5048748 B2 JP 5048748B2
- Authority
- JP
- Japan
- Prior art keywords
- input
- value
- signal line
- point
- output
- 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
Links
- 238000012360 testing method Methods 0.000 title claims description 153
- 238000000034 method Methods 0.000 title claims description 109
- 238000003860 storage Methods 0.000 claims description 49
- 238000004458 analytical method Methods 0.000 claims description 27
- 238000001514 detection method Methods 0.000 claims description 20
- 238000012795 verification Methods 0.000 claims description 8
- 238000004364 calculation method Methods 0.000 claims description 6
- 238000004088 simulation Methods 0.000 claims description 5
- 238000010586 diagram Methods 0.000 description 24
- 238000012545 processing Methods 0.000 description 22
- 230000002159 abnormal effect Effects 0.000 description 16
- 101100256253 Arabidopsis thaliana SCAR2 gene Proteins 0.000 description 13
- 101100424896 Caenorhabditis elegans ttb-1 gene Proteins 0.000 description 13
- 230000006870 function Effects 0.000 description 12
- 238000012544 monitoring process Methods 0.000 description 9
- 230000003068 static effect Effects 0.000 description 7
- 101100518559 Homo sapiens OTUB1 gene Proteins 0.000 description 4
- 101100462419 Homo sapiens OTUB2 gene Proteins 0.000 description 4
- 102100040461 Ubiquitin thioesterase OTUB1 Human genes 0.000 description 4
- 102100025914 Ubiquitin thioesterase OTUB2 Human genes 0.000 description 4
- 238000004891 communication Methods 0.000 description 3
- 239000000284 extract Substances 0.000 description 3
- 238000004519 manufacturing process Methods 0.000 description 3
- 238000011144 upstream manufacturing Methods 0.000 description 3
- 238000009826 distribution Methods 0.000 description 2
- 238000000605 extraction Methods 0.000 description 2
- 239000010865 sewage Substances 0.000 description 2
- 239000000126 substance Substances 0.000 description 2
- XLYOFNOQVPJJNP-UHFFFAOYSA-N water Substances O XLYOFNOQVPJJNP-UHFFFAOYSA-N 0.000 description 2
- 230000006399 behavior Effects 0.000 description 1
- 238000006243 chemical reaction Methods 0.000 description 1
- 230000007547 defect Effects 0.000 description 1
- 230000001419 dependent effect Effects 0.000 description 1
- 230000003993 interaction Effects 0.000 description 1
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
- G05B23/00—Testing or monitoring of control systems or parts thereof
- G05B23/02—Electric testing or monitoring
- G05B23/0205—Electric testing or monitoring by means of a monitoring system capable of detecting and responding to faults
- G05B23/0208—Electric testing or monitoring by means of a monitoring system capable of detecting and responding to faults characterized by the configuration of the monitoring system
- G05B23/0213—Modular or universal configuration of the monitoring system, e.g. monitoring system having modules that may be combined to build monitoring program; monitoring system that can be applied to legacy systems; adaptable monitoring system; using different communication protocols
-
- 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/20—Pc systems
- G05B2219/24—Pc safety
- G05B2219/24056—Portable, detachable module to input test signals, read test results
-
- 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/20—Pc systems
- G05B2219/26—Pc applications
- G05B2219/2604—Test of external equipment
Description
Diagram)で記述され、例えば図4のように表現される。演算素子と信号線で表現した処理内容は、例えば図3のように表現される。本発明では以降、信号線とそれらを処理する演算素子から構成される図面をロジック図面と呼ぶ。
図1は本発明の実施の形態1による試験テーブル生成装置の構成を示す図である。図1の試験テーブル生成装置は、ロジック図面格納装置1、入力仕様格納装置2、入力点照合部3、信号線追跡部4、演算素子検出部5、出力値生成部6、出力点記憶部7、入力値生成部8、テーブル生成部9、試験テーブル格納装置10を備える。入力点照合部3は、ロジック図面格納装置1からロジック図面を取得し、入力仕様格納装置2から入力仕様を取得して、両者に記載されている入力点の照合を行い、図面上に記載されている入力点を発見する。
有するので、入力仕様ITB1の入力点をロジック図面LG1から正確に検出し、照合することができる。
ル生成の説明を行ったが、このような単純なケースに限定されるものではない。信号線追跡部4は各々分岐を追跡して演算素子検出部5が演算素子を検出する。例えば、モジュール内での動作が大規模になると、一枚の図面に挙動を記述することが困難になり、複数の図面によって表現することが多い。そのとき、各図面中においては、他の図面からの信号、他の図面への信号をシンボルで表す。信号線追跡部4は信号線の追跡中にそれらのシンボルが現れた場合、複数の図面にまたがって信号線の追跡を行う。
実施の形態2では、2入力以上の演算素子を有する複雑なロジック図面で記述されたモジュールに対する試験テーブル生成方法を説明する。図13は、実施の形態2によるモジュール50a(図2参照)のロジック図面の例を示す図である。図13に示した処理は、装置51aの所定箇所の温度が異常の場合に、設定条件に合わせた警報信号を生成する処理である。図13のロジック図面LG2では、演算素子を14個使用した例である。ロジック図面LG2は、5つの入力点21、31、43、40、42と、2つの出力点25、28を有する。
」)の種別「下限」、及び図11の出力値情報OTB3から、出力値「1」が得られる。ステップS204において出力値「1」を値の行に追加する。以下、ステップS205、S508により全ての入力値、全ての出力点に対して値の行が求められ、試験テーブルTTB2が生成される。本実施例で生成される試験テーブルTTB2を図19に示す。図19は、実施の形態2によるテーブル生成部9が生成する試験テーブルの例である。試験テーブル格納装置10はテーブル生成部9が生成した試験テーブルTTB2を格納する。
実施の形態2のロジック図面LG2では設定条件の入力点が2つの場合で説明したが、多くの設定条件の入力点がある等の複雑なロジック図面で記述されたモジュールに対する試験テーブル生成方法を説明する。演算素子に直接的または間接的に入力となる全ての入力点の集合を一つ求めることで、試験を行うのに十分な試験テーブルを生成する。図20は、実施の形態3によるモジュール50a(図2参照)のロジック図面の例を示す図である。図20に示した処理は、装置51aの所定箇所の温度が異常の場合に、設定条件に合わせた警報信号を生成する処理である。図20のロジック図面LG3では、設定条件部分の演算素子を多数使用した例である。ロジック図面LG3は、7つの入力点21、31、43、802、803、804、805と、2つの出力点25、28を有する。実施の形態2のロジック図面LG2(図13)とは、信号線37へ設定条件信号を生成する論理が複雑になっている点で異なる。
条件を満たす入力条件を生成できない旨を通知し、処理を終了する。
Claims (6)
- 演算を行う演算素子と前記演算素子を接続する信号線により構成されたロジック図面を用いて記述された処理の試験を行う際に、アナログ値である入力値と前記処理の出力の期待値を含む試験テーブルを生成する試験テーブル生成装置であって、
前記ロジック図面は、前記アナログ値が入力され離散値を出力し、前記アナログ値と比較し前記離散値を決定する閾値を有する特徴的な演算素子を含み、
ロジック図面格納装置に格納された前記ロジック図面を解析するロジック図面解析部と、前記ロジック図面解析部が導出した前記ロジック図面の入力点と、入力仕様格納装置に格納された前記ロジック図面の入力仕様とに基づいて、前記アナログ値を区分した入力値種別毎に前記入力値を生成する入力値生成部と、
前記ロジック図面解析部が導出した演算素子の種別に対応する出力点毎に、前記入力値生成部で生成した前記入力値に対して前記ロジック図面解析部が前記特徴的な演算素子の前記閾値と前記特徴的な演算素子から下流の出力点とに基づき導出した出力点の種別を当該出力点に対応させて、前記期待値を生成する出力値生成部と、
前記入力値生成部が生成した前記入力値と前記出力値生成部が生成した前記期待値に基づいて、試験テーブルを生成するテーブル生成部と、を備え、
前記ロジック図面解析部は、前記信号線の追跡中に検出された前記演算素子が2入力以上の演算素子である場合に、当該追跡中の信号線が接続させた入力と異なる他の入力から、信号の向きとは逆方向に信号線を辿り、前記他の入力につながる入力点を検出し、当該演算素子における当該追跡中の信号線が接続された入力の値と出力とが等しくなるように決定された前記入力点の値を含む入力条件情報を生成し、
前記テーブル生成部は、前記入力条件情報を基に試験条件を決定し、前記試験条件と前記入力値生成部が生成した前記入力値と前記出力値生成部が生成した期待値とに基づいて、試験テーブルを生成することを特徴とした試験テーブル生成装置。 - 前記ロジック図面解析部は、前記ロジック図面の前記入力点を起点とした信号線を追跡する信号線追跡部と、前記信号線追跡部が追跡した前記信号線に接続された演算素子を検出する演算素子検出部とを有することを特徴とした請求項1に記載の試験テーブル生成装置。
- 前記ロジック図面解析部は、前記ロジック図面の入力点と前記入力仕様に記載された入
力点を照合し、前記入力仕様に記載された入力点に該当する前記ロジック図面の入力点を検出する入力点照合部を有することを特徴とした請求項1または2に記載の試験テーブル生成装置。 - 前記ロジック図面解析部は、前記逆向きに信号線を辿る過程で検出した演算素子に対して、当該演算素子に直接的または間接的に入力となる全ての入力点の集合を求め、前記集合の入力点に組み合わせ可能な値を代入して論理シミュレーションを行い、
前記制約条件を満たす前記入力点の値を含む前記入力条件情報を生成することを特徴とした請求項1に記載の試験テーブル生成装置。 - 前記制約条件は、前記2入力以上の演算素子における前記追跡中の信号線の値と当該2入力以上の演算素子の出力の値が等しくなるように、前記他の入力の値が選ばれることである請求項1または4に記載の試験テーブル生成装置。
- 演算を行う演算素子と前記演算素子を接続する信号線により構成されたロジック図面を用いて記述された処理の試験を行う際に、アナログ値である入力値と前記処理の出力の期待値を含む試験テーブルを生成する試験テーブル生成方法であって、
前記ロジック図面は、前記アナログ値が入力され離散値を出力し、前記アナログ値と比較し前記離散値を決定する閾値を有する特徴的な演算素子を含んでおり、
前記ロジック図面を解析して導出した前記ロジック図面の入力点と、前記ロジック図面の入力仕様とに基づいて、前記アナログ値を区分した入力値種別毎に前記入力値を生成する入力値生成手順と、
前記ロジック図面を解析して導出した演算素子の種別に対応する出力点毎に、前記入力値生成手順で生成した前記入力値に対して前記特徴的な演算素子の前記閾値と前記特徴的な演算素子から下流の出力点とに基づき導出した出力点の種別を当該出力点に対応させて、前記期待値を生成する出力値生成手順と、
前記信号線の追跡中に検出された前記演算素子が2入力以上の演算素子である場合に、当該追跡中の信号線が接続させた入力と異なる他の入力から、信号の向きとは逆方向に信号線を辿り、前記他の入力につながる入力点を検出し、当該演算素子における当該追跡中の信号線が接続された入力の値と出力とが等しくなるように決定された前記入力点の値を含む入力条件情報を生成する入力情報生成手順と、
前記入力情報生成手順で生成した前記入力条件情報に基づいて決定した試験条件と、前記入力値生成手順で生成した前記入力値と、前記出力値生成手順で生成した前記期待値とに基づいて、試験テーブルを生成するテーブル生成手順と、を含む試験テーブル生成方法。
Priority Applications (3)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2009287605A JP5048748B2 (ja) | 2009-12-18 | 2009-12-18 | 試験テーブル生成装置及び試験テーブル生成方法 |
US12/796,742 US8401813B2 (en) | 2009-12-18 | 2010-06-09 | Test table creation system and test table creation method |
CN201010243739.7A CN102103589B (zh) | 2009-12-18 | 2010-07-28 | 试验表格生成装置以及试验表格生成方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2009287605A JP5048748B2 (ja) | 2009-12-18 | 2009-12-18 | 試験テーブル生成装置及び試験テーブル生成方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2011128951A JP2011128951A (ja) | 2011-06-30 |
JP5048748B2 true JP5048748B2 (ja) | 2012-10-17 |
Family
ID=44152303
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2009287605A Active JP5048748B2 (ja) | 2009-12-18 | 2009-12-18 | 試験テーブル生成装置及び試験テーブル生成方法 |
Country Status (3)
Country | Link |
---|---|
US (1) | US8401813B2 (ja) |
JP (1) | JP5048748B2 (ja) |
CN (1) | CN102103589B (ja) |
Families Citing this family (7)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2013228829A (ja) * | 2012-04-25 | 2013-11-07 | Mitsubishi Electric Corp | 試験密度表示装置 |
GB2504540A (en) * | 2012-08-02 | 2014-02-05 | Ibm | Pattern matching physiological parameters |
CN104520778B (zh) * | 2012-08-08 | 2016-10-05 | 三菱电机株式会社 | 逻辑图错误位置推测装置及其方法 |
CN104020756B (zh) * | 2014-05-22 | 2017-05-03 | 国电南瑞科技股份有限公司 | 一种故障诊断系统的逻辑网络拓扑排序和存储方法 |
WO2017115162A1 (en) * | 2015-12-31 | 2017-07-06 | Abb Schweiz Ag | Method and system for testing distributed control systems of industrial plants |
US11586517B1 (en) * | 2022-01-27 | 2023-02-21 | International Business Machines Corporation | Automated internet of things device testing including modifying a device table to generate an association table |
JP2024011851A (ja) * | 2022-07-15 | 2024-01-25 | オムロン株式会社 | 制御プログラム編集装置、編集方法、およびプログラム |
Family Cites Families (9)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH0334055A (ja) * | 1989-06-30 | 1991-02-14 | Toshiba Corp | 自動検査装置およびシミュレーション装置 |
JP3221184B2 (ja) * | 1993-10-13 | 2001-10-22 | 株式会社日立製作所 | 故障診断装置および方法 |
KR100359965B1 (ko) * | 1995-04-11 | 2003-03-15 | 캐논 가부시끼가이샤 | 프로세서와이의연산방법 및 데이타프로세서 |
JPH11219208A (ja) * | 1998-02-04 | 1999-08-10 | Hitachi Ltd | 計算機自動化用プラントテーブル自動生成装置 |
JP2001273169A (ja) * | 2000-03-24 | 2001-10-05 | Toshiba Corp | プログラムテスト仕様書生成装置 |
JP4747034B2 (ja) | 2006-05-29 | 2011-08-10 | 富士通株式会社 | 検証シナリオ作成プログラム、記録媒体、検証シナリオ作成装置および検証シナリオ作成方法 |
JP4850091B2 (ja) | 2007-02-23 | 2012-01-11 | 富士通株式会社 | 検証シナリオ生成装置,方法,およびプログラム,並びに検証装置 |
JP4946588B2 (ja) | 2007-04-17 | 2012-06-06 | 富士通株式会社 | 検証支援プログラム、該プログラムを記録した記録媒体、検証支援装置、および検証支援方法 |
CN101587445A (zh) | 2009-06-19 | 2009-11-25 | 国网电力科学研究院 | 一种plc编译执行方法 |
-
2009
- 2009-12-18 JP JP2009287605A patent/JP5048748B2/ja active Active
-
2010
- 2010-06-09 US US12/796,742 patent/US8401813B2/en active Active
- 2010-07-28 CN CN201010243739.7A patent/CN102103589B/zh active Active
Also Published As
Publication number | Publication date |
---|---|
US20110153258A1 (en) | 2011-06-23 |
US8401813B2 (en) | 2013-03-19 |
CN102103589A (zh) | 2011-06-22 |
JP2011128951A (ja) | 2011-06-30 |
CN102103589B (zh) | 2014-04-16 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN108983710B (zh) | 工序分析装置、工序分析方法以及存储介质 | |
JP5048748B2 (ja) | 試験テーブル生成装置及び試験テーブル生成方法 | |
US11216741B2 (en) | Analysis apparatus, analysis method, and non-transitory computer readable medium | |
JP2021064370A (ja) | デジタル・ツイン・シミュレーション・データを利用した時系列データに基づく、大規模な産業用監視システム向けの半教師あり深層異常検出のための方法およびシステム | |
US8577649B2 (en) | Anomaly detecting apparatus | |
JP5489958B2 (ja) | 試験テーブル生成装置及びその方法 | |
JP2018206362A (ja) | 工程解析装置、工程解析方法、及び工程解析プログラム | |
JP2019028929A (ja) | プリプロセッサおよび異常予兆診断システム | |
EP3696693A1 (en) | Method and apparatus for monitoring state of device in process industry and medium | |
CN105793789A (zh) | 用于过程单元中的全部过程区段的自动的监视和状态确定的计算机实现的方法和系统 | |
US20190129397A1 (en) | Causal relation model building system and method thereof | |
CN115407728A (zh) | 信息处理装置、预测方法和计算机可读存储介质 | |
Kang et al. | CPS-based fault-tolerance method for smart factories: Simulation-based framework and fault management application | |
JP5911581B2 (ja) | ロジック図面誤り箇所推定装置及びその方法 | |
WO2009016090A1 (en) | A method and relative device for the management of technological recipe information to aid in defining process flows, in particular for the development and production of micro- and nanotechnology devices in cleanroom laboratories | |
Solomentsev et al. | Diagnostics programs efficiency analysis in operation system of radioelectronic eguipment | |
JP7360925B2 (ja) | 分析システム | |
CN116880372A (zh) | 数字孪生工厂的运行优化方法及系统 | |
JP5907857B2 (ja) | ロジック図面及び試験テーブル作成装置 | |
CN107958089A (zh) | 构建模型的方法和装置以及异常数据的检测方法和装置 | |
JP2015230576A (ja) | プラント診断用データ作成システム | |
US11630451B2 (en) | Analysis device, analysis method, and non-transitory computer readable storage medium | |
US11669082B2 (en) | Online fault localization in industrial processes without utilizing a dynamic system model | |
EP3048613A1 (en) | Method for analysis of plant disturbance propagations | |
de Castro et al. | Distributed identification of discrete-event systems with the aim of fault detection |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20111012 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20111018 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20111209 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20120424 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20120614 |
|
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: 20120710 |
|
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20120719 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20150727 Year of fee payment: 3 |
|
R151 | Written notification of patent or utility model registration |
Ref document number: 5048748 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R151 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |