CN116301877A - 一种面向控制逻辑组态软件的逻辑分析管理方法及*** - Google Patents

一种面向控制逻辑组态软件的逻辑分析管理方法及*** Download PDF

Info

Publication number
CN116301877A
CN116301877A CN202211524021.4A CN202211524021A CN116301877A CN 116301877 A CN116301877 A CN 116301877A CN 202211524021 A CN202211524021 A CN 202211524021A CN 116301877 A CN116301877 A CN 116301877A
Authority
CN
China
Prior art keywords
logic
analysis
input
engineering
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.)
Pending
Application number
CN202211524021.4A
Other languages
English (en)
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.)
Iap Fujian technology Co ltd
Original Assignee
Iap Fujian technology Co ltd
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 Iap Fujian technology Co ltd filed Critical Iap Fujian technology Co ltd
Priority to CN202211524021.4A priority Critical patent/CN116301877A/zh
Publication of CN116301877A publication Critical patent/CN116301877A/zh
Pending legal-status Critical Current

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformation of program code
    • G06F8/41—Compilation
    • G06F8/42—Syntactic analysis
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F16/00—Information retrieval; Database structures therefor; File system structures therefor
    • G06F16/90—Details of database functions independent of the retrieved data types
    • G06F16/901—Indexing; Data structures therefor; Storage structures
    • G06F16/9024—Graphs; Linked lists
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F16/00—Information retrieval; Database structures therefor; File system structures therefor
    • G06F16/90—Details of database functions independent of the retrieved data types
    • G06F16/903—Querying
    • G06F16/90335—Query processing
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformation of program code
    • G06F8/41—Compilation
    • Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
    • Y02—TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
    • Y02P—CLIMATE CHANGE MITIGATION TECHNOLOGIES IN THE PRODUCTION OR PROCESSING OF GOODS
    • Y02P90/00—Enabling technologies with a potential contribution to greenhouse gas [GHG] emissions mitigation
    • Y02P90/02—Total factory control, e.g. smart factories, flexible manufacturing systems [FMS] or integrated manufacturing systems [IMS]

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Databases & Information Systems (AREA)
  • Software Systems (AREA)
  • Data Mining & Analysis (AREA)
  • Computational Linguistics (AREA)
  • Programmable Controllers (AREA)

Abstract

本发明提供了组态软件技术领域的一种面向控制逻辑组态软件的逻辑分析管理方法及***，方法包括如下步骤：步骤S10、遍历查找工程逻辑对应的工程***中的各逻辑回路；步骤S20、遍历查找各所述逻辑回路下的各逻辑图，对各所述逻辑图依次进行包括元件输入、元件参数以及元件输出的逻辑分析；步骤S30、对逻辑分析完成的所述工程逻辑进行编译链接；步骤S40、将编译链接完成的所述工程逻辑下载到控制站。本发明的优点在于：极大的提升了控制站运行的稳定性。

Description

