JP6833129B1 - デバッグ支援プログラム、記憶媒体、デバッグ支援装置およびデバッグ支援方法 - Google Patents
デバッグ支援プログラム、記憶媒体、デバッグ支援装置およびデバッグ支援方法 Download PDFInfo
- Publication number
- JP6833129B1 JP6833129B1 JP2020552928A JP2020552928A JP6833129B1 JP 6833129 B1 JP6833129 B1 JP 6833129B1 JP 2020552928 A JP2020552928 A JP 2020552928A JP 2020552928 A JP2020552928 A JP 2020552928A JP 6833129 B1 JP6833129 B1 JP 6833129B1
- Authority
- JP
- Japan
- Prior art keywords
- processing block
- variables
- dependency
- value
- processing
- 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
- 238000000034 method Methods 0.000 title claims description 17
- 238000012545 processing Methods 0.000 claims abstract description 190
- 238000000605 extraction Methods 0.000 claims abstract description 136
- 230000001364 causal effect Effects 0.000 claims description 58
- 238000012217 deletion Methods 0.000 claims description 32
- 230000037430 deletion Effects 0.000 claims description 32
- 238000012937 correction Methods 0.000 claims description 25
- 230000008569 process Effects 0.000 claims description 3
- 238000001514 detection method Methods 0.000 description 19
- 238000010586 diagram Methods 0.000 description 19
- 101100520231 Caenorhabditis elegans plc-3 gene Proteins 0.000 description 16
- 239000000284 extract Substances 0.000 description 15
- 238000004458 analytical method Methods 0.000 description 11
- 230000006870 function Effects 0.000 description 7
- 101100190618 Arabidopsis thaliana PLC3 gene Proteins 0.000 description 6
- 238000012986 modification Methods 0.000 description 6
- 230000004048 modification Effects 0.000 description 6
- 238000004891 communication Methods 0.000 description 5
- 238000004519 manufacturing process Methods 0.000 description 5
- 230000008859 change Effects 0.000 description 3
- 230000000694 effects Effects 0.000 description 3
- 230000008685 targeting Effects 0.000 description 2
- 238000004364 calculation method Methods 0.000 description 1
- 238000012790 confirmation Methods 0.000 description 1
- 230000010365 information processing Effects 0.000 description 1
- 239000004065 semiconductor Substances 0.000 description 1
- 239000007787 solid Substances 0.000 description 1
Images
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/3604—Software analysis for verifying properties of programs
- G06F11/3616—Software analysis for verifying properties of programs using software metrics
-
- 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/362—Software debugging
- G06F11/3636—Software debugging by tracing the execution of the program
-
- 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
-
- 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/3604—Software analysis for verifying properties of programs
- G06F11/3612—Software analysis for verifying properties of programs by runtime analysis
-
- 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/362—Software debugging
- G06F11/366—Software debugging using diagnostics
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F2201/00—Indexing scheme relating to error detection, to error correction, and to monitoring
- G06F2201/81—Threshold
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Computer Hardware Design (AREA)
- Quality & Reliability (AREA)
- General Engineering & Computer Science (AREA)
- Software Systems (AREA)
- Automation & Control Theory (AREA)
- Programmable Controllers (AREA)
- Stored Programmes (AREA)
- Debugging And Monitoring (AREA)
Abstract
Description
図1は、実施の形態1にかかるデバッグ支援装置の機能構成を示す図である。実施の形態1にかかるデバッグ支援装置1は、制御装置であるPLC3が実行するシーケンスプログラムのデバッグを支援する。PLC3には、複数の装置4が接続されている。PLC3は、シーケンスプログラムを実行することにより、被制御装置である各装置4を制御する。図1には、複数の装置4のうち2つの装置4A,4Bを示している。PLC3が実行するシーケンスプログラムは、複数の処理ブロックを含む。複数の処理ブロックの各々には、被制御装置を単位とする処理が記載されている。
図10は、実施の形態2にかかるデバッグ支援装置の機能構成を示す図である。実施の形態2にかかるデバッグ支援装置2には、実施の形態1の因果関係抽出部19の代わりに、削除対象検出部40が設けられている。実施の形態2では、上記の実施の形態1と同一の構成要素には同一の符号を付し、実施の形態1とは異なる構成について主に説明する。
Claims (13)
- 制御装置が実行するシーケンスプログラムのデバッグを支援するデバッグ支援装置としてコンピュータを機能させるデバッグ支援プログラムであって、
被制御装置を単位とする処理が各々に記載された複数の処理ブロックを含む前記シーケンスプログラムについて、複数の前記処理ブロックに記載されている複数の変数の中から依存関係を有する前記変数の組を抽出するステップと、
前記処理ブロックに記載されている複数の前記変数の各々への値の入力について記録されたログ情報を収集するステップと、
収集された前記ログ情報の内容に基づいて前記依存関係についての抽出結果を修正するステップと、
修正された前記抽出結果を提示するステップと、を前記コンピュータに実行させ、
前記依存関係は、2以上の変数において、ある変数の値によって他の変数の値が決定される関係であることを特徴とするデバッグ支援プログラム。 - 複数の被制御装置のうちの1つである第1の被制御装置についての処理が記載された処理ブロックを第1の処理ブロック、前記複数の被制御装置のうちの他の1つである第2の被制御装置についての処理が記載された処理ブロックを第2の処理ブロックとして、
前記第1の処理ブロックにおいて前記第1の被制御装置による出力に割り当てられている変数へ値が入力されたことによる出力制御に起因して、前記第2の処理ブロックにおいて前記第2の被制御装置への入力に割り当てられている変数へ値が入力される関係である因果関係を有する変数の組を、収集された前記ログ情報から抽出するステップを前記コンピュータに実行させ、
前記因果関係についての抽出結果を前記依存関係についての抽出結果へ追加することによって、前記依存関係についての抽出結果を修正することを特徴とする請求項1に記載のデバッグ支援プログラム。 - 前記第1の処理ブロックに記載されている変数へ値が入力された日時と前記第2の処理ブロックに記載されている変数へ値が入力された日時との時間差を算出し、前記時間差に基づいて前記因果関係の有無を判定することを特徴とする請求項2に記載のデバッグ支援プログラム。
- 算出された時間差の平均値と閾値とを比較した結果に基づいて前記因果関係の有無を判定することを特徴とする請求項3に記載のデバッグ支援プログラム。
- 算出された時間差の標準偏差に基づいて前記因果関係の有無を判定することを特徴とする請求項3に記載のデバッグ支援プログラム。
- 前記依存関係についての抽出結果からの削除の対象とする変数の組を、収集された前記ログ情報から検出するステップを前記コンピュータに実行させ、
前記削除の対象として検出された変数の組を前記依存関係についての抽出結果から削除することによって、前記依存関係についての抽出結果を修正することを特徴とする請求項1に記載のデバッグ支援プログラム。 - 複数の被制御装置のうちの1つである第1の被制御装置についての処理が記載された処理ブロックを第1の処理ブロック、前記複数の被制御装置のうちの他の1つである第2の被制御装置についての処理が記載された処理ブロックを第2の処理ブロックとして、
前記第1の処理ブロックに記載されている変数へ値が入力された日時と前記第2の処理ブロックに記載されている変数へ値が入力された日時との時間差を算出し、前記時間差に基づいて前記削除の対象か否かを判定することを特徴とする請求項6に記載のデバッグ支援プログラム。 - 算出された時間差の平均値と閾値とを比較した結果に基づいて前記削除の対象か否かを判定することを特徴とする請求項7に記載のデバッグ支援プログラム。
- 算出された時間差の標準偏差に基づいて前記削除の対象か否かを判定することを特徴とする請求項7に記載のデバッグ支援プログラム。
- 制御装置が実行するシーケンスプログラムのデバッグを支援するデバッグ支援装置としてコンピュータを機能させるデバッグ支援プログラムであって、
前記シーケンスプログラムは、複数の被制御装置のうちの1つについての処理が記載された第1の処理ブロックと、前記複数の被制御装置のうちの他の1つについての処理が記載された第2の処理ブロックとを含み、
前記第1の処理ブロックおよび前記第2の処理ブロックに記載されている複数の変数の各々への値の入力について記録されたログ情報を基に、前記第1の処理ブロックの前記変数へ値が入力されたことによる出力制御に起因して前記第2の処理ブロックの前記変数へ値が入力される関係である因果関係の有無を判断し、前記因果関係を有する前記変数の組を前記ログ情報から抽出するステップを前記コンピュータに実行させることを特徴とするデバッグ支援プログラム。 - 請求項1から10のいずれか1つに記載のデバッグ支援プログラムが記憶され、コンピュータによる読み取りが可能とされたことを特徴とする記憶媒体。
- 制御装置が実行するシーケンスプログラムのデバッグを支援するデバッグ支援装置であって、
被制御装置を単位とする処理が各々に記載された複数の処理ブロックを含む前記シーケンスプログラムについて、複数の前記処理ブロックに記載されている複数の変数の中から依存関係を有する前記変数の組を抽出する依存関係抽出部と、
前記処理ブロックに記載されている複数の前記変数の各々への値の入力について記録されたログ情報を収集するログ情報収集部と、
収集された前記ログ情報の内容に基づいて前記依存関係についての抽出結果を修正する修正部と、
修正された前記抽出結果を提示する提示部と、を備え、
前記依存関係は、2以上の変数において、ある変数の値によって他の変数の値が決定される関係であることを特徴とするデバッグ支援装置。 - 制御装置が実行するシーケンスプログラムのデバッグをデバッグ支援装置が支援するデバッグ支援方法であって、
被制御装置を単位とする処理が各々に記載された複数の処理ブロックを含む前記シーケンスプログラムについて、複数の前記処理ブロックに記載されている複数の変数の中から依存関係を有する前記変数の組を抽出する工程と、
前記処理ブロックに記載されている複数の前記変数の各々への値の入力について記録されたログ情報を収集する工程と、
収集された前記ログ情報の内容に基づいて前記依存関係についての抽出結果を修正する工程と、
修正された前記抽出結果を提示する工程と、を含み、
前記依存関係は、2以上の変数において、ある変数の値によって他の変数の値が決定される関係であることを特徴とするデバッグ支援方法。
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
PCT/JP2020/016449 WO2021210071A1 (ja) | 2020-04-14 | 2020-04-14 | デバッグ支援プログラム、記憶媒体、デバッグ支援装置およびデバッグ支援方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
JP6833129B1 true JP6833129B1 (ja) | 2021-02-24 |
JPWO2021210071A1 JPWO2021210071A1 (ja) | 2021-10-21 |
Family
ID=74665115
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2020552928A Active JP6833129B1 (ja) | 2020-04-14 | 2020-04-14 | デバッグ支援プログラム、記憶媒体、デバッグ支援装置およびデバッグ支援方法 |
Country Status (4)
Country | Link |
---|---|
US (1) | US11797420B2 (ja) |
JP (1) | JP6833129B1 (ja) |
CN (1) | CN115427901B (ja) |
WO (1) | WO2021210071A1 (ja) |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP7049534B1 (ja) * | 2021-03-02 | 2022-04-06 | 三菱電機株式会社 | デバッグ支援プログラム、デバッグ支援装置、デバッグ支援方法および機械学習装置 |
Families Citing this family (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP7221471B1 (ja) * | 2022-07-29 | 2023-02-13 | 三菱電機株式会社 | デバッグ支援装置、制御システム、デバッグ支援方法及びプログラム |
Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
WO2016194099A1 (ja) * | 2015-06-01 | 2016-12-08 | 三菱電機株式会社 | デバッグ装置、デバッグ方法及びデバッグプログラム |
JP2018206362A (ja) * | 2017-06-02 | 2018-12-27 | オムロン株式会社 | 工程解析装置、工程解析方法、及び工程解析プログラム |
Family Cites Families (12)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US9087151B2 (en) | 2009-02-18 | 2015-07-21 | Mitsubishi Electric Corporation | Program analysis support device |
EP2597566B1 (en) * | 2010-07-20 | 2019-04-03 | Hitachi, Ltd. | Software maintenance supporting device and electronic control device verified by the same |
KR101472697B1 (ko) * | 2010-10-27 | 2014-12-12 | 미쓰비시덴키 가부시키가이샤 | 로깅 설정 장치, 로깅 설정 방법 및 기록 매체 |
JP2015176370A (ja) * | 2014-03-14 | 2015-10-05 | オムロン株式会社 | 制御システム、方法、プログラムおよび情報処理装置 |
JP6319271B2 (ja) * | 2015-11-09 | 2018-05-09 | 横河電機株式会社 | イベント解析装置、イベント解析システム、イベント解析方法、およびイベント解析プログラム |
JP6846111B2 (ja) * | 2016-02-26 | 2021-03-24 | オムロン株式会社 | マスタ装置、スレーブ装置、情報処理装置、イベントログ収集システム、マスタ装置の制御方法、スレーブ装置の制御方法、および制御プログラム |
JP6515937B2 (ja) * | 2017-02-08 | 2019-05-22 | 横河電機株式会社 | イベント解析装置、イベント解析システム、イベント解析方法、イベント解析プログラム、および記録媒体 |
EP3410245A1 (en) | 2017-06-02 | 2018-12-05 | OMRON Corporation | Process analysis apparatus, process analysis method, and process analysis program |
US11860604B2 (en) * | 2018-07-26 | 2024-01-02 | Nec Corporation | Analysis assistance apparatus, analysis assistance method, and computer-readable recording medium |
US10776248B2 (en) * | 2018-11-28 | 2020-09-15 | International Business Machines Corporation | Automated source code writing style evaluation, validation, and modification |
JP7031627B2 (ja) * | 2019-03-13 | 2022-03-08 | オムロン株式会社 | 解析装置、解析方法、及び解析プログラム |
US11296936B2 (en) * | 2020-02-06 | 2022-04-05 | T-Mobile Usa, Inc. | Network element association using network data |
-
2020
- 2020-04-14 JP JP2020552928A patent/JP6833129B1/ja active Active
- 2020-04-14 CN CN202080099549.4A patent/CN115427901B/zh active Active
- 2020-04-14 WO PCT/JP2020/016449 patent/WO2021210071A1/ja active Application Filing
- 2020-04-14 US US17/916,798 patent/US11797420B2/en active Active
Patent Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
WO2016194099A1 (ja) * | 2015-06-01 | 2016-12-08 | 三菱電機株式会社 | デバッグ装置、デバッグ方法及びデバッグプログラム |
JP2018206362A (ja) * | 2017-06-02 | 2018-12-27 | オムロン株式会社 | 工程解析装置、工程解析方法、及び工程解析プログラム |
Non-Patent Citations (1)
Title |
---|
仲井 勘: "ラダーダイアグラムの検索的解析環境の構築", FIT2011( 第10回情報科学技術フォーラム)講演論文集 第1分冊, JPN6020026830, 7 September 2011 (2011-09-07), JP, pages 57 - 62, ISSN: 0004418225 * |
Cited By (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP7049534B1 (ja) * | 2021-03-02 | 2022-04-06 | 三菱電機株式会社 | デバッグ支援プログラム、デバッグ支援装置、デバッグ支援方法および機械学習装置 |
WO2022185418A1 (ja) * | 2021-03-02 | 2022-09-09 | 三菱電機株式会社 | デバッグ支援プログラム、デバッグ支援装置、デバッグ支援方法および機械学習装置 |
CN116670600A (zh) * | 2021-03-02 | 2023-08-29 | 三菱电机株式会社 | 调试辅助程序、调试辅助装置、调试辅助方法及机器学习装置 |
Also Published As
Publication number | Publication date |
---|---|
WO2021210071A1 (ja) | 2021-10-21 |
CN115427901B (zh) | 2023-10-03 |
US11797420B2 (en) | 2023-10-24 |
CN115427901A (zh) | 2022-12-02 |
US20230128016A1 (en) | 2023-04-27 |
JPWO2021210071A1 (ja) | 2021-10-21 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP5649748B1 (ja) | プログラマブルコントローラの周辺装置およびデバッグ支援プログラム | |
JP6833129B1 (ja) | デバッグ支援プログラム、記憶媒体、デバッグ支援装置およびデバッグ支援方法 | |
CN108509212B (zh) | 应用程序更新测试方法、装置、终端设备及存储介质 | |
US20120254662A1 (en) | Automated test system and automated test method | |
CN111108481B (zh) | 故障分析方法及相关设备 | |
CN112328499A (zh) | 一种测试数据生成方法、装置、设备及介质 | |
US20190340106A1 (en) | Debugging support apparatus and debugging support method | |
JP2018206316A (ja) | プラント運転監視システム及びプラント運転監視方法 | |
JP2019101581A (ja) | ソフトウェア品質判定装置、ソフトウェア品質判定方法、及びソフトウェア品質判定プログラム | |
CN111949488A (zh) | 一种硬盘故障预测方法、系统及电子设备和存储介质 | |
CN114020432A (zh) | 任务异常处理方法、装置及任务异常处理系统 | |
JP7190246B2 (ja) | ソフトウェア不具合予測装置 | |
An et al. | Challenges and issues of mining crash reports | |
JP2016167180A (ja) | デバッグ支援装置、デバッグ支援システム、デバッグ支援方法、および、デバッグ支援プログラム | |
CN114879985A (zh) | 一种证书文件的安装方法、装置、设备及存储介质 | |
JP2013149134A (ja) | ソースコードの静的解析装置、システム、方法、及びそのためのプログラム | |
CN113051582A (zh) | 一种计算机软件技术开发调试系统 | |
JP2022115316A (ja) | ログ検索支援装置、及びログ検索支援方法 | |
CN112732588A (zh) | 一种基于云计算的人工智能代码验证系统、方法和装置 | |
CN109964183B (zh) | 监视系统、数据模型管理装置及显示数据生成方法 | |
JP2008262473A (ja) | 設備保全管理システム | |
US20220253529A1 (en) | Information processing apparatus, information processing method, and computer readable medium | |
JP2018106398A (ja) | テスト支援プログラムおよびテスト支援装置 | |
JP2022029347A (ja) | 特徴量選択プログラム、装置、及び方法 | |
JP6576873B2 (ja) | ジョブネット検証装置及びジョブネット検証方法 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20200929 |
|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20200929 |
|
A871 | Explanation of circumstances concerning accelerated examination |
Free format text: JAPANESE INTERMEDIATE CODE: A871 Effective date: 20200929 |
|
A975 | Report on accelerated examination |
Free format text: JAPANESE INTERMEDIATE CODE: A971005 Effective date: 20201222 |
|
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: 20210105 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20210202 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 6833129 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |