JP6692510B1 - 解析装置、方法、及びプログラム - Google Patents
解析装置、方法、及びプログラム Download PDFInfo
- Publication number
- JP6692510B1 JP6692510B1 JP2019572246A JP2019572246A JP6692510B1 JP 6692510 B1 JP6692510 B1 JP 6692510B1 JP 2019572246 A JP2019572246 A JP 2019572246A JP 2019572246 A JP2019572246 A JP 2019572246A JP 6692510 B1 JP6692510 B1 JP 6692510B1
- Authority
- JP
- Japan
- Prior art keywords
- program
- dependency
- variable
- graph
- node
- 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
- 238000004458 analytical method Methods 0.000 title claims abstract description 50
- 238000000034 method Methods 0.000 title claims description 40
- 238000000605 extraction Methods 0.000 claims abstract description 76
- 230000010354 integration Effects 0.000 claims abstract description 14
- 238000010586 diagram Methods 0.000 claims description 28
- 239000000284 extract Substances 0.000 abstract description 19
- 230000006870 function Effects 0.000 description 7
- 230000004044 response Effects 0.000 description 7
- 101000661816 Homo sapiens Suppression of tumorigenicity 18 protein Proteins 0.000 description 6
- 102100035353 Cyclin-dependent kinase 2-associated protein 1 Human genes 0.000 description 3
- 101000760620 Homo sapiens Cell adhesion molecule 1 Proteins 0.000 description 3
- 101000737813 Homo sapiens Cyclin-dependent kinase 2-associated protein 1 Proteins 0.000 description 3
- 101000911772 Homo sapiens Hsc70-interacting protein Proteins 0.000 description 3
- 101000710013 Homo sapiens Reversion-inducing cysteine-rich protein with Kazal motifs Proteins 0.000 description 3
- 101000585359 Homo sapiens Suppressor of tumorigenicity 20 protein Proteins 0.000 description 3
- 102100029860 Suppressor of tumorigenicity 20 protein Human genes 0.000 description 3
- 230000004048 modification Effects 0.000 description 3
- 238000012986 modification Methods 0.000 description 3
- 101001139126 Homo sapiens Krueppel-like factor 6 Proteins 0.000 description 2
- 101000661807 Homo sapiens Suppressor of tumorigenicity 14 protein Proteins 0.000 description 2
- 108090000237 interleukin-24 Proteins 0.000 description 2
- 238000004364 calculation method Methods 0.000 description 1
- 238000004519 manufacturing process Methods 0.000 description 1
- 230000003287 optical effect Effects 0.000 description 1
- 239000004065 semiconductor Substances 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
- 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
Landscapes
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Engineering & Computer Science (AREA)
- Automation & Control Theory (AREA)
- Programmable Controllers (AREA)
Abstract
Description
以下、本発明の実施の形態に係る解析装置について、図面を参照しつつ詳細に説明する。
実施の形態においては、メインプログラムP1に割り込みプログラムP2が割り込む例を説明したが、解析装置100は、多重割り込みが発生するプログラムを解析することが可能である。
Claims (17)
- ラダーダイアグラムで記載され、プログラマブルロジックコントローラにリレー回路の機能を実現させるプログラム内の変数の依存関係を解析する解析装置であって、
前記プログラムは、第1プログラムと、前記第1プログラムの実行中に前記第1プログラムの実行を中断して割り込み処理を実行する第2プログラムとを含み、
前記第1プログラム内の前記変数の依存関係である第1依存関係と、前記第2プログラム内の前記変数の依存関係である第2依存関係とを抽出する第1抽出手段と、
設定された条件に従って前記第1プログラムを少なくとも2つのブロックに分割する分割手段と、
前記第1プログラムの前記ブロック内で割り込みが発生した場合の、前記第2プログラム内の前記変数と前記第1プログラム内の前記変数との依存関係を、前記第2依存関係に追加して、第3依存関係を抽出する第2抽出手段と、
前記第1依存関係と前記第3依存関係とを統合して、統合依存関係を示す情報である統合依存関係情報を生成する統合手段と、
前記統合依存関係情報を表示する表示手段と、
を含む解析装置。 - 前記分割手段は、
前記第1プログラム内の出力コイルに対応する命令から、前記第2プログラム内の入力接点に対応する命令に影響を与える前記出力コイルに対応する命令を探索し、該当する前記出力コイルに対応する命令の直前で、前記第1プログラムを区切ることにより、前記第1プログラムを前記ブロックに分割し、
前記第1プログラム内の前記入力接点に対応する命令から、前記第2プログラム内の前記出力コイルに対応する命令から影響を受ける前記入力接点に対応する命令を探索し、該当する前記入力接点に対応する命令の直前で、前記第1プログラムを区切ることにより、前記ブロックをさらに分割する、
請求項1に記載の解析装置。 - 前記第1抽出手段は、前記第1依存関係を表す第1グラフと、前記第2依存関係を表す第2グラフとを生成し、
前記第1グラフは、前記第1プログラム内における、前記変数をノード、前記変数の間の依存関係をエッジとしたグラフであり、
前記第2グラフは、前記第2プログラム内における、前記変数を前記ノード、前記変数の間の依存関係を前記エッジとしたグラフである、
請求項2に記載の解析装置。 - 前記第1抽出手段は、
前記第1プログラム内における、前記出力コイルに対応する命令の対象である前記変数を表す前記ノードと、その前記出力コイルに対応する命令に影響を与える前記入力接点に対応する命令の対象である前記変数を表す前記ノードと、が接続されている前記第1グラフを生成する、
請求項3に記載の解析装置。 - 前記第1抽出手段は、前記第1プログラム内における、前記入力接点に対応する命令の対象である前記変数を表す前記ノードと、前記入力接点に影響を与える前記出力コイルに対応する命令の対象である前記変数を表す前記ノードと、が接続されている前記第1グラフを生成する、
請求項4に記載の解析装置。 - 前記分割手段は、前記第1グラフ内の前記第1プログラム内の前記入力接点及び前記出力コイルに対応する命令の対象である前記変数を表す前記ノードに、前記入力接点及び前記出力コイルが配置されている前記ブロックを特定する情報を付加する、
請求項5に記載の解析装置。 - 前記第1抽出手段は、前記第2プログラム内における、前記出力コイルに対応する命令の対象である前記変数を表す前記ノードと、その前記出力コイルに対応する命令に影響を与える前記入力接点に対応する命令の対象である前記変数を表す前記ノードと、が接続されている前記第2グラフを生成する、
請求項3から6のいずれか1項に記載の解析装置。 - 前記第1抽出手段は、前記第2プログラム内における、前記入力接点に対応する命令の対象である前記変数を表す前記ノードと、前記入力接点に影響を与える前記出力コイルに対応する命令の対象である前記変数を表す前記ノードと、が接続されている前記第2グラフを生成する、
請求項7に記載の解析装置。 - 前記第2抽出手段は、
前記第1プログラムの前記ブロック内で割り込みが発生した場合において、前記第1プログラム内の前記入力接点または前記出力コイルに対応する命令のうち、前記第2プログラム内の前記入力接点に対応する命令に影響を与える前記第1プログラム内の前記入力接点または前記出力コイルに対応する命令を探索し、該当する命令の対象である前記変数を表す前記ノードを、前記第2プログラム内の前記入力接点に対応する命令の対象である前記変数を表す前記第2グラフの前記ノードに接続して、前記第3依存関係を表す第3グラフを生成する、
請求項3から8のいずれか1項に記載の解析装置。 - 前記第2抽出手段は、
前記第3グラフを生成する際に、前記第1プログラム内の該当する命令の対象である前記変数を表すノードと、前記第2プログラム内の前記入力接点に対応する命令の対象である前記変数を表す前記第2グラフの前記ノードとを接続する際に、割り込みが発生した前記ブロックを特定する情報を、前記第1プログラム内の該当する命令の対象である前記変数を表すノードに付加する、
請求項9に記載の解析装置。 - 前記第2抽出手段は、前記第1プログラム内の前記入力接点に対応する命令のうち、前記第2プログラム内の出力コイルに対応する命令から影響を受ける命令の対象である前記変数を表す前記第1グラフの前記ノードに、前記第2グラフを連結して、前記統合依存関係を表す統合グラフを生成する、
請求項9または10に記載の解析装置。 - 前記表示手段は、前記統合グラフを表す図と前記第1プログラムを表す図とを併せて表示する、
請求項11に記載の解析装置。 - 前記表示手段は、前記第1プログラムを表す図に前記ブロックの境界を示す境界線を付加した図を表示する、
請求項12に記載の解析装置。 - 前記表示手段は、前記分割手段が前記第1グラフ内の前記ノードに付加した前記ブロックを特定する情報に基づいて、前記第1グラフ内の前記ノードに対応する前記統合グラフ内の前記ノードに前記ブロックを特定する情報を併せて表示する、
請求項12または13に記載の解析装置。 - 前記表示手段は、前記第2抽出手段が前記第3グラフ内の前記ノードに付加した前記ブロックを特定する情報に基づいて、前記第3グラフ内の前記ノードに対応する前記統合グラフ内の前記ノードに前記ブロックを特定する情報を併せて表示する、
請求項12から14のいずれか1項に記載の解析装置。 - ラダーダイアグラムで記載され、プログラマブルロジックコントローラにリレー回路の機能を実現させるプログラム内の変数の依存関係をコンピュータが解析する方法であって、
前記プログラムは、第1プログラムと、前記第1プログラムの実行中に前記第1プログラムの実行を中断して割り込み処理を実行する第2プログラムとを含み、
前記第1プログラム内の前記変数の依存関係である第1依存関係を抽出するステップと、
前記第2プログラム内の前記変数の依存関係である第2依存関係を抽出するステップと、
設定された条件に従って前記第1プログラムを少なくとも2つのブロックに分割するステップと、
前記第1プログラムの前記ブロック内で割り込みが発生した場合の、前記第2プログラム内の前記変数と前記第1プログラム内の前記変数との依存関係を、前記第2依存関係に追加して、第3依存関係を抽出するステップと、
前記第1依存関係と前記第3依存関係とを統合し、統合依存関係を示す情報である統合依存関係情報を生成するステップと、
前記統合依存関係情報を表示するステップと、
を含む方法。 - ラダーダイアグラムで記載され、プログラマブルロジックコントローラにリレー回路の機能を実現させるプログラム内の変数の依存関係を解析するため、コンピュータが実行するプログラムであって、
前記プログラムは、第1プログラムと、前記第1プログラムの実行中に前記第1プログラムの実行を中断して割り込み処理を実行する第2プログラムとを含み、
前記コンピュータに、
前記第1プログラム内の前記変数の依存関係である第1依存関係を抽出させ、
前記第2プログラム内の前記変数の依存関係である第2依存関係を抽出させ、
設定された条件に従って前記第1プログラムを少なくとも2つのブロックに分割させ、
前記第1プログラムの前記ブロック内で割り込みが発生した場合の、前記第2プログラム内の前記変数と前記第1プログラム内の前記変数との依存関係を、前記第2依存関係に追加して、第3依存関係を抽出させ、
前記第1依存関係と前記第3依存関係とを統合して、統合依存関係を示す情報である統合依存関係情報を生成させ、
前記統合依存関係情報を表示させる、
プログラム。
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
PCT/JP2019/024146 WO2020255267A1 (ja) | 2019-06-18 | 2019-06-18 | 解析装置、方法、及びプログラム |
Publications (2)
Publication Number | Publication Date |
---|---|
JP6692510B1 true JP6692510B1 (ja) | 2020-05-13 |
JPWO2020255267A1 JPWO2020255267A1 (ja) | 2021-09-13 |
Family
ID=70549720
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2019572246A Active JP6692510B1 (ja) | 2019-06-18 | 2019-06-18 | 解析装置、方法、及びプログラム |
Country Status (3)
Country | Link |
---|---|
JP (1) | JP6692510B1 (ja) |
CN (1) | CN113950649B (ja) |
WO (1) | WO2020255267A1 (ja) |
Family Cites Families (9)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP4254954B2 (ja) * | 2004-03-29 | 2009-04-15 | 独立行政法人科学技術振興機構 | データ処理装置 |
JP2008293378A (ja) * | 2007-05-25 | 2008-12-04 | Panasonic Corp | プログラム書き換え装置 |
JP5349947B2 (ja) * | 2008-12-25 | 2013-11-20 | キヤノン株式会社 | システム、画像形成装置、制御方法およびプログラム |
JP5762154B2 (ja) * | 2011-06-08 | 2015-08-12 | 三菱電機株式会社 | 情報処理装置及び情報処理方法及びプログラム |
CN102508689A (zh) * | 2011-11-08 | 2012-06-20 | 上海交通大学 | 高级语言程序数据流图提取中依赖关系保持数据处理系统 |
JP5362148B1 (ja) * | 2012-12-17 | 2013-12-11 | 三菱電機株式会社 | プログラム解析支援装置及び制御装置 |
WO2014141352A1 (ja) * | 2013-03-11 | 2014-09-18 | 株式会社 日立製作所 | システム制御装置 |
CN107835964B (zh) * | 2015-06-24 | 2020-09-11 | 西门子公司 | 控制情境化以及关于控制的推理 |
JP2017058804A (ja) * | 2015-09-15 | 2017-03-23 | 株式会社東芝 | 検出装置、方法およびプログラム |
-
2019
- 2019-06-18 JP JP2019572246A patent/JP6692510B1/ja active Active
- 2019-06-18 WO PCT/JP2019/024146 patent/WO2020255267A1/ja active Application Filing
- 2019-06-18 CN CN201980097463.5A patent/CN113950649B/zh active Active
Also Published As
Publication number | Publication date |
---|---|
JPWO2020255267A1 (ja) | 2021-09-13 |
CN113950649B (zh) | 2022-12-09 |
WO2020255267A1 (ja) | 2020-12-24 |
CN113950649A (zh) | 2022-01-18 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US6286132B1 (en) | Debugging support apparatus, a parallel execution information generation device, a computer-readable recording medium storing a debugging support program, and a computer-readable recording medium storing a parallel execution information generation program | |
JP2006024006A (ja) | テストケース生成装置、テストケース生成プログラム、モデルベース開発プログラム、ソースコード生成妥当性診断装置、ソースコード生成妥当性診断プログラム、およびモデルベース開発方法。 | |
JP5102823B2 (ja) | 総テスト時間を最小にするようにテストシナリオを最適化するテスト支援装置、テスト装置、テスト支援方法及びコンピュータプログラム | |
JP2009265810A (ja) | 状態遷移テスト支援装置、状態遷移テスト支援プログラム、および状態遷移テスト支援方法 | |
JPH0816429A (ja) | 並行プログラム作成支援装置及び並行プログラム作成方法並びに並行プログラム実行装置 | |
JP2007310449A (ja) | ソフトウェア/ハードウェア協調設計のためのモデル生成プログラム、およびモデル生成方法 | |
JP6692510B1 (ja) | 解析装置、方法、及びプログラム | |
JP3274036B2 (ja) | プロセッサの動作モデルと論理検証用試験命令列の自動生成方法及び装置 | |
JP4728563B2 (ja) | コード生成装置、コード生成プログラム、機能実行装置、機能実行プログラム、モデル生成装置、およびモデル生成プログラム | |
WO2020194455A1 (ja) | テストケース生成装置、テストケース生成方法、およびテストケース生成プログラム | |
JP3641090B2 (ja) | プログラミング支援装置とその方法 | |
JP3905885B2 (ja) | シミュレーション方法、シミュレーションプログラム及び表示処理方法 | |
JP2005174045A (ja) | ソースプログラム変換装置、ソースプログラム変換方法、ソースプログラム変換プログラム、および、プログラム記録媒体 | |
JP7479188B2 (ja) | デバッグ支援装置、デバッグ支援方法およびプログラム | |
JP4569284B2 (ja) | 集積回路のデバッグ方法、デバッグプログラム | |
JPH10247142A (ja) | プロセス制御プログラムのプログラミングシステムおよびプログラミング方法 | |
WO2024069730A1 (ja) | デバッグ装置及びデバッグ方法 | |
JP3253224B2 (ja) | 入出力コマンド試験装置 | |
JP3547550B2 (ja) | 情報処理装置 | |
JPH07219980A (ja) | テスト実行方式 | |
JPH1010196A (ja) | 論理エミュレーション装置 | |
JP4268620B2 (ja) | 回路記述言語の等価性検証方法及び等価性検証装置 | |
WO2020031903A1 (ja) | サポート装置およびサポートプログラム | |
JP2001256079A (ja) | ソフトウェアのデバッグ方法および論理回路のデバッグ方法 | |
JP3221421B2 (ja) | 情報処理装置の試験方法およびそのプログラムを記憶した記憶媒体 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20191226 |
|
A871 | Explanation of circumstances concerning accelerated examination |
Free format text: JAPANESE INTERMEDIATE CODE: A871 Effective date: 20191226 |
|
A975 | Report on accelerated examination |
Free format text: JAPANESE INTERMEDIATE CODE: A971005 Effective date: 20200309 |
|
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: 20200317 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20200414 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 6692510 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 |