一种面向控制逻辑组态软件的逻辑分析管理方法及***
技术领域
本发明涉及组态软件技术领域，特别指一种面向控制逻辑组态软件的逻辑分析管理方法及***。
背景技术
组态软件又称组态监控***软件，指数据采集与过程控制的专用软件，也指在自动控制***监控层一级的软件平台和开发环境。这些软件实际上也是一种通过灵活的组态方式，为用户提供快速构建工业自动控制***监控功能的、通用层次的软件工具。组态软件广泛应用于机械、汽车、石油、化工、造纸、水处理以及过程控制等诸多领域。
安装于控制站的组态软件的运行，依赖于工程逻辑，即要想运行控制站，需要先将工程逻辑下载到控制站中。然而，传统上直接将工程逻辑下载到控制站，未对工程逻辑进行语法分析，导致控制站运行的工程逻辑经常存在语法错误，控制站需要进行停机检查，进而影响控制站运行的稳定性。
因此，如何提供一种面向控制逻辑组态软件的逻辑分析管理方法及***，实现提升控制站运行的稳定性，成为一个亟待解决的技术问题。
发明内容
本发明要解决的技术问题，在于提供一种面向控制逻辑组态软件的逻辑分析管理方法及***，实现提升控制站运行的稳定性。
第一方面，本发明提供了一种面向控制逻辑组态软件的逻辑分析管理方法，包括如下步骤：
步骤S10、遍历查找工程逻辑对应的工程***中的各逻辑回路；
步骤S20、遍历查找各所述逻辑回路下的各逻辑图，对各所述逻辑图依次进行包括元件输入、元件参数以及元件输出的逻辑分析；
步骤S30、对逻辑分析完成的所述工程逻辑进行编译链接；
步骤S40、将编译链接完成的所述工程逻辑下载到控制站。
进一步地，所述步骤S10具体为：
保存待逻辑分析的工程逻辑，遍历所述工程逻辑对应的工程***中的各逻辑节点，验证各所述逻辑节点的节点编号是否存在，若是，则查找各所述逻辑节点下的各逻辑回路；若否，则提示待分析的逻辑节点不存在。
进一步地，所述步骤S20中，所述对逻辑图进行元件输入的逻辑分析具体包括：
步骤S211、判断所述逻辑图的逻辑元件是否需要输入，若是，则进入步骤S212；若否，则元件输入的逻辑分析通过，进行元件参数的逻辑分析；
步骤S212、判断所述逻辑元件的需求输入与实际输入的数量是否一致，若是，则进入步骤S213；若否，则提示逻辑元件输入数量错误；
步骤S213、对所述逻辑元件各输入的信号类型的输入顺序进行校验，校验成功，则进行元件参数的逻辑分析；校验失败，则提示输入顺序错误。
进一步地，所述步骤S20中，所述对逻辑图进行元件参数的逻辑分析具体包括：
步骤S221、判断所述逻辑图的逻辑元件是否需要设置参数，若是，则进入步骤S222；若否，则元件参数的逻辑分析通过，进行元件输出的逻辑分析；
步骤S222、以从左到右、从上到下的顺序遍历所述逻辑图的各逻辑元件，从中选取不是输入元件、输出元件以及线型元件的逻辑元件；
步骤S223、判断选取的各所述逻辑元件中，是否存在取值不为0的参数，若是，则进行元件输出的逻辑分析；若否，则提示元件参数错误。
进一步地，所述步骤S20中，所述对逻辑图进行元件输出的逻辑分析具体包括：
步骤S231、判断所述逻辑图的逻辑元件是否需要输出，若是，则进入步骤S232；若否，则元件输出的逻辑分析通过；
步骤S232、以从左到右、从上到下的顺序遍历所述逻辑图的各逻辑元件，判断各所述逻辑元件的输出信息和信号类型是否一致，若是，则元件输出的逻辑分析通过；若否，则提示元件输出错误。
第二方面，本发明提供了一种面向控制逻辑组态软件的逻辑分析管理***，包括如下模块：
逻辑回路遍历查找模块，用于遍历查找工程逻辑对应的工程***中的各逻辑回路；
逻辑分析模块，用于遍历查找各所述逻辑回路下的各逻辑图，对各所述逻辑图依次进行包括元件输入、元件参数以及元件输出的逻辑分析；
编译链接模块，用于对逻辑分析完成的所述工程逻辑进行编译链接；
工程逻辑下载模块，用于将编译链接完成的所述工程逻辑下载到控制站。
进一步地，所述逻辑回路遍历查找模块具体用于：
保存待逻辑分析的工程逻辑，遍历所述工程逻辑对应的工程***中的各逻辑节点，验证各所述逻辑节点的节点编号是否存在，若是，则查找各所述逻辑节点下的各逻辑回路；若否，则提示待分析的逻辑节点不存在。
进一步地，所述逻辑分析模块中，所述对逻辑图进行元件输入的逻辑分析具体包括：
输入需求核对单元，用于判断所述逻辑图的逻辑元件是否需要输入，若是，则进入输入数量比对单元；若否，则元件输入的逻辑分析通过，进行元件参数的逻辑分析；
输入数量比对单元，用于判断所述逻辑元件的需求输入与实际输入的数量是否一致，若是，则进入输入顺序校验单元；若否，则提示逻辑元件输入数量错误；
输入顺序校验单元，用于对所述逻辑元件各输入的信号类型的输入顺序进行校验，校验成功，则进行元件参数的逻辑分析；校验失败，则提示输入顺序错误。
进一步地，所述逻辑分析模块中，所述对逻辑图进行元件参数的逻辑分析具体包括：
参数设置需求核对单元，用于判断所述逻辑图的逻辑元件是否需要设置参数，若是，则进入逻辑元件筛选单元；若否，则元件参数的逻辑分析通过，进行元件输出的逻辑分析；
逻辑元件筛选单元，用于以从左到右、从上到下的顺序遍历所述逻辑图的各逻辑元件，从中选取不是输入元件、输出元件以及线型元件的逻辑元件；
参数取值校验单元，用于判断选取的各所述逻辑元件中，是否存在取值不为0的参数，若是，则进行元件输出的逻辑分析；若否，则提示元件参数错误。
进一步地，所述逻辑分析模块中，所述对逻辑图进行元件输出的逻辑分析具体包括：
输出需求核对单元，用于判断所述逻辑图的逻辑元件是否需要输出，若是，则进入输出信息比对单元；若否，则元件输出的逻辑分析通过；
输出信息比对单元，用于以从左到右、从上到下的顺序遍历所述逻辑图的各逻辑元件，判断各所述逻辑元件的输出信息和信号类型是否一致，若是，则元件输出的逻辑分析通过；若否，则提示元件输出错误。
本发明的优点在于：
通过保存待逻辑分析的工程逻辑，遍历工程逻辑对应的工程***中的各逻辑节点，查找各逻辑节点下的各逻辑回路，接着遍历查找各逻辑回路下的各逻辑图，对各逻辑图依次进行包括元件输入、元件参数以及元件输出的逻辑分析，接着对逻辑分析完成的工程逻辑进行编译链接，最后将编译链接完成的工程逻辑下载到控制站，即对下载到控制站的工程逻辑进行工程***、逻辑节点、逻辑回路、逻辑图层级的逻辑分析，以全面检测工程逻辑是否存在语法错误，避免控制站基于语法错误的工程逻辑进行运行，进而极大的提升了控制站运行的稳定性。
附图说明
下面参照附图结合实施例对本发明作进一步的说明。
图1是本发明一种面向控制逻辑组态软件的逻辑分析管理方法的流程图。
图2是本发明一种面向控制逻辑组态软件的逻辑分析管理***的结构示意图。
具体实施方式
本申请实施例中的技术方案，总体思路如下：对下载到控制站的工程逻辑进行工程***、逻辑节点、逻辑回路、逻辑图层级的逻辑分析，以全面检测工程逻辑是否存在语法错误，进而提升控制站运行的稳定性。
请参照图1至图2所示，本发明一种面向控制逻辑组态软件的逻辑分析管理方法的较佳实施例，包括如下步骤：
步骤S10、遍历查找工程逻辑对应的工程***中的各逻辑回路；
步骤S20、先对各所述逻辑回路的回路编号是否存在进行校验，再遍历查找各所述逻辑回路下的各逻辑图，对各所述逻辑图依次进行包括元件输入、元件参数以及元件输出的逻辑分析；即对元件输入、元件参数以及元件输出的正确性进行检查；
步骤S30、对逻辑分析完成的所述工程逻辑进行编译链接；
步骤S40、将编译链接完成的所述工程逻辑下载到控制站。
逻辑工程的链接分为***链接、节点链接、回路链接，因此需要从工程***、逻辑节点、逻辑回路、逻辑图的层级进行逻辑分析，才能全面判断是否存在语法错误。
所述步骤S10具体为：
保存待逻辑分析的工程逻辑，遍历所述工程逻辑对应的工程***中的各逻辑节点，验证各所述逻辑节点的节点编号是否存在，若是，则查找各所述逻辑节点下的各逻辑回路；若否，则提示待分析的逻辑节点不存在。
所述步骤S20中，所述对逻辑图进行元件输入的逻辑分析具体包括：
步骤S211、判断所述逻辑图的逻辑元件是否需要输入，若是，则进入步骤S212；若否，则元件输入的逻辑分析通过，进行元件参数的逻辑分析；
步骤S212、以第1行第1列为起始，以从左到右、从上到下的顺序判断所述逻辑元件的需求输入与实际输入的数量是否一致，若是，则进入步骤S213；若否，则提示逻辑元件第几行第几列的输入数量错误；
步骤S213、对所述逻辑元件各输入的信号类型的输入顺序进行校验，校验成功，则进行元件参数的逻辑分析；校验失败，则提示第几行第几列的输入顺序错误。例如某个逻辑元件的信号类型的输入顺序设定为模拟量、数字量、模拟量，而实际的输入顺序为模拟量、模拟量、数字量，则提示输入顺序错误。
所述步骤S20中，所述对逻辑图进行元件参数的逻辑分析具体包括：
步骤S221、判断所述逻辑图的逻辑元件是否需要设置参数，若是，则进入步骤S222；若否，则元件参数的逻辑分析通过，进行元件输出的逻辑分析；
步骤S222、以从左到右、从上到下的顺序遍历所述逻辑图的各逻辑元件，从中选取不是输入元件、输出元件以及线型元件的逻辑元件；
步骤S223、判断选取的各所述逻辑元件中，是否存在取值不为0的参数，若是，则进行元件输出的逻辑分析；若否，则提示元件参数错误。
所述步骤S20中，所述对逻辑图进行元件输出的逻辑分析具体包括：
步骤S231、判断所述逻辑图的逻辑元件是否需要输出，若是，则进入步骤S232；若否，则元件输出的逻辑分析通过；
步骤S232、以从左到右、从上到下的顺序遍历所述逻辑图的各逻辑元件，判断各所述逻辑元件的输出信息和信号类型是否一致，若是，则元件输出的逻辑分析通过；若否，则提示元件输出错误。
本发明一种面向控制逻辑组态软件的逻辑分析管理***的较佳实施例，包括如下模块：
逻辑回路遍历查找模块，用于遍历查找工程逻辑对应的工程***中的各逻辑回路；
逻辑分析模块，用于先对各所述逻辑回路的回路编号是否存在进行校验，再遍历查找各所述逻辑回路下的各逻辑图，对各所述逻辑图依次进行包括元件输入、元件参数以及元件输出的逻辑分析；即对元件输入、元件参数以及元件输出的正确性进行检查；
编译链接模块，用于对逻辑分析完成的所述工程逻辑进行编译链接；
工程逻辑下载模块，用于将编译链接完成的所述工程逻辑下载到控制站。
逻辑工程的链接分为***链接、节点链接、回路链接，因此需要从工程***、逻辑节点、逻辑回路、逻辑图的层级进行逻辑分析，才能全面判断是否存在语法错误。
所述逻辑回路遍历查找模块具体用于：
保存待逻辑分析的工程逻辑，遍历所述工程逻辑对应的工程***中的各逻辑节点，验证各所述逻辑节点的节点编号是否存在，若是，则查找各所述逻辑节点下的各逻辑回路；若否，则提示待分析的逻辑节点不存在。
所述逻辑分析模块中，所述对逻辑图进行元件输入的逻辑分析具体包括：
输入需求核对单元，用于判断所述逻辑图的逻辑元件是否需要输入，若是，则进入输入数量比对单元；若否，则元件输入的逻辑分析通过，进行元件参数的逻辑分析；
输入数量比对单元，用于以第1行第1列为起始，以从左到右、从上到下的顺序判断所述逻辑元件的需求输入与实际输入的数量是否一致，若是，则进入输入顺序校验单元；若否，则提示逻辑元件第几行第几列的输入数量错误；
输入顺序校验单元，用于对所述逻辑元件各输入的信号类型的输入顺序进行校验，校验成功，则进行元件参数的逻辑分析；校验失败，则提示第几行第几列的输入顺序错误。例如某个逻辑元件的信号类型的输入顺序设定为模拟量、数字量、模拟量，而实际的输入顺序为模拟量、模拟量、数字量，则提示输入顺序错误。
所述逻辑分析模块中，所述对逻辑图进行元件参数的逻辑分析具体包括：
参数设置需求核对单元，用于判断所述逻辑图的逻辑元件是否需要设置参数，若是，则进入逻辑元件筛选单元；若否，则元件参数的逻辑分析通过，进行元件输出的逻辑分析；
逻辑元件筛选单元，用于以从左到右、从上到下的顺序遍历所述逻辑图的各逻辑元件，从中选取不是输入元件、输出元件以及线型元件的逻辑元件；
参数取值校验单元，用于判断选取的各所述逻辑元件中，是否存在取值不为0的参数，若是，则进行元件输出的逻辑分析；若否，则提示元件参数错误。
所述逻辑分析模块中，所述对逻辑图进行元件输出的逻辑分析具体包括：
输出需求核对单元，用于判断所述逻辑图的逻辑元件是否需要输出，若是，则进入输出信息比对单元；若否，则元件输出的逻辑分析通过；
输出信息比对单元，用于以从左到右、从上到下的顺序遍历所述逻辑图的各逻辑元件，判断各所述逻辑元件的输出信息和信号类型是否一致，若是，则元件输出的逻辑分析通过；若否，则提示元件输出错误。
为了便于理解，以下对逻辑分析过程进行举例说明：
请求URL：logicAnalysis/analysis；
请求参数格式：application/json；
请求方式：Post；
请求参数列表：
Figure BDA0003974474490000081
Figure BDA0003974474490000091
请求格式示例：
{
"analysisType":1,
"diaOrLoopId":1,
"prjId":1,
}
返回数据类型：JSON；返回字段：
Figure BDA0003974474490000092
Figure BDA0003974474490000101
综上所述，本发明的优点在于：
通过保存待逻辑分析的工程逻辑，遍历工程逻辑对应的工程***中的各逻辑节点，查找各逻辑节点下的各逻辑回路，接着遍历查找各逻辑回路下的各逻辑图，对各逻辑图依次进行包括元件输入、元件参数以及元件输出的逻辑分析，接着对逻辑分析完成的工程逻辑进行编译链接，最后将编译链接完成的工程逻辑下载到控制站，即对下载到控制站的工程逻辑进行工程***、逻辑节点、逻辑回路、逻辑图层级的逻辑分析，以全面检测工程逻辑是否存在语法错误，避免控制站基于语法错误的工程逻辑进行运行，进而极大的提升了控制站运行的稳定性。
虽然以上描述了本发明的具体实施方式，但是熟悉本技术领域的技术人员应当理解，我们所描述的具体的实施例只是说明性的，而不是用于对本发明的范围的限定，熟悉本领域的技术人员在依照本发明的精神所作的等效的修饰以及变化，都应当涵盖在本发明的权利要求所保护的范围内。

