CN116301877A - Logic analysis management method and system for control logic configuration software - Google Patents
Logic analysis management method and system for control logic configuration software Download PDFInfo
- 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
Links
- 238000007726 management method Methods 0.000 title claims abstract description 23
- 238000010586 diagram Methods 0.000 claims abstract description 66
- 238000000034 method Methods 0.000 claims abstract description 3
- 238000012795 verification Methods 0.000 claims description 7
- 238000012216 screening Methods 0.000 claims description 6
- 238000012544 monitoring process Methods 0.000 description 3
- 238000004886 process control Methods 0.000 description 2
- 230000001419 dependent effect Effects 0.000 description 1
- 238000011161 development Methods 0.000 description 1
- 238000012986 modification Methods 0.000 description 1
- 230000004048 modification Effects 0.000 description 1
- 239000003208 petroleum Substances 0.000 description 1
- 239000000126 substance Substances 0.000 description 1
- XLYOFNOQVPJJNP-UHFFFAOYSA-N water Substances O XLYOFNOQVPJJNP-UHFFFAOYSA-N 0.000 description 1
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
The invention provides a logic analysis management method and a system for control logic configuration software, which belongs to the technical field of configuration software, and the method comprises the following steps: step S10, traversing and searching each logic loop in the engineering system corresponding to the engineering logic; step S20, traversing and searching each logic diagram under each logic loop, and sequentially carrying out logic analysis comprising element input, element parameters and element output on each logic diagram; step S30, compiling and linking the engineering logic with the logic analysis completed; and step S40, downloading the engineering logic with the compiled links to a control station. The invention has the advantages that: the running stability of the control station is greatly improved.
Description
Technical Field
The invention relates to the technical field of configuration software, in particular to a logic analysis management method and system for control logic configuration software.
Background
The configuration software is also called configuration monitoring system software, and is special software for data acquisition and process control, and also refers to a software platform and a development environment at the level of an automatic control system monitoring layer. The software is also a general-purpose level software tool for rapidly constructing the monitoring function of the industrial automatic control system for users through a flexible configuration mode. The configuration software is widely applied to the fields of machinery, automobiles, petroleum, chemical industry, papermaking, water treatment, process control and the like.
The configuration software installed in the control station is dependent on engineering logic, i.e. the engineering logic needs to be downloaded to the control station in order to operate the control station. However, conventionally, the engineering logic is directly downloaded to the control station, and the engineering logic is not parsed, so that the engineering logic operated by the control station often has a grammar error, and the control station needs to be subjected to shutdown check, thereby affecting the operation stability of the control station.
Therefore, how to provide a logic analysis management method and system for control logic configuration software to improve the operation stability of a control station is a technical problem to be solved.
Disclosure of Invention
The invention aims to solve the technical problem of providing a logic analysis management method and a logic analysis management system for control logic configuration software, which are used for improving the running stability of a control station.
In a first aspect, the present invention provides a logic analysis management method for control logic configuration software, including the following steps:
step S10, traversing and searching each logic loop in the engineering system corresponding to the engineering logic;
step S20, traversing and searching each logic diagram under each logic loop, and sequentially carrying out logic analysis comprising element input, element parameters and element output on each logic diagram;
step S30, compiling and linking the engineering logic with the logic analysis completed;
and step S40, downloading the engineering logic with the compiled links to a control station.
Further, the step S10 specifically includes:
storing engineering logic to be logically analyzed, traversing each logic node in an engineering system corresponding to the engineering logic, verifying whether the node number of each logic node exists, and if yes, searching each logic loop under each logic node; if not, prompting that the logic node to be analyzed does not exist.
Further, in the step S20, the logic analysis for performing element input on the logic diagram specifically includes:
step S211, judging whether the logic elements of the logic diagram need to be input, if so, entering step S212; if not, the logic analysis of the element input passes, and the logic analysis of the element parameters is carried out;
step S212, judging whether the quantity of the required input and the actual input of the logic element is consistent, if yes, entering step S213; if not, prompting the logic element to input the quantity error;
step S213, checking the input sequence of the signal types input by the logic element, and performing logic analysis of element parameters if the check is successful; if the verification fails, the input sequence is prompted to be wrong.
Further, in the step S20, the performing the logic analysis of the element parameters on the logic diagram specifically includes:
step S221, judging whether the logic elements of the logic diagram need to set parameters, if so, entering step S222; if not, the logic analysis of the element parameters is passed, and the logic analysis of the element output is carried out;
step S222, traversing each logic element of the logic diagram from left to right and from top to bottom, and selecting logic elements which are not input elements, output elements and linear elements;
step S223, judging whether the selected logic elements have parameters with values different from 0, if so, performing logic analysis of element output; if not, prompting the parameter error of the element.
Further, in the step S20, the logic analysis for performing element output on the logic diagram specifically includes:
step S231, judging whether the logic elements of the logic diagram need to be output, if so, entering step S232; if not, the logic analysis of the element output passes;
step S232, traversing each logic element of the logic diagram in sequence from left to right and from top to bottom, judging whether the output information of each logic element is consistent with the signal type, if so, passing the logic analysis of the element output; if not, the prompting element outputs an error.
In a second aspect, the present invention provides a logic analysis management system for control logic configuration software, including the following modules:
the logic loop traversing and searching module is used for traversing and searching each logic loop in the engineering system corresponding to the engineering logic;
the logic analysis module is used for traversing and searching each logic diagram under each logic loop, and sequentially carrying out logic analysis comprising element input, element parameters and element output on each logic diagram;
the compiling link module is used for compiling and linking the engineering logic subjected to logic analysis;
and the engineering logic downloading module is used for downloading the engineering logic with the compiled link to the control station.
Further, the logic loop traversal search module is specifically configured to:
storing engineering logic to be logically analyzed, traversing each logic node in an engineering system corresponding to the engineering logic, verifying whether the node number of each logic node exists, and if yes, searching each logic loop under each logic node; if not, prompting that the logic node to be analyzed does not exist.
Further, in the logic analysis module, the logic analysis for performing element input on the logic diagram specifically includes:
the input demand checking unit is used for judging whether the logic elements of the logic diagram need to be input or not, and if yes, the input demand checking unit enters the input quantity comparing unit; if not, the logic analysis of the element input passes, and the logic analysis of the element parameters is carried out;
the input quantity comparison unit is used for judging whether the quantity of the required input and the actual input of the logic element is consistent, if so, the logic element enters the input sequence checking unit; if not, prompting the logic element to input the quantity error;
the input sequence checking unit is used for checking the input sequence of each input signal type of the logic element, and if the check is successful, logic analysis of element parameters is carried out; if the verification fails, the input sequence is prompted to be wrong.
Further, in the logic analysis module, the logic analysis of the element parameters on the logic diagram specifically includes:
the parameter setting requirement checking unit is used for judging whether the logic element of the logic diagram needs to set parameters or not, and if so, entering the logic element screening unit; if not, the logic analysis of the element parameters is passed, and the logic analysis of the element output is carried out;
a logic element screening unit for traversing each logic element of the logic diagram in a left-to-right, top-to-bottom order, selecting logic elements other than the input element, the output element, and the line element;
the parameter value checking unit is used for judging whether the selected logic elements have parameters with the value not being 0 or not, and if so, logic analysis of element output is carried out; if not, prompting the parameter error of the element.
Further, in the logic analysis module, the logic analysis for performing element output on the logic diagram specifically includes:
the output requirement checking unit is used for judging whether the logic elements of the logic diagram need to be output or not, and if yes, the output requirement checking unit enters the output information comparing unit; if not, the logic analysis of the element output passes;
the output information comparison unit is used for traversing each logic element of the logic diagram in sequence from left to right and from top to bottom, judging whether the output information of each logic element is consistent with the signal type, and if so, passing the logic analysis of the element output; if not, the prompting element outputs an error.
The invention has the advantages that:
by storing the engineering logic to be logically analyzed, traversing each logic node in the engineering system corresponding to the engineering logic, searching each logic loop under each logic node, then traversing each logic graph under each logic loop, sequentially carrying out logic analysis comprising element input, element parameters and element output on each logic graph, then compiling and linking the engineering logic subjected to logic analysis, and finally downloading the engineering logic subjected to compiling and linking to a control station, namely carrying out logic analysis on the engineering logic downloaded to the control station in the engineering system, the logic nodes, the logic loops and the logic graph level, so as to comprehensively detect whether the engineering logic has grammar errors, avoiding the control station from running based on the engineering logic with grammar errors, and further greatly improving the running stability of the control station.
Drawings
The invention will be further described with reference to examples of embodiments with reference to the accompanying drawings.
FIG. 1 is a flow chart of a logic analysis management method for control logic configuration software according to the present invention.
FIG. 2 is a schematic diagram of a logic analysis management system for controlling logic configuration software according to the present invention.
Detailed Description
According to the technical scheme in the embodiment of the application, the overall thought is as follows: and carrying out logic analysis on engineering logic downloaded to the control station in the levels of an engineering system, logic nodes, logic loops and logic diagrams so as to comprehensively detect whether the engineering logic has grammar errors or not, thereby improving the running stability of the control station.
Referring to fig. 1 to 2, a preferred embodiment of a logic analysis management method for control logic configuration software of the present invention includes the following steps:
step S10, traversing and searching each logic loop in the engineering system corresponding to the engineering logic;
step S20, checking whether the loop number of each logic loop exists or not, then traversing and searching each logic diagram under each logic loop, and sequentially carrying out logic analysis comprising element input, element parameters and element output on each logic diagram; namely, checking the correctness of element input, element parameters and element output;
step S30, compiling and linking the engineering logic with the logic analysis completed;
and step S40, downloading the engineering logic with the compiled links to a control station.
The links of the logic engineering are divided into system links, node links and loop links, so that logic analysis is required from the levels of the engineering system, the logic nodes, the logic loops and the logic diagrams to comprehensively judge whether grammar errors exist.
The step S10 specifically includes:
storing engineering logic to be logically analyzed, traversing each logic node in an engineering system corresponding to the engineering logic, verifying whether the node number of each logic node exists, and if yes, searching each logic loop under each logic node; if not, prompting that the logic node to be analyzed does not exist.
In the step S20, the logic analysis for performing element input on the logic diagram specifically includes:
step S211, judging whether the logic elements of the logic diagram need to be input, if so, entering step S212; if not, the logic analysis of the element input passes, and the logic analysis of the element parameters is carried out;
step S212, starting with the 1 st row and the 1 st column, judging whether the number of the required inputs and the number of the actual inputs of the logic elements are consistent in sequence from left to right and from top to bottom, if so, entering step S213; if not, prompting the input number of the lines and columns of the logic element to be wrong;
step S213, checking the input sequence of the signal types input by the logic element, and performing logic analysis of element parameters if the check is successful; and if the verification fails, prompting the input sequence of the line and the column is wrong. For example, the input order of the signal type of a logic element is set to be analog, digital, or analog, and the actual input order is set to be analog, or digital, so that an error is indicated.
In the step S20, the performing the logic analysis of the element parameters on the logic diagram specifically includes:
step S221, judging whether the logic elements of the logic diagram need to set parameters, if so, entering step S222; if not, the logic analysis of the element parameters is passed, and the logic analysis of the element output is carried out;
step S222, traversing each logic element of the logic diagram from left to right and from top to bottom, and selecting logic elements which are not input elements, output elements and linear elements;
step S223, judging whether the selected logic elements have parameters with values different from 0, if so, performing logic analysis of element output; if not, prompting the parameter error of the element.
In the step S20, the logic analysis for outputting the element from the logic diagram specifically includes:
step S231, judging whether the logic elements of the logic diagram need to be output, if so, entering step S232; if not, the logic analysis of the element output passes;
step S232, traversing each logic element of the logic diagram in sequence from left to right and from top to bottom, judging whether the output information of each logic element is consistent with the signal type, if so, passing the logic analysis of the element output; if not, the prompting element outputs an error.
The invention relates to a preferred embodiment of a logic analysis management system for control logic configuration software, which comprises the following modules:
the logic loop traversing and searching module is used for traversing and searching each logic loop in the engineering system corresponding to the engineering logic;
the logic analysis module is used for checking whether the loop number of each logic loop exists or not, then traversing and searching each logic diagram under each logic loop, and sequentially carrying out logic analysis comprising element input, element parameters and element output on each logic diagram; namely, checking the correctness of element input, element parameters and element output;
the compiling link module is used for compiling and linking the engineering logic subjected to logic analysis;
and the engineering logic downloading module is used for downloading the engineering logic with the compiled link to the control station.
The links of the logic engineering are divided into system links, node links and loop links, so that logic analysis is required from the levels of the engineering system, the logic nodes, the logic loops and the logic diagrams to comprehensively judge whether grammar errors exist.
The logic loop traversal searching module is specifically configured to:
storing engineering logic to be logically analyzed, traversing each logic node in an engineering system corresponding to the engineering logic, verifying whether the node number of each logic node exists, and if yes, searching each logic loop under each logic node; if not, prompting that the logic node to be analyzed does not exist.
In the logic analysis module, the logic analysis for performing element input on the logic diagram specifically includes:
the input demand checking unit is used for judging whether the logic elements of the logic diagram need to be input or not, and if yes, the input demand checking unit enters the input quantity comparing unit; if not, the logic analysis of the element input passes, and the logic analysis of the element parameters is carried out;
the input quantity comparison unit is used for judging whether the quantity of the required input and the actual input of the logic element is consistent in sequence from left to right and from top to bottom by taking the 1 st row and the 1 st column as the start, and if so, entering the input sequence verification unit; if not, prompting the input number of the lines and columns of the logic element to be wrong;
the input sequence checking unit is used for checking the input sequence of each input signal type of the logic element, and if the check is successful, logic analysis of element parameters is carried out; and if the verification fails, prompting the input sequence of the line and the column is wrong. For example, the input order of the signal type of a logic element is set to be analog, digital, or analog, and the actual input order is set to be analog, or digital, so that an error is indicated.
In the logic analysis module, the logic analysis of the element parameters on the logic diagram specifically includes:
the parameter setting requirement checking unit is used for judging whether the logic element of the logic diagram needs to set parameters or not, and if so, entering the logic element screening unit; if not, the logic analysis of the element parameters is passed, and the logic analysis of the element output is carried out;
a logic element screening unit for traversing each logic element of the logic diagram in a left-to-right, top-to-bottom order, selecting logic elements other than the input element, the output element, and the line element;
the parameter value checking unit is used for judging whether the selected logic elements have parameters with the value not being 0 or not, and if so, logic analysis of element output is carried out; if not, prompting the parameter error of the element.
In the logic analysis module, the logic analysis for outputting the element of the logic diagram specifically includes:
the output requirement checking unit is used for judging whether the logic elements of the logic diagram need to be output or not, and if yes, the output requirement checking unit enters the output information comparing unit; if not, the logic analysis of the element output passes;
the output information comparison unit is used for traversing each logic element of the logic diagram in sequence from left to right and from top to bottom, judging whether the output information of each logic element is consistent with the signal type, and if so, passing the logic analysis of the element output; if not, the prompting element outputs an error.
For ease of understanding, the logic analysis process is illustrated below:
request URL: logicalanalysis/analysis;
request parameter format: application/json;
the request mode is as follows: post;
request parameter list:
request format example:
{
"analysisType":1,
"diaOrLoopId":1,
"prjId":1,
}
return data type: JSON; return field:
in summary, the invention has the advantages that:
by storing the engineering logic to be logically analyzed, traversing each logic node in the engineering system corresponding to the engineering logic, searching each logic loop under each logic node, then traversing each logic graph under each logic loop, sequentially carrying out logic analysis comprising element input, element parameters and element output on each logic graph, then compiling and linking the engineering logic subjected to logic analysis, and finally downloading the engineering logic subjected to compiling and linking to a control station, namely carrying out logic analysis on the engineering logic downloaded to the control station in the engineering system, the logic nodes, the logic loops and the logic graph level, so as to comprehensively detect whether the engineering logic has grammar errors, avoiding the control station from running based on the engineering logic with grammar errors, and further greatly improving the running stability of the control station.
While specific embodiments of the invention have been described above, it will be appreciated by those skilled in the art that the specific embodiments described are illustrative only and not intended to limit the scope of the invention, and that equivalent modifications and variations of the invention in light of the spirit of the invention will be covered by the claims of the present invention.
Claims (10)
1. A logic analysis management method for control logic configuration software is characterized in that: the method comprises the following steps:
step S10, traversing and searching each logic loop in the engineering system corresponding to the engineering logic;
step S20, traversing and searching each logic diagram under each logic loop, and sequentially carrying out logic analysis comprising element input, element parameters and element output on each logic diagram;
step S30, compiling and linking the engineering logic with the logic analysis completed;
and step S40, downloading the engineering logic with the compiled links to a control station.
2. The logic analysis management method for control logic configuration software according to claim 1, wherein: the step S10 specifically includes:
storing engineering logic to be logically analyzed, traversing each logic node in an engineering system corresponding to the engineering logic, verifying whether the node number of each logic node exists, and if yes, searching each logic loop under each logic node; if not, prompting that the logic node to be analyzed does not exist.
3. The logic analysis management method for control logic configuration software according to claim 1, wherein: in the step S20, the logic analysis for performing element input on the logic diagram specifically includes:
step S211, judging whether the logic elements of the logic diagram need to be input, if so, entering step S212; if not, the logic analysis of the element input passes, and the logic analysis of the element parameters is carried out;
step S212, judging whether the quantity of the required input and the actual input of the logic element is consistent, if yes, entering step S213; if not, prompting the logic element to input the quantity error;
step S213, checking the input sequence of the signal types input by the logic element, and performing logic analysis of element parameters if the check is successful; if the verification fails, the input sequence is prompted to be wrong.
4. The logic analysis management method for control logic configuration software according to claim 1, wherein: in the step S20, the performing the logic analysis of the element parameters on the logic diagram specifically includes:
step S221, judging whether the logic elements of the logic diagram need to set parameters, if so, entering step S222; if not, the logic analysis of the element parameters is passed, and the logic analysis of the element output is carried out;
step S222, traversing each logic element of the logic diagram from left to right and from top to bottom, and selecting logic elements which are not input elements, output elements and linear elements;
step S223, judging whether the selected logic elements have parameters with values different from 0, if so, performing logic analysis of element output; if not, prompting the parameter error of the element.
5. The logic analysis management method for control logic configuration software according to claim 1, wherein: in the step S20, the logic analysis for outputting the element from the logic diagram specifically includes:
step S231, judging whether the logic elements of the logic diagram need to be output, if so, entering step S232; if not, the logic analysis of the element output passes;
step S232, traversing each logic element of the logic diagram in sequence from left to right and from top to bottom, judging whether the output information of each logic element is consistent with the signal type, if so, passing the logic analysis of the element output; if not, the prompting element outputs an error.
6. A logic analysis management system for control logic configuration software is characterized in that: the device comprises the following modules:
the logic loop traversing and searching module is used for traversing and searching each logic loop in the engineering system corresponding to the engineering logic;
the logic analysis module is used for traversing and searching each logic diagram under each logic loop, and sequentially carrying out logic analysis comprising element input, element parameters and element output on each logic diagram;
the compiling link module is used for compiling and linking the engineering logic subjected to logic analysis;
and the engineering logic downloading module is used for downloading the engineering logic with the compiled link to the control station.
7. The logic analysis management system for control logic configuration software of claim 6, wherein: the logic loop traversal searching module is specifically configured to:
storing engineering logic to be logically analyzed, traversing each logic node in an engineering system corresponding to the engineering logic, verifying whether the node number of each logic node exists, and if yes, searching each logic loop under each logic node; if not, prompting that the logic node to be analyzed does not exist.
8. The logic analysis management system for control logic configuration software of claim 6, wherein: in the logic analysis module, the logic analysis for performing element input on the logic diagram specifically includes:
the input demand checking unit is used for judging whether the logic elements of the logic diagram need to be input or not, and if yes, the input demand checking unit enters the input quantity comparing unit; if not, the logic analysis of the element input passes, and the logic analysis of the element parameters is carried out;
the input quantity comparison unit is used for judging whether the quantity of the required input and the actual input of the logic element is consistent, if so, the logic element enters the input sequence checking unit; if not, prompting the logic element to input the quantity error;
the input sequence checking unit is used for checking the input sequence of each input signal type of the logic element, and if the check is successful, logic analysis of element parameters is carried out; if the verification fails, the input sequence is prompted to be wrong.
9. The logic analysis management system for control logic configuration software of claim 6, wherein: in the logic analysis module, the logic analysis of the element parameters on the logic diagram specifically includes:
the parameter setting requirement checking unit is used for judging whether the logic element of the logic diagram needs to set parameters or not, and if so, entering the logic element screening unit; if not, the logic analysis of the element parameters is passed, and the logic analysis of the element output is carried out;
a logic element screening unit for traversing each logic element of the logic diagram in a left-to-right, top-to-bottom order, selecting logic elements other than the input element, the output element, and the line element;
the parameter value checking unit is used for judging whether the selected logic elements have parameters with the value not being 0 or not, and if so, logic analysis of element output is carried out; if not, prompting the parameter error of the element.
10. The logic analysis management system for control logic configuration software of claim 6, wherein: in the logic analysis module, the logic analysis for outputting the element of the logic diagram specifically includes:
the output requirement checking unit is used for judging whether the logic elements of the logic diagram need to be output or not, and if yes, the output requirement checking unit enters the output information comparing unit; if not, the logic analysis of the element output passes;
an output information comparison unit for traversing the logic diagram from left to right and from top to bottom
Judging whether the output information of each logic element is consistent with the signal type, if so,
the logic analysis of the element output passes; if not, the prompting element outputs an error.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202211524021.4A CN116301877A (en) | 2022-12-01 | 2022-12-01 | Logic analysis management method and system for control logic configuration software |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202211524021.4A CN116301877A (en) | 2022-12-01 | 2022-12-01 | Logic analysis management method and system for control logic configuration software |
Publications (1)
Publication Number | Publication Date |
---|---|
CN116301877A true CN116301877A (en) | 2023-06-23 |
Family
ID=86798368
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN202211524021.4A Pending CN116301877A (en) | 2022-12-01 | 2022-12-01 | Logic analysis management method and system for control logic configuration software |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN116301877A (en) |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN117250480A (en) * | 2023-11-08 | 2023-12-19 | 英诺达(成都)电子科技有限公司 | Loop detection method, device, equipment and storage medium of combinational logic circuit |
-
2022
- 2022-12-01 CN CN202211524021.4A patent/CN116301877A/en active Pending
Cited By (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN117250480A (en) * | 2023-11-08 | 2023-12-19 | 英诺达(成都)电子科技有限公司 | Loop detection method, device, equipment and storage medium of combinational logic circuit |
CN117250480B (en) * | 2023-11-08 | 2024-02-23 | 英诺达(成都)电子科技有限公司 | Loop detection method, device, equipment and storage medium of combinational logic circuit |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US11675691B2 (en) | System and method for performing automated API tests | |
CN104484269A (en) | Method for automatically generating testing script | |
CN103150249A (en) | Automatic testing method and system | |
CN108804326B (en) | Automatic software code detection method | |
Sacramento et al. | Web application model generation through reverse engineering and UI pattern inferring | |
CN116301877A (en) | Logic analysis management method and system for control logic configuration software | |
CN101937396B (en) | Detecting method of unsafe variable use in software program | |
CN111694746A (en) | Flash defect fuzzy evaluation tool for compilation type language AS3 | |
CN105335246A (en) | Method for automatically repairing program crash defect based on question-answer website analysis | |
Chowdhury et al. | CyFuzz: A differential testing framework for cyber-physical systems development environments | |
CN115659335A (en) | Block chain intelligent contract vulnerability detection method and device based on mixed fuzzy test | |
CN116257256A (en) | Logic link management method and system for control logic configuration software | |
CN112685320B (en) | Software defect repairing method and device based on multiple candidate programs | |
CN116541308B (en) | Regression testing method and system | |
Brown et al. | An automated oracle for software testing | |
CN110286912B (en) | Code detection method and device and electronic equipment | |
CN101673200A (en) | Method and device for detecting user input model | |
CN115310095A (en) | Block chain intelligent contract mixed formal verification method and system | |
CN116149929A (en) | Logic monitoring method and system for control logic configuration software | |
CN101833505A (en) | Method for detecting security bugs of software system | |
CN104615535A (en) | Method and device for generating test case based on extended data flow model | |
CN106909500B (en) | Method and system for detecting errors introduced in airborne software development process | |
CN114675948A (en) | DAG data model dynamic scheduling method and system | |
Mendonça et al. | Feature-oriented Test Case Selection during Evolution of Highly-Configurable Systems | |
CN114756217B (en) | Plug-in based script generation system |
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 |