CN112231062A - Safety test system and method for programmable industrial controller - Google Patents

Safety test system and method for programmable industrial controller Download PDF

Info

Publication number
CN112231062A
CN112231062A CN202011144896.2A CN202011144896A CN112231062A CN 112231062 A CN112231062 A CN 112231062A CN 202011144896 A CN202011144896 A CN 202011144896A CN 112231062 A CN112231062 A CN 112231062A
Authority
CN
China
Prior art keywords
test
safety
testing
industrial controller
tested
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
CN202011144896.2A
Other languages
Chinese (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.)
China Aerospace Systems Engineering Co ltd
Original Assignee
China Aerospace Systems Engineering 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 China Aerospace Systems Engineering Co ltd filed Critical China Aerospace Systems Engineering Co ltd
Priority to CN202011144896.2A priority Critical patent/CN112231062A/en
Publication of CN112231062A publication Critical patent/CN112231062A/en
Pending legal-status Critical Current

Links

Images

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00Arrangements for program control, e.g. control units
    • G06F9/06Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/44Arrangements for executing specific programs
    • G06F9/455Emulation; Interpretation; Software simulation, e.g. virtualisation or emulation of application or operating system execution engines
    • G06F9/45533Hypervisors; Virtual machine monitors
    • G06F9/45558Hypervisor-specific management and integration aspects
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/36Preventing errors by testing or debugging software
    • G06F11/3668Software testing
    • G06F11/3672Test management
    • G06F11/3688Test management for test execution, e.g. scheduling of test suites
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/36Preventing errors by testing or debugging software
    • G06F11/3668Software testing
    • G06F11/3672Test management
    • G06F11/3692Test management for test results analysis
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F21/00Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F21/50Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems
    • G06F21/52Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems during program execution, e.g. stack integrity ; Preventing unwanted data erasure; Buffer overflow
    • G06F21/53Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems during program execution, e.g. stack integrity ; Preventing unwanted data erasure; Buffer overflow by executing in a restricted environment, e.g. sandbox or secure virtual machine
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00Arrangements for program control, e.g. control units
    • G06F9/06Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/44Arrangements for executing specific programs
    • G06F9/455Emulation; Interpretation; Software simulation, e.g. virtualisation or emulation of application or operating system execution engines
    • G06F9/45533Hypervisors; Virtual machine monitors
    • G06F9/45558Hypervisor-specific management and integration aspects
    • G06F2009/45575Starting, stopping, suspending or resuming virtual machine instances
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00Arrangements for program control, e.g. control units
    • G06F9/06Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/44Arrangements for executing specific programs
    • G06F9/455Emulation; Interpretation; Software simulation, e.g. virtualisation or emulation of application or operating system execution engines
    • G06F9/45533Hypervisors; Virtual machine monitors
    • G06F9/45558Hypervisor-specific management and integration aspects
    • G06F2009/45591Monitoring or debugging support

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Software Systems (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Computer Security & Cryptography (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Programmable Controllers (AREA)

Abstract

The invention belongs to the technical field of safety test of programmable industrial controllers, and particularly relates to a safety test system for a programmable industrial controller, which comprises: the system comprises a virtual industrial control subsystem and a safety test subsystem; the virtual industrial control subsystem is used for establishing a virtual simulation test model for the programmable industrial controller to be tested and injecting the virtual simulation test model into the safety test subsystem; the safety testing subsystem is used for establishing a safety testing environment according to the virtual simulation testing model, carrying out safety testing on the programmable industrial controller to be tested and carrying out safety risk assessment according to a testing result; and meanwhile, recovering the safety test environment for the next programmable industrial controller to be tested to perform safety test.

Description

Safety test system and method for programmable industrial controller
Technical Field
The invention belongs to the technical field of safety test of programmable industrial controllers, and particularly relates to a safety test system and a safety test method for a programmable industrial controller.
Background
Programmable industrial controllers employ programmable memories for executing instructions that store logical operations and sequence control, timing, counting, and arithmetic operations, and for controlling various types of machinery or manufacturing processes via digital or analog input (I) and output (O) interfaces.
When the conventional vulnerability scanning technology is used for carrying out safety detection on the programmable industrial controller, the programmable industrial controller is very easy to damage programs or components, so that the programmable industrial controller cannot normally operate, even stops operating, and great loss is brought. In order to perform safety verification under the condition of not influencing the operation of the programmable industrial controller, a set of simulated test environment needs to be established.
At present, a simulation test environment is built through a physical sand table in the traditional test method, but the traditional test method is high in price and cannot adapt to safety test environments of different scenes. In addition, the simulation environment constructed by the physical sand table has high difficulty, long consumed time, low simulation degree and low flexibility, and is difficult to adapt to the requirement of rapid safety test.
Disclosure of Invention
In order to solve the defects in the prior art, the invention provides a safety test system for a programmable industrial controller, which realizes the quick construction of a simulation test environment by virtualizing each component, provides a repairable safety test environment, can safely and quickly find the safety problem of the programmable industrial controller to be tested, and supports the verification of the safety protection effect.
The invention provides a safety test system for a programmable industrial controller, which comprises: the system comprises a virtual industrial control subsystem and a safety test subsystem;
the virtual industrial control subsystem is used for establishing a virtual simulation test model for the programmable industrial controller to be tested and injecting the virtual simulation test model into the safety test subsystem;
the safety testing subsystem is used for establishing a safety testing environment according to the virtual simulation testing model, carrying out safety testing on the programmable industrial controller to be tested and carrying out safety risk assessment according to a testing result; and meanwhile, recovering the safety test environment for the next programmable industrial controller to be tested to perform safety test.
As an improvement of the above technical solution, the virtual industrial control subsystem includes: the system comprises an asset and topology resource module, a virtual system construction module, a matching module and a simulation component library;
the asset and topology resource module is used for selecting a control template consistent with a simulation test environment required by the programmable industrial controller to be tested according to the simulation test environment to obtain an industrial control network topology model, and inputting the industrial control network topology model into the virtual system construction module;
the simulation component library is used for storing a plurality of key components;
the matching module is used for selecting a key component matched with the simulation component from the simulation component library according to the industrial control network topology model and inputting the key component into the virtual system construction module;
and the virtual system construction module is used for fusing the acquired industrial control network topology model and the key component matched with the industrial control network topology model, establishing a virtual simulation test model and injecting the virtual simulation test model into the safety test subsystem.
As an improvement of the above technical solution, the key component includes: configuration subassembly, controller subassembly, executor subassembly, state display module.
As an improvement of the above technical solution, the safety testing subsystem includes: the device comprises a sandbox testing module, a safety testing module and a testing analysis and evaluation module;
the sandbox testing module is used for establishing and recovering a safety testing environment based on the established virtual simulation testing model; the system is also used for carrying out safety test on the programmable industrial controller to be tested according to the configured test tool to obtain test data and sending the test data to the test analysis and evaluation module;
the test tool set module is used for selecting a test tool matched with the programmable industrial controller to be tested and injecting the configured test tool into the sandbox test module;
and the test analysis and evaluation module is used for analyzing the test data according to the expert knowledge base, acquiring the test result of the programmable industrial controller to be tested, and evaluating the safety risk of the programmable industrial controller to be tested according to the test result.
As an improvement of the above technical solution, the specific implementation process of the test analysis and evaluation module is as follows:
the test analysis and evaluation module receives the acquired test data, the test data is a test message in the form of a safety problem existing in the modeling language +, the test message is input to the expert knowledge base, a safety risk report aiming at the programmable industrial controller to be tested is output, the safety risk report is used as a test result, and safety risk evaluation is carried out on the safety performance of the programmable industrial controller according to the test result.
The invention also provides a safety test method for the programmable industrial controller, which is realized based on the safety test system for the programmable industrial controller and comprises the following steps:
the virtual industrial control subsystem establishes a virtual simulation test model for the programmable industrial controller to be tested and injects the virtual simulation test model into the safety test subsystem;
the safety testing subsystem establishes a safety testing environment according to the virtual simulation testing model, performs safety testing on the programmable industrial controller to be tested, and performs safety risk assessment according to a testing result; and meanwhile, recovering the safety test environment for the next programmable industrial controller to be tested to perform safety test.
As one improvement of the above technical solution, a safety test environment is established according to the virtual simulation test model, a safety test is performed on the programmable industrial controller to be tested, and safety risk assessment is performed according to a test result; meanwhile, recovering the safety test environment for the next programmable industrial controller to be tested to perform safety test; the method comprises the following specific steps:
selecting a testing tool matched with the programmable industrial controller to be tested by the testing tool set module, and injecting the configured testing tool into the sandbox testing module;
the sandbox testing module establishes a safety testing environment based on the established virtual simulation testing model; according to the configured testing tool, safety testing is carried out on the programmable industrial controller to be tested to obtain testing data, and the testing data are sent to a testing analysis and evaluation module;
the test analysis and evaluation module receives the acquired test data, the test data is a test message in the form of a safety problem existing in the modeling language +, the test message is input to the expert knowledge base, a safety risk report aiming at the programmable industrial controller to be tested is output, the safety risk report is used as a test result, and safety risk evaluation is carried out on the safety performance of the programmable industrial controller according to the test result.
Compared with the prior art, the invention has the beneficial effects that:
the system can efficiently establish the simulation test environment of the programmable industrial controller to be tested by constructing the virtual simulation test environment and utilizing the configuration mode, and realizes the configuration of different simulation test environments by the configuration mode; and the operation logic of the programmable industrial controller to be tested after the adjustable configuration is led into a safety test environment, so that the recoverable safety test is realized.
Drawings
Fig. 1 is a schematic structural diagram of a safety test system for a programmable industrial controller according to the present invention.
Detailed Description
The invention will now be further described with reference to the accompanying drawings.
As shown in fig. 1, the present invention provides a safety test system for a programmable industrial controller, characterized in that the system comprises: the system comprises a virtual industrial control subsystem and a safety test subsystem;
the virtual industrial control subsystem is used for establishing a virtual simulation test model for the programmable industrial controller to be tested and injecting the virtual simulation test model into the safety test subsystem;
wherein, the virtual industrial control subsystem includes: the system comprises an asset and topology resource module, a virtual system construction module, a matching module and a simulation component library;
the asset and topology resource module is used for selecting a control template consistent with a simulation test environment required by the programmable industrial controller to be tested according to the simulation test environment to obtain an industrial control network topology model, and inputting the industrial control network topology model into the virtual system construction module;
the simulation component library is used for storing a plurality of key components;
the matching module is used for selecting a key component matched with the simulation component from the simulation component library according to the industrial control network topology model and inputting the key component into the virtual system construction module;
wherein the key component comprises: configuration subassembly, controller subassembly, executor subassembly, state display module.
And the virtual system construction module is used for fusing the acquired industrial control network topology model and the key component matched with the industrial control network topology model, establishing a virtual simulation test model and injecting the virtual simulation test model into the safety test subsystem.
The safety testing subsystem is used for establishing a safety testing environment according to the virtual simulation testing model, carrying out safety testing on the programmable industrial controller to be tested and carrying out safety risk assessment according to a testing result; and meanwhile, recovering the safety test environment for the next programmable industrial controller to be tested to perform safety test.
Wherein the security test subsystem comprises: the device comprises a sandbox testing module, a safety testing module and a testing analysis and evaluation module;
the sandbox testing module is used for establishing and recovering a safety testing environment based on the established virtual simulation testing model; the system is also used for carrying out safety test on the programmable industrial controller to be tested according to the configured test tool to obtain test data and sending the test data to the test analysis and evaluation module;
the test tool set module is used for selecting a test tool matched with the programmable industrial controller to be tested and injecting the configured test tool into the sandbox test module;
and the test analysis and evaluation module is used for analyzing the test data according to the expert knowledge base, acquiring the test result of the programmable industrial controller to be tested, and evaluating the safety risk of the programmable industrial controller to be tested according to the test result.
Specifically, the test analysis and evaluation module receives the acquired test data, the test data is a test message in the form of a safety problem existing in the modeling language +, the test message is input to the expert knowledge base, a safety risk report for the programmable industrial controller to be tested is output, the safety risk report is used as a test result, and safety risk evaluation is performed on the safety performance of the programmable industrial controller according to the test result.
The invention also provides a safety test method for the programmable industrial controller, which is realized based on the system and comprises the following steps:
the virtual industrial control subsystem establishes a virtual simulation test model for the programmable industrial controller to be tested and injects the virtual simulation test model into the safety test subsystem;
the safety testing subsystem establishes a safety testing environment according to the virtual simulation testing model, performs safety testing on the programmable industrial controller to be tested, and performs safety risk assessment according to a testing result; and meanwhile, recovering the safety test environment for the next programmable industrial controller to be tested to perform safety test.
Specifically, the test tool set module selects a test tool matched with the programmable industrial controller to be tested, and injects the configured test tool into the sandbox test module;
the sandbox testing module establishes a safety testing environment based on the established virtual simulation testing model; according to the configured testing tool, safety testing is carried out on the programmable industrial controller to be tested to obtain testing data, and the testing data are sent to a testing analysis and evaluation module;
the test analysis and evaluation module receives the acquired test data, the test data is a test message in a mode of a safety problem existing in a patterned language +, for example, a test message in a mode of a number + safety loophole existing, the test message is input to the expert knowledge base, a safety risk report aiming at the programmable industrial controller to be tested is output, the safety risk report is used as a test result, and safety risk evaluation is carried out on the safety performance of the programmable industrial controller according to the test result.
Finally, it should be noted that the above embodiments are only used for illustrating the technical solutions of the present invention and are not limited. Although the present invention has been described in detail with reference to the embodiments, it will be understood by those skilled in the art that various changes may be made and equivalents may be substituted without departing from the spirit and scope of the invention as defined in the appended claims.

Claims (7)

1. A safety test system for a programmable industrial controller, the system comprising: the system comprises a virtual industrial control subsystem and a safety test subsystem;
the virtual industrial control subsystem is used for establishing a virtual simulation test model for the programmable industrial controller to be tested and injecting the virtual simulation test model into the safety test subsystem;
the safety testing subsystem is used for establishing a safety testing environment according to the virtual simulation testing model, carrying out safety testing on the programmable industrial controller to be tested and carrying out safety risk assessment according to a testing result; and meanwhile, recovering the safety test environment for the next programmable industrial controller to be tested to perform safety test.
2. The safety testing system for programmable industrial controllers of claim 1, wherein the virtual industrial control subsystem comprises: the system comprises an asset and topology resource module, a simulation component library, a matching module and a virtual system construction module;
the asset and topology resource module is used for selecting a control system template consistent with a simulation test environment required by the programmable industrial controller to be tested according to the simulation test environment to obtain an industrial control network topology model, and inputting the industrial control network topology model into the virtual system construction module;
the simulation component library is used for storing a plurality of key components;
the matching module is used for selecting a key component matched with the simulation component from the simulation component library according to the industrial control network topology model and inputting the key component into the virtual system construction module;
and the virtual system construction module is used for fusing the acquired industrial control network topology model and the matched key components, establishing a virtual simulation test model and injecting the virtual simulation test model into the safety test subsystem.
3. The safety testing system for programmable industrial controllers according to claim 2, characterized in that said critical components comprise: configuration subassembly, controller subassembly, executor subassembly, state display module.
4. The safety testing system for programmable industrial controllers of claim 1, wherein the safety testing subsystem comprises: the device comprises a sandbox testing module, a safety testing module and a testing analysis and evaluation module;
the sandbox testing module is used for establishing and recovering a safety testing environment based on the established virtual simulation testing model; the system is also used for carrying out safety test on the programmable industrial controller to be tested according to the configured test tool to obtain test data and sending the test data to the test analysis and evaluation module;
the test tool set module is used for selecting a test tool matched with the programmable industrial controller to be tested and injecting the configured test tool into the sandbox test module;
and the test analysis and evaluation module is used for analyzing the test data according to the expert knowledge base, acquiring the test result of the programmable industrial controller to be tested, and evaluating the safety risk of the programmable industrial controller to be tested according to the test result.
5. The safety test system for programmable industrial controllers according to claim 4, wherein the test analysis and evaluation module is implemented as follows:
the test analysis and evaluation module receives the acquired test data, the test data is a test message in the form of a safety problem existing in the modeling language +, the test message is input to the expert knowledge base, a safety risk report aiming at the programmable industrial controller to be tested is output, the safety risk report is used as a test result, and safety risk evaluation is carried out on the safety performance of the programmable industrial controller according to the test result.
6. A safety test method for a programmable industrial controller, the method being implemented based on the safety test system for a programmable industrial controller of any one of the preceding claims 1 to 5, the method comprising:
the virtual industrial control subsystem establishes a virtual simulation test model for the programmable industrial controller to be tested and injects the virtual simulation test model into the safety test subsystem;
the safety testing subsystem establishes a safety testing environment according to the virtual simulation testing model, performs safety testing on the programmable industrial controller to be tested, and performs safety risk assessment according to a testing result; and meanwhile, recovering the safety test environment for the next programmable industrial controller to be tested to perform safety test.
7. The safety test method for the programmable industrial controller according to claim 6, wherein a safety test environment is established according to the virtual simulation test model, a safety test is performed on the programmable industrial controller to be tested, and safety risk assessment is performed according to a test result; meanwhile, recovering the safety test environment for the next programmable industrial controller to be tested to perform safety test; the method comprises the following specific steps:
selecting a testing tool matched with the programmable industrial controller to be tested by the testing tool set module, and injecting the configured testing tool into the sandbox testing module;
the sandbox testing module establishes a safety testing environment based on the established virtual simulation testing model; according to the configured testing tool, safety testing is carried out on the programmable industrial controller to be tested to obtain testing data, and the testing data are sent to a testing analysis and evaluation module;
the test analysis and evaluation module receives the acquired test data, the test data is a test message in the form of a safety problem existing in the modeling language +, the test message is input to the expert knowledge base, a safety risk report aiming at the programmable industrial controller to be tested is output, the safety risk report is used as a test result, and safety risk evaluation is carried out on the safety performance of the programmable industrial controller according to the test result.
CN202011144896.2A 2020-10-23 2020-10-23 Safety test system and method for programmable industrial controller Pending CN112231062A (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN202011144896.2A CN112231062A (en) 2020-10-23 2020-10-23 Safety test system and method for programmable industrial controller

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN202011144896.2A CN112231062A (en) 2020-10-23 2020-10-23 Safety test system and method for programmable industrial controller

Publications (1)

Publication Number Publication Date
CN112231062A true CN112231062A (en) 2021-01-15

Family

ID=74110495

Family Applications (1)

Application Number Title Priority Date Filing Date
CN202011144896.2A Pending CN112231062A (en) 2020-10-23 2020-10-23 Safety test system and method for programmable industrial controller

Country Status (1)

Country Link
CN (1) CN112231062A (en)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN115174276A (en) * 2022-09-07 2022-10-11 国网江西省电力有限公司电力科学研究院 Vulnerability mining method and system for competitive industrial control system

Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN108769022A (en) * 2018-05-29 2018-11-06 浙江大学 A kind of industrial control system safety experiment platform for penetration testing
CN109145579A (en) * 2018-08-18 2019-01-04 北京航空航天大学 Intelligent network joins automobile information secure authentication testing method and system
CN111083126A (en) * 2019-12-05 2020-04-28 国网浙江省电力有限公司电力科学研究院 Expert knowledge base-based penetration test risk assessment method and model
CN111245800A (en) * 2020-01-02 2020-06-05 北京航天测控技术有限公司 Network security testing method and device of industrial control network based on application scene

Patent Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN108769022A (en) * 2018-05-29 2018-11-06 浙江大学 A kind of industrial control system safety experiment platform for penetration testing
CN109145579A (en) * 2018-08-18 2019-01-04 北京航空航天大学 Intelligent network joins automobile information secure authentication testing method and system
CN111083126A (en) * 2019-12-05 2020-04-28 国网浙江省电力有限公司电力科学研究院 Expert knowledge base-based penetration test risk assessment method and model
CN111245800A (en) * 2020-01-02 2020-06-05 北京航天测控技术有限公司 Network security testing method and device of industrial control network based on application scene

Non-Patent Citations (2)

* Cited by examiner, † Cited by third party
Title
卢凯;朱广宇;王绍杰;刘智国;: "工业控制系统信息安全测试平台研究", 信息技术与网络安全, no. 03, pages 0 - 3 *
张驰: "《异构组件互操作技术研究》", 31 March 2008, 合肥:中国科学技术大学出版社, pages: 87 - 90 *

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN115174276A (en) * 2022-09-07 2022-10-11 国网江西省电力有限公司电力科学研究院 Vulnerability mining method and system for competitive industrial control system
CN115174276B (en) * 2022-09-07 2022-12-30 国网江西省电力有限公司电力科学研究院 Competitive industrial control system vulnerability mining method and system

Similar Documents

Publication Publication Date Title
US8606538B2 (en) Method of testing an electronic system
CN104252481A (en) Dynamic check method and device for consistency of main and salve databases
CN107797928B (en) Instrument control system platform logic algorithm block testing device and method
JP2007012003A (en) System for providing development environment of feature-oriented software product line
CN117421217B (en) Automatic software function test method, system, terminal and medium
CN106125573A (en) Aircraft nose wheel Servo Control box method for designing based on graphical model
KR101935105B1 (en) Apparatus and Method for verifying automation based robustness using mutation Application Programming Interface
CN112199273A (en) Virtual machine pressure/performance testing method and system
CN111400997A (en) Processor core verification method, system and medium based on synchronous execution
CN105389200A (en) Multi-group stimulation batch simulation method and system applied to super-large scale chip verification
CN112231062A (en) Safety test system and method for programmable industrial controller
JP5589901B2 (en) Software verification support apparatus, software verification support method, and software verification support program
CN113919158A (en) Simulation method and device for flight control panel and storage medium
EP3608786B1 (en) Systems and methods of requirements chaining and applications thereof
CN107317811B (en) Method for realizing analog PLC
CN100458800C (en) Automatic construction system and method for electronic circuit design
CN109522212A (en) A kind of acquisition terminal software reliability safety half detection system in kind
CN111474905B (en) Parameter drift fault diagnosis method in manufacturing process of electromechanical product
CN112612702A (en) Automatic testing method and device based on web
CN103970027B (en) Telemetry processing unit simulation method in integrated electronic simulation software environment
CN112433947A (en) Chaos engineering method and system based on network data
CN112231687A (en) Safety verification system and method for programmable industrial controller
CN111143227A (en) Data operation method, device, terminal and storage medium
CN115589407B (en) File transmission verification method based on PLM-DNC integrated system
CN112415301B (en) Structured description method for testing process of electronic product

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