CN113950649B - 解析装置、方法及计算机可读取的记录介质 - Google Patents

解析装置、方法及计算机可读取的记录介质 Download PDF

Info

Publication number
CN113950649B
CN113950649B CN201980097463.5A CN201980097463A CN113950649B CN 113950649 B CN113950649 B CN 113950649B CN 201980097463 A CN201980097463 A CN 201980097463A CN 113950649 B CN113950649 B CN 113950649B
Authority
CN
China
Prior art keywords
program
dependency relationship
variable
graph
input contact
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
CN201980097463.5A
Other languages
English (en)
Chinese (zh)
Other versions
CN113950649A (zh
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
Publication of CN113950649A publication Critical patent/CN113950649A/zh
Application granted granted Critical
Publication of CN113950649B publication Critical patent/CN113950649B/zh
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—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)
CN201980097463.5A 2019-06-18 2019-06-18 解析装置、方法及计算机可读取的记录介质 Active CN113950649B (zh)

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
CN113950649A CN113950649A (zh) 2022-01-18
CN113950649B true CN113950649B (zh) 2022-12-09

Family

ID=70549720

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201980097463.5A Active CN113950649B (zh) 2019-06-18 2019-06-18 解析装置、方法及计算机可读取的记录介质

Country Status (3)

Country Link
JP (1) JP6692510B1 (ja)
CN (1) CN113950649B (ja)
WO (1) WO2020255267A1 (ja)

Citations (8)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN1993673A (zh) * 2004-03-29 2007-07-04 国立大学法人京都大学 数据处理装置、数据处理程序及记录了数据处理程序的记录介质
CN101311901A (zh) * 2007-05-25 2008-11-26 松下电器产业株式会社 程序重写装置
CN102265284A (zh) * 2008-12-25 2011-11-30 佳能株式会社 程序分发服务器、图像形成设备、程序分发系统和契约文档合成方法
CN102508689A (zh) * 2011-11-08 2012-06-20 上海交通大学 高级语言程序数据流图提取中依赖关系保持数据处理系统
JP2012256178A (ja) * 2011-06-08 2012-12-27 Mitsubishi Electric Corp 情報処理装置及び情報処理方法及びプログラム
JP5362148B1 (ja) * 2012-12-17 2013-12-11 三菱電機株式会社 プログラム解析支援装置及び制御装置
WO2014141352A1 (ja) * 2013-03-11 2014-09-18 株式会社 日立製作所 システム制御装置
JP2017058804A (ja) * 2015-09-15 2017-03-23 株式会社東芝 検出装置、方法およびプログラム

Family Cites Families (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN107835964B (zh) * 2015-06-24 2020-09-11 西门子公司 控制情境化以及关于控制的推理

Patent Citations (8)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN1993673A (zh) * 2004-03-29 2007-07-04 国立大学法人京都大学 数据处理装置、数据处理程序及记录了数据处理程序的记录介质
CN101311901A (zh) * 2007-05-25 2008-11-26 松下电器产业株式会社 程序重写装置
CN102265284A (zh) * 2008-12-25 2011-11-30 佳能株式会社 程序分发服务器、图像形成设备、程序分发系统和契约文档合成方法
JP2012256178A (ja) * 2011-06-08 2012-12-27 Mitsubishi Electric Corp 情報処理装置及び情報処理方法及びプログラム
CN102508689A (zh) * 2011-11-08 2012-06-20 上海交通大学 高级语言程序数据流图提取中依赖关系保持数据处理系统
JP5362148B1 (ja) * 2012-12-17 2013-12-11 三菱電機株式会社 プログラム解析支援装置及び制御装置
WO2014141352A1 (ja) * 2013-03-11 2014-09-18 株式会社 日立製作所 システム制御装置
JP2017058804A (ja) * 2015-09-15 2017-03-23 株式会社東芝 検出装置、方法およびプログラム

Also Published As

Publication number Publication date
JPWO2020255267A1 (ja) 2021-09-13
JP6692510B1 (ja) 2020-05-13
WO2020255267A1 (ja) 2020-12-24
CN113950649A (zh) 2022-01-18

Similar Documents

Publication Publication Date Title
JP5198132B2 (ja) 状態遷移テスト支援装置、状態遷移テスト支援プログラム、および状態遷移テスト支援方法
JP3904645B2 (ja) ハードウェア／ソフトウェア協調シミュレーション装置
JP2003178173A (ja) プロジェクト・リスク管理方法及び装置及びプログラム
JPH0816429A (ja) 並行プログラム作成支援装置及び並行プログラム作成方法並びに並行プログラム実行装置
CN113950649B (zh) 解析装置、方法及计算机可读取的记录介质
JP4379687B2 (ja) シミュレーション支援ツールおよびラダープログラムの検証システムならびにプログラム製品
JP4565585B2 (ja) データ処理装置、データ処理方法、記録媒体
JP3666507B2 (ja) シミュレーション支援ツールおよびラダープログラムの検証システムならびにテスト入力ラダープログラム生成方法ならびにラダープログラムの検証方法
JP3641090B2 (ja) プログラミング支援装置とその方法
JPH10149301A (ja) スクリプト作成装置
JP3594471B2 (ja) シナリオ表示装置および方法
US5828673A (en) Logical check apparatus and method for semiconductor circuits and storage medium storing logical check program for semiconductor circuits
CN113711142B (zh) 调试辅助装置、调试辅助方法、记录介质
JP7423895B2 (ja) ラダー図プログラム作成支援装置、ラダー図プログラム作成支援方法、およびラダー図プログラム作成支援プログラム
JP7479188B2 (ja) デバッグ支援装置、デバッグ支援方法およびプログラム
JP3549221B2 (ja) 処理先行・後続表示システム
JPH09325952A (ja) オブジェクト指向仕様の実行検証装置
JP2500385B2 (ja) 入力デ―タ管理方式
JP2020161102A (ja) 図面作成支援装置、図面作成支援プログラム及び図面作成支援方法
JPH0675958A (ja) 文書処理装置
JPH05314142A (ja) 構造化手法に基づく設計作業の進捗状況管理システム
JPH0991173A (ja) プログラムの実行履歴表示方法
JP2004117056A (ja) 半導体メモリフェイル表示制御装置及びその表示制御方法
JPH05151294A (ja) 論理シミユレーシヨン方法及び論理シミユレータ
JPH0855043A (ja) メモリのアクセス状態の比較によるデバッグ・解析方法

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination
GR01 Patent grant
GR01 Patent grant