JP6366811B2 - 検査装置、検査方法、及び、プログラム - Google Patents
検査装置、検査方法、及び、プログラム Download PDFInfo
- Publication number
- JP6366811B2 JP6366811B2 JP2017501572A JP2017501572A JP6366811B2 JP 6366811 B2 JP6366811 B2 JP 6366811B2 JP 2017501572 A JP2017501572 A JP 2017501572A JP 2017501572 A JP2017501572 A JP 2017501572A JP 6366811 B2 JP6366811 B2 JP 6366811B2
- Authority
- JP
- Japan
- Prior art keywords
- inspection
- communication
- test
- test data
- configuration information
- 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
Images
Classifications
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L69/00—Network arrangements, protocols or services independent of the application payload and not provided for in the other groups of this subclass
- H04L69/40—Network arrangements, protocols or services independent of the application payload and not provided for in the other groups of this subclass for recovering from a failure of a protocol instance or entity, e.g. service redundancy protocols, protocol state redundancy or protocol service redirection
Landscapes
- Engineering & Computer Science (AREA)
- Computer Security & Cryptography (AREA)
- Computer Networks & Wireless Communication (AREA)
- Signal Processing (AREA)
- Testing And Monitoring For Control Systems (AREA)
- Maintenance And Management Of Digital Transmission (AREA)
Description
システムの動作を動作モデルを用いて検査する検査装置であって
通信可能な実際の機器を検出し、検出した当該実際の機器と前記動作モデルとの組み合わせを規定する試験構成情報を生成する構成情報生成部と、
生成された前記試験構成情報と、予め規定された通信シーケンスとに基づいて、試験データを生成する生成部と、
生成された前記試験データに従って、前記動作モデル及び前記実際の機器に対する検査を実行する検査実行部と、を備え、
前記生成部は、前記動作モデルだけを用いて検査する際の通信シーケンスを規定したモデル検査用ソースコードと、前記試験構成情報とに基づいて、前記実際の機器を含んだシステムを検査するための試験データを生成し、
前記検査実行部は、前記試験データに規定された通信シーケンスに応じて、通信処理を行う検査を実行する。
上記の実施形態では、ユーザが入力部11から、図2に示すような試験構成情報111を入力する場合について説明したが、このような試験構成情報111を自動的に生成するようにしてもよい。以下、図8を参照して、試験構成情報111を自動的に生成することを特徴とする設備機器試験支援システム3について、簡単に説明する。
Claims (5)
- システムの動作を動作モデルを用いて検査する検査装置であって、
通信可能な実際の機器を検出し、検出した当該実際の機器と前記動作モデルとの組み合わせを規定する試験構成情報を生成する構成情報生成部と、
生成された前記試験構成情報と、予め規定された通信シーケンスとに基づいて、試験データを生成する生成部と、
生成された前記試験データに従って、前記動作モデル及び前記実際の機器に対する検査を実行する検査実行部と、を備え、
前記生成部は、前記動作モデルだけを用いて検査する際の通信シーケンスを規定したモデル検査用ソースコードと、前記試験構成情報とに基づいて、前記実際の機器を含んだシステムを検査するための試験データを生成し、
前記検査実行部は、前記試験データに規定された通信シーケンスに応じて、通信処理を行う検査を実行する、
検査装置。 - 前記検査実行部は、前記試験データに規定された通信シーケンスにおける通信元及び通信先の何れかに前記実際の機器が含まれる場合に、前記実際の機器が接続された通信部を用いて検査を実行する、
請求項1に記載の検査装置。 - 前記生成部は、前記モデル検査用ソースコードに規定された通信シーケンスにおける通信元及び通信先の情報を、前記試験構成情報に従って前記実際の機器の情報に置き換えた前記試験データを生成する、
請求項1又は2に記載の検査装置。 - システムの動作を動作モデルを用いて検査する検査方法であって、
通信可能な実際の機器を検出し、検出した当該実際の機器と前記動作モデルとの組み合わせを規定する試験構成情報を生成する構成情報生成ステップと、
生成された前記試験構成情報と、予め規定された通信シーケンスとに基づいて、試験データを生成する生成ステップと、
生成された前記試験データに従って、前記動作モデル及び前記実際の機器に対する検査を実行する検査実行ステップと、を備え、
前記生成ステップでは、前記動作モデルだけを用いて検査する際の通信シーケンスを規定したモデル検査用ソースコードと、前記試験構成情報とに基づいて、前記実際の機器を含んだシステムを検査するための試験データを生成し、
前記検査実行ステップでは、前記試験データに規定された通信シーケンスに応じて、通信処理を行う検査を実行する、
検査方法。 - システムの動作を動作モデルを用いて検査するコンピュータを、
通信可能な実際の機器を検出し、検出した当該実際の機器と前記動作モデルとの組み合わせを規定する試験構成情報を生成する構成情報生成部、
生成された前記試験構成情報と、予め規定された通信シーケンスとに基づいて、試験データを生成する生成部、
生成された前記試験データに従って、前記動作モデル及び前記実際の機器に対する検査を実行する検査実行部、として機能させ、
前記生成部は、前記動作モデルだけを用いて検査する際の通信シーケンスを規定したモデル検査用ソースコードと、前記試験構成情報とに基づいて、前記実際の機器を含んだシステムを検査するための試験データを生成し、
前記検査実行部は、前記試験データに規定された通信シーケンスに応じて、通信処理を行う検査を実行する、
ように機能させるプログラム。
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
PCT/JP2015/055027 WO2016135821A1 (ja) | 2015-02-23 | 2015-02-23 | 検査装置、検査方法、及び、プログラム |
Publications (2)
Publication Number | Publication Date |
---|---|
JPWO2016135821A1 JPWO2016135821A1 (ja) | 2017-08-31 |
JP6366811B2 true JP6366811B2 (ja) | 2018-08-01 |
Family
ID=56788066
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2017501572A Active JP6366811B2 (ja) | 2015-02-23 | 2015-02-23 | 検査装置、検査方法、及び、プログラム |
Country Status (2)
Country | Link |
---|---|
JP (1) | JP6366811B2 (ja) |
WO (1) | WO2016135821A1 (ja) |
Families Citing this family (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP6802354B2 (ja) * | 2017-03-03 | 2020-12-16 | 三菱電機株式会社 | 通信試験装置、通信試験方法及びプログラム |
JP7387053B2 (ja) | 2021-02-16 | 2023-11-27 | 三菱電機株式会社 | 制御システムに含まれるネットワークの通信帯域を設定する方法、装置、プログラム、および制御システム |
Family Cites Families (7)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH04107036A (ja) * | 1990-08-27 | 1992-04-08 | Matsushita Electric Ind Co Ltd | 通信プロトコル適合性検査装置 |
JPH07230391A (ja) * | 1994-02-17 | 1995-08-29 | Hitachi Ltd | 情報処理装置の検証装置 |
JPH1042044A (ja) * | 1996-07-26 | 1998-02-13 | Nippon Telegr & Teleph Corp <Ntt> | 呼処理対向シミュレーション方法とその装置 |
JP2000330970A (ja) * | 1999-05-18 | 2000-11-30 | Mitsubishi Electric Corp | シミュレーション装置及びシミュレーション方法 |
US8069021B2 (en) * | 2007-09-28 | 2011-11-29 | Rockwell Automation Technologies, Inc. | Distributed simulation and synchronization |
JP4834816B2 (ja) * | 2008-05-22 | 2011-12-14 | 株式会社デンソーウェーブ | シミュレーション装置 |
JP5901505B2 (ja) * | 2012-12-11 | 2016-04-13 | 三菱電機株式会社 | テストケース生成システム |
-
2015
- 2015-02-23 WO PCT/JP2015/055027 patent/WO2016135821A1/ja active Application Filing
- 2015-02-23 JP JP2017501572A patent/JP6366811B2/ja active Active
Also Published As
Publication number | Publication date |
---|---|
JPWO2016135821A1 (ja) | 2017-08-31 |
WO2016135821A1 (ja) | 2016-09-01 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN108959068B (zh) | 软件界面测试方法、设备及存储介质 | |
CN107656872B (zh) | 软件测试方法、装置、设备和计算机存储介质 | |
US10108763B2 (en) | Method and simulation arrangement for simulating an automated industrial plant | |
JP2008165399A (ja) | シミュレーションデータ作成支援装置 | |
JP2023086678A (ja) | 深層学習フレームワークに基づいて深層学習モデルを生成して適用する方法及び装置 | |
JP6366811B2 (ja) | 検査装置、検査方法、及び、プログラム | |
CN105453033A (zh) | 程序测试服务 | |
JP6275009B2 (ja) | 試験装置及び試験プログラム | |
JP5996125B2 (ja) | システム構築支援装置 | |
EP3734379A1 (en) | Method and system for generating control programs in a cloud computing environment | |
Arzenšek et al. | Criteria for selecting mobile application testing tools | |
JP5811859B2 (ja) | ソースコードの静的解析装置、システム、方法、及びそのためのプログラム | |
JP2019179284A (ja) | シミュレーションシステム、及びシミュレーションプログラム | |
JP2009104490A (ja) | プログラムのテスト装置 | |
JP2008165324A (ja) | プログラム作成支援装置 | |
US10503854B1 (en) | Method and system for generating validation tests | |
WO2020044517A1 (ja) | バリデーション装置、バリデーション方法およびバリデーションプログラム | |
JP2016001825A (ja) | 通信試験装置、および検証作業支援方法 | |
JP2007156822A (ja) | 計算機システムの模擬アプリケーション試験装置 | |
JP2018067057A (ja) | 制御プログラムの検証装置及びプログラム | |
JP6771664B2 (ja) | 試験装置、試験システム、試験方法、および、プログラム | |
KR101512071B1 (ko) | 상태 차트를 이용한 가상공장 시퀀스 오류 검출 방법 | |
JP6620653B2 (ja) | プラント監視制御システム用エミュレータ | |
JP6288695B2 (ja) | 端末装置、シミュレーションシステム、端末装置の制御方法、及び端末装置の制御プログラム | |
JP5729896B2 (ja) | 機器組込み用ソフトウェアの開発支援システムおよび開発支援方法 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20170501 |
|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20170501 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20180109 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20180223 |
|
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: 20180605 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20180703 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 6366811 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
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 |