Method for assisting function verification of interface of embedded system
An embedded system and interface function technology, applied in the computer field, can solve problems such as low design efficiency and difficulty in ensuring test integrity
Inactive Publication Date: 2015-07-22
中科开元信息技术(北京)有限公司
View PDF3 Cites 0 Cited by
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
However, these methods are often powerless in the face of so many combinations of conditions: on the one hand, the design efficiency is low, and on the other hand, it is difficult to ensure the integrity of the test
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 moreImage
Smart Image Click on the blue labels to locate them in the text.
Smart ImageViewing Examples
Examples
Experimental program
Comparison scheme
Effect test
Embodiment Construction
[0044] In order to make the object, technical solution and advantages of the present invention clearer, the present invention will be further described in detail below in conjunction with specific embodiments and accompanying drawings.
[0045] In order to better understand the principle of the method and the characteristics of the method, three concepts are proposed for this method, and examples are given:
[0046] 1. Object: A resource that can exist independently in an embedded system is called an object. It itself has one or more parameters, and it shows different states in the system according to the different values of the parameters. For example, a process or a semaphore in an embedded system can be called an object.
[0047]2. Configurable components: a complete set of object states (including all parameters and typical values of parameters) or a complete set of a class of rules, based on which users can configure the subset they actually need. For example, the 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
Login to View More Abstract
The invention relates to a method for assisting function verification of an interface of an embedded system. According to the method, a configurable component and a configurable state table are selected and designed according to the characteristics of the system interface, and a component is rapidly generated by means of a conversion algorithm. The method includes the steps of firstly, objectifying resources in the embedded system and representing each extracted object in the form of the independent configurable component; secondly, providing two special configuration assemblies: a parameter component and a state transition component of the system interface; thirdly, providing the configurable state table which contains the configuration assemblies and is used for representing states of objects before and after the system interface is called; and fourthly, proposing the conversion algorithm from the configurable assemblies to test codes for guaranteeing the consistency of the design and the implementation of the test case. The method for assisting the function verification of the interface of the embedded system is applicable to the embedded system and capable of greatly improving design efficiency, reducing design difficulty, simplifying the design and simultaneously guaranteeing the integrity of tests easily.
Description
technical field [0001] The invention relates to computer technology, in particular to a method for verifying interface functions of a computer-aided embedded system. Background technique [0002] Functional verification of an interface is all about making sure the interface behaves as expected. This requirement contains two meanings, one is to list the combination of conditions required for the test, here we call it the integrity of the test; the other is to ensure that the results under known conditions are consistent with expectations, here we call it to verify consistency. [0003] In an embedded system, the combination of conditions includes system state, process state, memory state, interface input, etc. that can affect the interface call result. The number of combinations of conditions that affect the results of interface calls may be very large. Even if only valid and typical combinations of conditions are selected for testing in actual verification, the number of c...
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
Login to View More Patent Type & Authority Patents(China)
IPC IPC(8): G06F11/263
Inventor 卢延云张树安乔静怡
Owner 中科开元信息技术(北京)有限公司