Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

FBD program testing method and device

A program and execution model technology, applied in the field of FBD program testing methods and devices, can solve problems such as program testing that cannot be complex systems, and achieve the effect of testing

Pending Publication Date: 2019-08-13
HANGZHOU DIANZI UNIV
View PDF6 Cites 4 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0005] The present invention provides a method and device for testing FBD programs to solve the problem in the prior art that programs of complex systems cannot be tested

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • FBD program testing method and device
  • FBD program testing method and device
  • FBD program testing method and device

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0051]The following will clearly and completely describe the technical solutions in the embodiments of the present invention with reference to the accompanying drawings in the embodiments of the present invention. Obviously, the described embodiments are only some, not all, embodiments of the present invention. Based on the embodiments of the present invention, all other embodiments obtained by persons of ordinary skill in the art without creative efforts fall within the protection scope of the present invention.

[0052] In this application, functions such as eval function, trans function, build_trans function, build_exec function, and exec function are named only to distinguish each function or program, and do not constitute a limitation to them.

[0053] Function block diagram (FBD) is one of the three graphic languages ​​in the IEC61131-3 standard, and it is widely used in the PLC field.

[0054] In the prior art, the formal method is a means to ensure the reliability of t...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

The invention provides an FBD program testing method and device, and the method comprises the steps: carrying out the formalized description of an FBD program, and generating a first execution model which comprises an input flow combination, an output flow combination, a state combination, an initial state, a state conversion function, and an output flow generation function; performing formalizeddescription on the design specifications of the FBD program to generate a second execution model; determining an equivalence verification result of the FBD program and the design specification according to the first execution model and the second execution model; and determining that the reliability of the FBD program passes the verification according to the verification result. According to the FBD program testing method and device provided by the invention, the program of a complex system can be tested.

Description

technical field [0001] The invention relates to the field of industrial control, in particular to a testing method and device for an FBD program. Background technique [0002] As the core of industrial automation control, programmable logic controller (PLC) is widely used in robotics, numerical control equipment, transportation, electric power, communication and other fields. As the control system becomes more and more complex and the industrial Internet develops, more and more PLCs need to be connected to the network while completing complex control (logic quantity, analog quantity and motion control mix), which makes the reliability and reliability of PLC Security has become an unavoidable issue. Due to the particularity of the language, the complexity of the system, the closure of the environment and the introduction of special instructions, the testing and verification of the PLC hybrid system is a problem that has not been effectively solved so far. [0003] In the pr...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
IPC IPC(8): G06F11/36
CPCG06F11/3668
Inventor 邬惠峰严义孙洁香陈佰平赵建勇
Owner HANGZHOU DIANZI UNIV
Features
  • Generate Ideas
  • Intellectual Property
  • Life Sciences
  • Materials
  • Tech Scout
Why Patsnap Eureka
  • Unparalleled Data Quality
  • Higher Quality Content
  • 60% Fewer Hallucinations
Social media
Patsnap Eureka Blog
Learn More

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.

© 2025 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com