Patents
Literature
Hiro is an intelligent assistant for R&D personnel, combined with Patent DNA, to facilitate innovative research.
Hiro

95 results about "Interface description language" patented technology

An interface description language or interface definition language (IDL), is a specification language used to describe a software component's application programming interface (API). IDLs describe an interface in a language-independent way, enabling communication between software components that do not share one language. For example, between those written in C++ and those written in Java.

Software interface construction method

The invention discloses a construction method for software interfaces which can ensure that the software development personnel can quickly develop and easily use and consistent telecommunication network management interfaces, and the independent characteristic of each interface is kept. The technical proposal of the invention is that the construction method comprises: the development personnel compiles an interface configuration file meeting the interface description grammar according to the interface development demand to definite the form of the software interface; the interface configuration file is loaded and is made a syntax check to generate interface object templates to be stored in a preset interface template storage space; when the user program requests to use the interface objects, the interface object templates are parsed into practical interface objects to be stored in dependent name spaces; the development personnel extends and/or makes extra settings to these interface objects by encoding or means controlled by other programs to control these interface objects, thereby finishing the construction of the graphical interfaces of the software. The invention is applied into the software development field of the graphical user interfaces (GUI) of the telecommunication network management software.
Owner:SHANGHAI YALUN TECH

Interface automatic test method, test device, test equipment and storage medium

The invention discloses an interface automatic test method, a test device, test equipment and a storage medium, and the test method comprises the steps: obtaining interface set information of a to-be-tested object, and the interface set information comprises all interface nodes and interface descriptions thereof; according to the to-be-tested function, arranging the related interface nodes in sequence, and establishing association between the output parameter of the previous interface node and the input parameter of the next interface node in the two adjacent interface nodes to obtain an interface flow chart; performing deep traversal on the interface flow chart in combination with preset input parameters of the interface node, and generating a test code corresponding to each complete branch path from the traversal starting node to the back according to the complete branch path, the test code comprising a program for calling the interface node; and running the test code in the test running environment to obtain a test result. According to the invention, the test code for testing the interface is automatically generated by utilizing the interface endpoint flow and the configured parameters, and the automatic test can be completed by running the code in the test environment.
Owner:SUZHOU DRAGONTESTING INTELLIGENT TECH CO LTD

CPS (cyber physical system) modeling and verifying method based on conversion from CPS-ADL (architecture description language) model into hybrid program

InactiveCN103699743AImplement the rules for conversionSpecial data processing applicationsArchitecture description languageValidation methods
The invention discloses a CPS (cyber physical system) modeling and verifying method based on conversion from a CPS-ADL (architecture description language) model into a hybrid program. The method is mainly used for modeling a CPS and verifying attributes. The method is characterized in that a CPS is modeled on a CPS-ADL platform by the aid of an E-HYSDEL (expanded-hybrid system description language); a formalized definition HPM (hybrid program model) of an HP (hybrid program) model is given, and conversion rules among the CPS-ADL model elements and HP model elements are established when model conversion consistency is met; model description codes of a specific CPS are automatically converted into the hybrid program based on the conversion rules; input files of a KeYmaera are generated by the aid of the hybrid program and a dynamic differential logic description system attribute formula according to an input format of the KeYmaera of a theorem prover; the input files are opened in the KeYmaera to perform reasoning and verifying. The method and the mechanism based on conversion from the CPS-ADL model into the HP are elaborated, and the rules of conversion from the CPS-ADL model elements into the HP model elements are realized.
Owner:NORTHWESTERN POLYTECHNICAL UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products