Claims (10)

1.一种面向控制逻辑组态软件的逻辑分析管理方法，其特征在于：包括如下步骤：
步骤S10、遍历查找工程逻辑对应的工程***中的各逻辑回路；
步骤S20、遍历查找各所述逻辑回路下的各逻辑图，对各所述逻辑图依次进行包括元件输入、元件参数以及元件输出的逻辑分析；
步骤S30、对逻辑分析完成的所述工程逻辑进行编译链接；
步骤S40、将编译链接完成的所述工程逻辑下载到控制站。
2.如权利要求1所述的一种面向控制逻辑组态软件的逻辑分析管理方法，其特征在于：所述步骤S10具体为：
保存待逻辑分析的工程逻辑，遍历所述工程逻辑对应的工程***中的各逻辑节点，验证各所述逻辑节点的节点编号是否存在，若是，则查找各所述逻辑节点下的各逻辑回路；若否，则提示待分析的逻辑节点不存在。
3.如权利要求1所述的一种面向控制逻辑组态软件的逻辑分析管理方法，其特征在于：所述步骤S20中，所述对逻辑图进行元件输入的逻辑分析具体包括：
步骤S211、判断所述逻辑图的逻辑元件是否需要输入，若是，则进入步骤S212；若否，则元件输入的逻辑分析通过，进行元件参数的逻辑分析；
步骤S212、判断所述逻辑元件的需求输入与实际输入的数量是否一致，若是，则进入步骤S213；若否，则提示逻辑元件输入数量错误；
步骤S213、对所述逻辑元件各输入的信号类型的输入顺序进行校验，校验成功，则进行元件参数的逻辑分析；校验失败，则提示输入顺序错误。
4.如权利要求1所述的一种面向控制逻辑组态软件的逻辑分析管理方法，其特征在于：所述步骤S20中，所述对逻辑图进行元件参数的逻辑分析具体包括：
步骤S221、判断所述逻辑图的逻辑元件是否需要设置参数，若是，则进入步骤S222；若否，则元件参数的逻辑分析通过，进行元件输出的逻辑分析；
步骤S222、以从左到右、从上到下的顺序遍历所述逻辑图的各逻辑元件，从中选取不是输入元件、输出元件以及线型元件的逻辑元件；
步骤S223、判断选取的各所述逻辑元件中，是否存在取值不为0的参数，若是，则进行元件输出的逻辑分析；若否，则提示元件参数错误。
5.如权利要求1所述的一种面向控制逻辑组态软件的逻辑分析管理方法，其特征在于：所述步骤S20中，所述对逻辑图进行元件输出的逻辑分析具体包括：
步骤S231、判断所述逻辑图的逻辑元件是否需要输出，若是，则进入步骤S232；若否，则元件输出的逻辑分析通过；
步骤S232、以从左到右、从上到下的顺序遍历所述逻辑图的各逻辑元件，判断各所述逻辑元件的输出信息和信号类型是否一致，若是，则元件输出的逻辑分析通过；若否，则提示元件输出错误。
6.一种面向控制逻辑组态软件的逻辑分析管理***，其特征在于：包括如下模块：
逻辑回路遍历查找模块，用于遍历查找工程逻辑对应的工程***中的各逻辑回路；
逻辑分析模块，用于遍历查找各所述逻辑回路下的各逻辑图，对各所述逻辑图依次进行包括元件输入、元件参数以及元件输出的逻辑分析；
编译链接模块，用于对逻辑分析完成的所述工程逻辑进行编译链接；
工程逻辑下载模块，用于将编译链接完成的所述工程逻辑下载到控制站。
7.如权利要求6所述的一种面向控制逻辑组态软件的逻辑分析管理***，其特征在于：所述逻辑回路遍历查找模块具体用于：
保存待逻辑分析的工程逻辑，遍历所述工程逻辑对应的工程***中的各逻辑节点，验证各所述逻辑节点的节点编号是否存在，若是，则查找各所述逻辑节点下的各逻辑回路；若否，则提示待分析的逻辑节点不存在。
8.如权利要求6所述的一种面向控制逻辑组态软件的逻辑分析管理***，其特征在于：所述逻辑分析模块中，所述对逻辑图进行元件输入的逻辑分析具体包括：
输入需求核对单元，用于判断所述逻辑图的逻辑元件是否需要输入，若是，则进入输入数量比对单元；若否，则元件输入的逻辑分析通过，进行元件参数的逻辑分析；
输入数量比对单元，用于判断所述逻辑元件的需求输入与实际输入的数量是否一致，若是，则进入输入顺序校验单元；若否，则提示逻辑元件输入数量错误；
输入顺序校验单元，用于对所述逻辑元件各输入的信号类型的输入顺序进行校验，校验成功，则进行元件参数的逻辑分析；校验失败，则提示输入顺序错误。
9.如权利要求6所述的一种面向控制逻辑组态软件的逻辑分析管理***，其特征在于：所述逻辑分析模块中，所述对逻辑图进行元件参数的逻辑分析具体包括：
参数设置需求核对单元，用于判断所述逻辑图的逻辑元件是否需要设置参数，若是，则进入逻辑元件筛选单元；若否，则元件参数的逻辑分析通过，进行元件输出的逻辑分析；
逻辑元件筛选单元，用于以从左到右、从上到下的顺序遍历所述逻辑图的各逻辑元件，从中选取不是输入元件、输出元件以及线型元件的逻辑元件；
参数取值校验单元，用于判断选取的各所述逻辑元件中，是否存在取值不为0的参数，若是，则进行元件输出的逻辑分析；若否，则提示元件参数错误。
10.如权利要求6所述的一种面向控制逻辑组态软件的逻辑分析管理***，其特征在于：所述逻辑分析模块中，所述对逻辑图进行元件输出的逻辑分析具体包括：
输出需求核对单元，用于判断所述逻辑图的逻辑元件是否需要输出，若是，则进入输出信息比对单元；若否，则元件输出的逻辑分析通过；
输出信息比对单元，用于以从左到右、从上到下的顺序遍历所述逻辑图
的各逻辑元件，判断各所述逻辑元件的输出信息和信号类型是否一致，若是，
则元件输出的逻辑分析通过；若否，则提示元件输出错误。
CN202211524021.4A 2022-12-01 2022-12-01 一种面向控制逻辑组态软件的逻辑分析管理方法及*** Pending CN116301877A (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN202211524021.4A CN116301877A (zh) 2022-12-01 2022-12-01 一种面向控制逻辑组态软件的逻辑分析管理方法及***

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN202211524021.4A CN116301877A (zh) 2022-12-01 2022-12-01 一种面向控制逻辑组态软件的逻辑分析管理方法及***

Publications (1)

Publication Number Publication Date
CN116301877A true CN116301877A (zh) 2023-06-23

Family

ID=86798368

Family Applications (1)

Application Number Title Priority Date Filing Date
CN202211524021.4A Pending CN116301877A (zh) 2022-12-01 2022-12-01 一种面向控制逻辑组态软件的逻辑分析管理方法及***

Country Status (1)

Country Link
CN (1) CN116301877A (zh)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN117250480A (zh) * 2023-11-08 2023-12-19 英诺达(成都)电子科技有限公司 组合逻辑电路的环路检测方法、装置、设备及存储介质

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN117250480A (zh) * 2023-11-08 2023-12-19 英诺达(成都)电子科技有限公司 组合逻辑电路的环路检测方法、装置、设备及存储介质
CN117250480B (zh) * 2023-11-08 2024-02-23 英诺达(成都)电子科技有限公司 组合逻辑电路的环路检测方法、装置、设备及存储介质

Similar Documents

Publication Publication Date Title
US11675691B2 (en) System and method for performing automated API tests
CN101286132B (zh) 一种基于软件缺陷模式的测试方法及***
CN104484269A (zh) 一种自动生成测试脚本的方法
CN108804326B (zh) 一种软件代码自动检测方法
KR102147097B1 (ko) 머신러닝을 위한 학습데이터 세트의 구성 방법 및 장치
CN105446874A (zh) 一种资源配置文件的检测方法和装置
Sacramento et al. Web application model generation through reverse engineering and UI pattern inferring
CN116301877A (zh) 一种面向控制逻辑组态软件的逻辑分析管理方法及***
Chowdhury et al. CyFuzz: A differential testing framework for cyber-physical systems development environments
CN115659335A (zh) 基于混合模糊测试的区块链智能合约漏洞检测方法及装置
CN101937396A (zh) 软件程序中变量的不安全使用的检测方法
CN116257256A (zh) 一种面向控制逻辑组态软件的逻辑链接管理方法及***
CN112685320B (zh) 一种基于多候选程序的软件缺陷修复方法及装置
CN116541308B (zh) 一种回归测试方法及***
Brown et al. An automated oracle for software testing
CN112286532A (zh) 一种基于ESLint和Prettier实现前端代码格式化的方法及***
CN115934559A (zh) 表单智能测试***的测试方法
CN115310095A (zh) 一种区块链智能合约混合形式化验证方法及***
CN116149929A (zh) 一种面向控制逻辑组态软件的逻辑监控方法及***
CN104615535A (zh) 一种基于扩展的数据流模型来生成测试用例的方法与装置
CN114675948A (zh) 一种dag数据模型动态调度方法及***
CN113377675A (zh) 基于反馈的smt求解器性能测试用例约简方法
Mendonça et al. Feature-oriented Test Case Selection during Evolution of Highly-Configurable Systems
CN110941941B (zh) 用于电路设计的检查***以及检查方法
CN114756217B (zh) 基于插件的脚本生成***

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