CN102629227A - Method for assisting function verification of interface of embedded system - Google Patents
Method for assisting function verification of interface of embedded system Download PDFInfo
- Publication number
- CN102629227A CN102629227A CN2012100489409A CN201210048940A CN102629227A CN 102629227 A CN102629227 A CN 102629227A CN 2012100489409 A CN2012100489409 A CN 2012100489409A CN 201210048940 A CN201210048940 A CN 201210048940A CN 102629227 A CN102629227 A CN 102629227A
- Authority
- CN
- China
- Prior art keywords
- system interface
- state
- assembly
- parameter
- configurable
- 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.)
- Granted
Links
Images
Landscapes
- Debugging And Monitoring (AREA)
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
The present invention relates to computer technology, especially relate to a kind of verification method of area of computer aided embedded system interface function.
Background technology
The functional verification of interface is exactly to guarantee that interface moves with the mode of expectation.This requirement comprises the two-layer meaning, and one is to list the condition combination that test needs, here our integrality of being referred to as to test; Another is result and expection consistent that will guarantee under known conditions, here our consistance of being referred to as to verify.
In embedded system, condition combination comprises the system state that can influence the interface interchange result, process status, internal storage state, interface input etc.These conditions that influence the interface interchange result combine quantity maybe be very huge, even in actual verification, can only choose effectively, typical condition makes up and test, the quantity of combination also possibly have hundreds of thousands even up to a million.How to guarantee the integrality and the consistance of testing in this case? Method in common is to take the method for figure or form at present, lists required its specified conditions combination and all corresponding expected resultss exactly.But these methods are often unable to do what one wishes in the face of so various condition combination the time: design efficiency is low on the one hand, and also difficulty or ease guarantee the integrality of test on the one hand.
Summary of the invention
The objective of the invention is characteristics and requirement to embedded system interface function checking, proposed a kind of practically, versatility is high, simplicity of design, the method that make subtest use-case design efficiently, realizes.
In order to realize the object of the invention, a kind of auxiliary embedded system interface function verification method is proposed, configurable assembly and configurable state table are chosen, designed to said method according to the characteristic of system interface; Utilize converting algorithm to generate test case fast, it comprises step:
1) with the resource objectization in the embedded system, and each object that will extract is with the formal representation of configurable assembly independently; Said object itself has one or more parameters, shows the different conditions in the system; Said configurable assembly is the complete or collected works of an Obj State;
2) two types of special configurable assemblies are provided: the parameter assembly of system interface and state transitions assembly; Wherein, Said parameter assembly is used for the parameter and the value thereof of expression system interface, and said state transitions assembly is expressed the state of object before and after system interface is called;
3) configurable state table is provided: it comprises above-mentioned configurable assembly, is used for expressing the state of object before and after system interface is called; And to a specific system interface, the rule of correspondence that comprises the state set that influences its allocating object, the state set that is called back affected object and call the front and back Obj State;
4) proposition is a kind of by the transfer algorithm of configurable assembly to test code, in order to guarantee test case design and the consistance that realizes.
Said object is task and the system state in the system, and the task in the system comprises semaphore, mailbox, conditional-variable and interruption; The carrier of said configurable assembly is selected microsoft excel form for use, and its configuration mode adopts the mode of drop-down menu formula configuration mode or limited range, is applicable to numeric type clauses and subclauses and nonumeric type clauses and subclauses respectively.
In step 1, the configurable assembly of said object comprises configurable assembly of general object and the configurable assembly of special object; Wherein, the parameter value of the general configurable assembly of object is taked the configuration of drop-down menu formula; If parameter is continuous integer, but and interval greater than 10, adopt the mode of limited range configuration;
For the existing continuum of parameter value, there is the configurable assembly of object of specific value to take the dual mode Mixed Design again, promptly adopt the drop-down menu collocation type to particular value, adopt the limited range formula to continuum;
For the object that a plurality of contact parameter are arranged,, realize the automatic configuration of parameter and value thereof through the mode of object intrinsic parameter mapping.
In step 2; Said state transitions assembly comprises that state limitation unit, system interface call success status and shift assembly and system interface malloc failure malloc state transitions assembly, be expressed in respectively system interface be called before the be called variation of front and back object of qualified relation and system interface between the object; The variation of object comprised that system interface calls after the success variation of object and calls the variation of object afterwards that makes a mistake with system interface before and after said system interface was called, and said system interface parameter assembly comes configuration parameter according to the system interface number.
Said state limitation unit is through the qualifications between object, confirm system interface be called before the complete or collected works of different Obj States combinations;
Said system interface calls success status and shifts assembly, and this assembly relates to relation, system interface between object and calls preceding values of parameters, object state variation, the system interface after system interface calls and call the variation of back parameter and the code that system interface returns; Use the method for object intrinsic parameter mapping, the workload when reducing the configuration status table.
In step 4; Said transfer algorithm is according to configurable state table; Test case is designed to public part, index part, part and inspection part are set; And to described each part, corresponding transfer algorithm is provided: said public part is to extract the method to set up of system state and inspection method, as public part; Said index part be called to system interface before Obj State be integrated into the expression in the test case, taked the mode of directory index to form; Said be provided with the part be to call the state set that corresponding method sets out needs between object according to index; Whether the state that the inspection of said inspection part sets transfers to expecting state after system interface is called.
Said index part is concrete to be realized as follows:
For the state set that each object possibly exist, use an array to define and express, a kind of state of the every row element corresponding objects in this array; And, uses an array to define and express for set that maybe existence between different objects, and an element in this array is a suite number, each numbering is represented different objects position in its corresponding array.
The said content that comprises two aspects to public part algorithm: the one, the macro definition of each parameter value; The 2nd, the complete or collected works of each parameter state value; Said macro definition takes whenever to read the mode that a parameter value directly transforms; For the conversion of array, at first confirm the size of array, confirm position and the number of element in array then;
Said to the index part algorithm, transform out parameter combinations between image parameter macro definition, the combination of object intrinsic parameter and object through subject component and state limitation unit; Said parameter macro definition is taked to read the mode that the back directly transforms, and obtains whole combinations of Obj State;
Said can be that it is pre-designed to the part algorithm is set, and according to circumstances directly calls;
Said to checking that the part algorithm is directed against two parts: as to call success and check then whether rreturn value is correct, and how Obj State changes; Malloc failure malloc is then checked and is returned which type of error code, the influence whether Obj State is called, and said inspection partial code calls success status transfer assembly by system interface malloc failure malloc state transitions assembly and system interface and is transformed.
Screen the data that obtain said also comprising to the index part algorithm.When screening, be based on the relation between the object intrinsic parameter, utilize the mode of object intrinsic parameter mapping to confirm; After all subject component conversions, further need concern that all can issue the combination of state between formation object according to what exist between object, said object relationship is transformed by the state limitation unit, and said converting algorithm is to read delegation to transform delegation.
Compared to other method of testing, this method has following characteristics:
This method is more suitable for embedded OS: like the checking of linux, uItron, ucos calling interface, also be applicable to meet the otherwise functional checking that is easy to these characteristics of objectification, like the checking of development board hardware handbook.
This method adopts assembly, configurable mode, and each assembly can be repeated to utilize, and has improved design efficiency greatly, has reduced design difficulty.
In the method, the design relative difficulty of configurable assembly is big slightly, and it is then relatively easy to utilize assembly to design configurable state table.Such mode can reduce the technical requirement to the test case designer, is more suitable for the performance history in reality.
The most important characteristics of this method have provided by the transfer algorithm of assembly to test code, utilize this mode, need not the listing condition combination during configurable state table in design, have not only simplified design, also are easy to guarantee the integrality of testing simultaneously.
Description of drawings
Fig. 1 is the principle framework figure of the auxiliary embedded system interface function verification method of the present invention;
Fig. 2 is the dual mode of configurable assembly;
Fig. 3 is the configurable assembly of task object;
Fig. 4 is the configurable assembly of system object;
Fig. 5 is the configurable assembly of system interface parameter;
Fig. 6 is the state limitation unit;
Fig. 7 is that system interface calls success status transfer assembly;
Fig. 8 is a system interface malloc failure malloc state transitions assembly;
Fig. 9 system special state conversion process frame diagram;
Figure 10 is an Obj State combination conversion process frame diagram;
Figure 11 can issue state conversion process frame diagram between object;
Figure 12 is a system interface malloc failure malloc assembly conversion process frame diagram;
Figure 13 is a system interface malloc failure malloc assembly conversion process frame diagram;
Figure 14 is that configurable state table is made the flow process frame diagram.
Embodiment
For making the object of the invention, technical scheme and advantage clearer, below in conjunction with specific embodiment and accompanying drawing, to further explain of the present invention.
For the principle of better understanding method and the characteristics of method, propose three notions earlier to this method, and illustrate:
1, object: a kind of can independently be present in the embedded system resource we be referred to as an object.Itself has one or more parameters, and according to the difference of parameter value, it shows different state in system.For example a process in the embedded system or a semaphore all can be referred to as object.
2, configurable assembly: the complete or collected works of the complete or collected works of an Obj State (the typical value that comprises all parameters and parameter) or a rule-like, the user can dispose the subclass of actual needs on this basis.Such as task object, this assembly can comprise all typicalnesses that task can exist in system, at every turn to the design of task, use all be the subclass of these states.
3, configurable state table: it comprises a plurality of configurable assemblies, mainly is used for expressing the state of object before and after system interface is called.To a specific system interface, the rule of correspondence that this table will comprise the state set that influences its allocating object, the state set that is called back affected object and call the front and back Obj State.
The essence of system interface functional verification is exactly measurement system interface to the effect of the object that is in certain particular state.The focus that its is paid close attention to is the state that changes to after original state and the system interface of object calls.
This method is based on above understanding, and with the resource objectization in the embedded system, and each object that will extract is with the formal representation of configurable assembly independently.In addition, two types of special configurable assemblies are provided again: system interface parameter assembly and state transitions assembly.The parameter assembly is used for the parameter and the value thereof of expression system interface; The state transitions assembly is expressed the state of object before and after system interface is called.On this basis, this method has proposed a kind of by the transfer algorithm of configurable assembly to test code, in order to guarantee test case design and the consistance that realizes.Resource objectization, modularization, configurableization are the basis and the characteristics of this method.Need not the listing condition combination, being easy to generate automatically test code is this method biggest advantage.
When using this method, only need to choose, design configurable assembly and configurable state table according to the characteristic of system interface, utilize converting algorithm can generate test case fast then.
The design and use principle framework figure of this method is as shown in Figure 1,
The present invention is a sample with the uItron4.0 standard edition, resolves the realization of this method in detail.Comprise the design of the extraction of object, configurable assembly and the realization of transfer algorithm.
The extraction of object:
According to the front definition of object, be easy to the object in the extraction system.Task in the system uItron system, semaphore, mailbox, conditional-variable interrupt waiting the definition that all meets resource, thereby they all can be conceptualized as object.
Except above-mentioned situation; We also can have some, and the non-resource of characteristics of objects is abstract to be object, and such as system state, it is not a kind of resource; But it has parameter, can influence calling of system interface; The influence that also possibly receive system interface to call the result, thereby, also can be extracted as a kind of object to it.
Configurable component Design:
According to the definition of configurable assembly, we can configurable assembly non-be three big type: subject component, system interface parameter assembly and state transitions assembly.
Configurable assembly carrier is selected microsoft excel form for use.Excel itself has abundant available characteristic on the one hand; Read and write the built-in function rich of excel file on the other hand at present, the realization of transfer algorithm after being beneficial to.
The configurable dual mode that mainly contains, the one, drop-down menu formula configuration mode, it is applicable to nonumeric type clauses and subclauses; For numeric type clauses and subclauses (span is bigger generally speaking), we take the mode of limited range.Fig. 2 is the dual mode of configurable assembly.
The subject component method for designing:
The front is mentioned, to as if abstract to resource, and convenience in order to design, also can with some non-resources abstract be object.Accordingly, when the design object assembly, also can subject component be divided into general subject component and special object assembly.
General subject component method for designing:
Here, be example with task in the uItron4.0 standard edition, how explanation designs general subject component; As shown in Figure 3, in general subject component design, when which kind of configuration mode decision adopt; We follow a basic principle: for parameter, generally take the configuration of drop-down menu formula, for parameter value; If continuous integer, but and interval big (greater than 10), we adopt the mode of limited range configuration.Certainly also have two kinds of special circumstances, when design, do individual processing:
The existing continuum of parameter value has specific value again.As above parameter " lefttmo " among Fig. 3.For this situation, we take the dual mode Mixed Design, promptly adopt the drop-down menu collocation type to particular value, adopt the limited range formula to continuum.
An object has a plurality of parameters, and the value between parameter can be related generally speaking.In last Fig. 3, be " NEX " if parameter " STAT tskstat " has only value, then need not to be concerned about all parameter and values thereof below this row.To this situation, we have taked to be different from the method for designing of above-mentioned dual mode.In this assembly, we utilize the Excel formula, design into this relation, can some parameter and the automatic configuration of value, in this method, be referred to as " mapping of object intrinsic parameter ".Through " mode of object intrinsic parameter mapping ", a benefit is to simplify the configuration difficulty of this assembly, and another benefit is to confirm the combinations of states of object easily.
The special object component design method:
In the uItron4.0 standard edition, can with system state abstract be special object.In design, what this assembly was different from general subject component is to have increased " rule " these row, and whether on behalf of the system state docking port, it call influential.In addition, as shown in Figure 4 to the singularity of " CIM " parameter in when design, reserved the blank column of 6 row, guarantee that CIM can list all values.
System interface parameter component design method:
The parameter assembly is relevant with concrete system interface, is in order to make design more directly perceived, to the more important thing is unified its format write on the one hand, as a rule, supports robotization to generate test case.In the uItron4.0 standard edition, system interface has four parameters at most, the value of each parameter get seven just enough.Design like Fig. 5 can guarantee all system interface parameter designing in the compatible uItron4.0 standard of this assembly.Can dispose according to concrete system interface number in use.For example system interface has only three parameters, and then sequence number 4 is chosen as empty getting final product.
The state transitions component design method:
Design point shift assembly purpose one be expressed in system interface be called before qualified relation between the object; Another be expressed in system interface be called before and after the variation of object.The latter is divided into two types again, and one type is that system interface calls the success variation of object afterwards; One type is that system interface calls the variation of object afterwards that makes a mistake.Therefore here we shift assembly according to three kinds of different state of this three purpose designs, and be referred to as respectively: state limitation unit, system interface call success status and shift assembly, system interface malloc failure malloc state transitions assembly.Homologous ray interface parameters assembly is the same, and this assembly is bigger with concrete system interface relevance, and therefore most important here purpose also is for unified format write, supports robotization to generate test case as rule.
The state limitation unit
This assembly is the bridge of the different objects of contact, through the qualifications between object, can confirm the complete or collected works of system interface different Obj States combinations before being called.For the relation between simpler and clearer expression Obj State; In our design, as shown in Figure 6, two relation between objects of the expression of each assembly; If a plurality of objects are arranged; Optional majority this assembly, in the operator row, designed two config options in addition: symbol "=" and symbol "!=".
System interface calls success status and shifts assembly
As shown in Figure 7, this assembly relates to the relation between object, and system interface calls preceding values of parameters, the state variation of object after system interface calls, and system interface calls the variation of back parameter, the code that system interface returns.To the characteristics of this assembly, state expression way and operational symbol before and after system interface successfully calls have been designed.Concerning this system interface, the combinations of states between object may be very many, fortunately; We are in the design object assembly; Used the method for object intrinsic parameter mapping, thereby when using this assembly, the key parameter that only need list in the object gets final product.Workload in the time of can significantly reducing the configuration status table like this.
System interface malloc failure malloc state transitions assembly
The system interface malloc failure malloc can not have influence on the state of object, thereby in this assembly, does not need the design system interface interchange state of object afterwards.The system interface malloc failure malloc possibly receive multiple factor affecting.And if cause the multiple factor of system interface malloc failure malloc to act on simultaneously; With regard to the problem of the priority that relates to these factor effects, when this assembly of design, as shown in Figure 8; Compare and call success status and shift assembly, pay close attention to the priority of influence factor effect emphatically.And with call success status shift assembly identical be that when using this assembly, the key parameter that only need list in the object gets final product.
The transfer algorithm design
During configurable state table, need to keep the consistance of configurable state table and test case in design, promptly test case is that module information by configurable state table is transformed.In the configurable state table of design, also need consider the design of test case.Transfer algorithm is the bridge of configurable state table to test case.And conversely, the resonable degree of the design of configurable state table and test case is determining the complexity of transfer algorithm.Thereby, before describing the transfer algorithm of this method, need to explain earlier in this method design to test case.
The test case design:
In the method, according to the design of configurable state table, test case is designed to following four parts:
Public part:
For all system interfaces, all receive the influence of system state.In the method, extract the method to set up of system state and inspection method, as public part.
Index part:
Before being called to system interface Obj State be integrated into the expression in the test case, this method has been taked the mode of similar directory index, is referred to as index part here.The concrete realization as follows:
For the state set that each object possibly exist, all use an array to define and express in the method, a kind of state of the every row element corresponding objects in this array.And for set that maybe existence between different objects, we use an array to define and express equally, and different is that an element in this array is a suite number, each the numbering different objects of representative position in its corresponding array.When test case is moved, at first can find the array of expressing state set between the different objects, and remove to be provided with the time of day of corresponding object according to the numbering in the array.
Part is set:
The main function of this part is to call the state set that corresponding method sets out needs between object according to index.
The inspection part:
The major function of this part is whether the state that inspection sets transfers to expecting state after system interface is called.
The transfer algorithm design:
In the test case design, it is divided into four parts.Accordingly, to each part, corresponding transfer algorithm is provided here.
To public part algorithm:
In the uItron4.0 standard, the public part of most system interfaces all is identical, and is for identical part that it is pre-designed, according to circumstances directly calls to get final product.And to some special system interface, need rewrite common segment.Be primarily aimed at special circumstances design converting algorithm here:
Through this assembly, mainly transform out the content of two aspects: the one, the macro definition of each parameter value, the 2nd, the complete or collected works of each parameter state value.In algorithm design, macro definition takes whenever to read the mode that a parameter value directly transforms.For the conversion of array, at first confirm the size of array, to confirm position and the number of element in array then.Concrete flow process frame diagram is as shown in Figure 9:
To the index part algorithm:
The assembly that index part relates to comprises subject component, the state limitation unit.Through these assemblies, transform out the image parameter macro definition, the combination of object intrinsic parameter, parameter combinations between object.The parameter macro definition also takes to read the mode that the back directly transforms.For the combination of object intrinsic parameter, can on the basis of last Fig. 9, increase some special processing and get final product, concrete grammar is shown in figure 10.
Through above step, what obtain is whole combinations of Obj State.And in test case design, but what need is all combinations of existences, thereby also need the data that obtain be screened.When screening, be based on the relation between the object intrinsic parameter.The mode of the object intrinsic parameter mapping of front proposition is just confirmed.
After all subject component transformed, need further that all can issue the combination of state between formation object, main here according to the relation that exists between object.Object relationship mainly is transformed by the state limitation unit.Converting algorithm basically also is to read delegation to transform delegation, and the flow process frame diagram is shown in figure 11:
To the part algorithm is set:
Through the conversion to the Obj State assembly, corresponding setting information also transforms.Thereby do not need to design again conversion here from configurable assembly to code.Establishment, the method to set up of each object are all fixed, and it is pre-designed, according to circumstances directly call to get final product.
To checking the part algorithm:
Inspection is primarily aimed at two parts, calls success and checks then whether rreturn value is correct, and how Obj State changes; Malloc failure malloc is then checked and is returned which type of error code, the influence whether Obj State is called.
The inspection partial code mainly calls success status transfer assembly by system interface malloc failure malloc state transitions assembly and system interface and is transformed.When these assemblies of design, equally also considered the conversion of assembly to code, assembly content and object code be basically identical also, thereby converting algorithm is fairly simple, and Figure 12 is a malloc failure malloc assembly algorithm conversion process frame diagram.
Figure 13 is that system interface calls successfully assembly algorithm conversion process frame diagram, compares and system interface malloc failure malloc assembly, the state that it after shifting.In this flow process frame diagram, at first to read a kind of state that the object before all objects shift exists, and then read a kind of state after all objects shift.
The design of the use of method-configurable state table
Configurable state table is formed by configurable combination of components; To all system interfaces; The system object assembly; System interface calls successfully assembly and system interface malloc failure malloc assembly is necessary, and general subject component and system interface parameter assembly will be confirmed with design according to the function of system interface itself.When the configurable assembly of design, system object assembly, general subject component all are the complete or collected works of object existence.When making configurable state table; Need to accomplish the work of configuration; And state limitation unit, system interface parameter assembly; System interface calls successfully assembly and system interface malloc failure malloc assembly and has all just stipulated the method and the rule of writing, thereby when the configurable state table of design, need do and further improve work.Figure 14 has represented the flow process of configurable state table design:
Above-described specific embodiment; The object of the invention, technical scheme and beneficial effect have been carried out further detailed description, and institute it should be understood that the above is merely specific embodiment of the present invention; Be not limited to the present invention; All within spirit of the present invention and principle, any modification of being made, be equal to replacement, improvement etc., all should be included within protection scope of the present invention.
Claims (10)
1. an auxiliary embedded system interface function verification method is characterized in that configurable assembly and configurable state table are chosen, designed to said method according to the characteristic of system interface; Utilize converting algorithm to generate test case fast, it comprises step:
1) with the resource objectization in the embedded system, and each object that will extract is with the formal representation of configurable assembly independently; Said object itself has one or more parameters, shows the different conditions in the system; Said configurable assembly is the complete or collected works of an Obj State;
2) two types of special configurable assemblies are provided: the parameter assembly of system interface and state transitions assembly; Wherein, Said parameter assembly is used for the parameter and the value thereof of expression system interface, and said state transitions assembly is expressed the state of object before and after system interface is called;
3) configurable state table is provided: it comprises above-mentioned configurable assembly, is used for expressing the state of object before and after system interface is called; And to a specific system interface, the rule of correspondence that comprises the state set that influences its object that calls, the state set that is called back affected object and call the front and back Obj State;
4) proposition is a kind of by the transfer algorithm of configurable assembly to test code, in order to guarantee test case design and the consistance that realizes.
2. auxiliary embedded system interface function verification method according to claim 1 is characterized in that said object is task, the semaphore in the system, mailbox, conditional-variable, interruption and system state; The carrier of said configurable assembly is selected microsoft excel form for use, and its configuration mode adopts the mode of drop-down menu formula configuration mode or limited range, is applicable to numeric type clauses and subclauses and nonumeric type clauses and subclauses respectively.
3. auxiliary embedded system interface function verification method according to claim 2 is characterized in that, in step 1, the configurable assembly of said object comprises configurable assembly of general object and the configurable assembly of special object; Wherein, the parameter value of the general configurable assembly of object is taked the configuration of drop-down menu formula; If parameter value is continuous integer, but and interval greater than 10, adopt the mode of limited range configuration;
For the existing continuum of parameter value, there is the configurable assembly of object of specific value to take the dual mode Mixed Design again, promptly adopt the drop-down menu collocation type to particular value, adopt the limited range formula to continuum;
For the object that a plurality of mutual associated parameters are arranged,, realize the automatic configuration of parameter and value thereof through the mode of object intrinsic parameter mapping.
4. auxiliary embedded system interface function verification method according to claim 3; It is characterized in that; In step 2; Said state transitions assembly comprises that state limitation unit, system interface call success status and shift assembly and system interface malloc failure malloc state transitions assembly, be expressed in respectively system interface be called before the be called variation of front and back object of qualified relation and system interface between the object; The variation of object comprised that system interface calls after the success variation of object and calls the variation of object afterwards that makes a mistake with system interface before and after said system interface was called, and said system interface parameter assembly comes configuration parameter according to the system interface number of parameters.
5. auxiliary embedded system interface function verification method according to claim 4 is characterized in that:
Said state limitation unit is through the qualifications between object, confirm system interface be called before the complete or collected works of different Obj States combinations;
Said system interface calls success status and shifts assembly, and this assembly relates to relation, system interface between object and calls preceding values of parameters, object state variation, the system interface after system interface calls and call the variation of back parameter and the code that system interface returns; Use the method for object intrinsic parameter mapping, the workload when reducing the configuration status table.
6. auxiliary embedded system interface function verification method according to claim 5; It is characterized in that in step 4, said transfer algorithm is according to configurable state table; Test case is designed to public part, index part, part and inspection part are set; And to described each part, corresponding transfer algorithm is provided: said public part is to extract the method to set up of system state and inspection method, as public part; Said index part be called to system interface before Obj State be integrated into the expression in the test case, taked the mode of directory index to form; Said be provided with the part be to call the state set that corresponding method sets out needs between object according to index; Whether the state that the inspection of said inspection part sets transfers to expecting state after system interface is called.
7. auxiliary embedded system interface function verification method according to claim 6 is characterized in that, said index part is concrete to be realized as follows:
For the state set that each object possibly exist, use an array to define and express, a kind of state of the every row element corresponding objects in this array; And, uses an array to define and express for set that maybe existence between different objects, and an element in this array is a suite number, each numbering is represented different objects position in its corresponding array.
8. auxiliary embedded system interface function verification method according to claim 7 is characterized in that:
The said content that comprises two aspects to public part algorithm: the one, the macro definition of each parameter value; The 2nd, the complete or collected works of each parameter state value; Said macro definition takes whenever to read the mode that a parameter value directly transforms; For the conversion of array, at first confirm the size of array, confirm position and the number of element in array then;
Said to the index part algorithm, transform out parameter combinations between image parameter macro definition, the combination of object intrinsic parameter and object through subject component and state limitation unit; Said parameter macro definition is taked to read the mode that the back directly transforms, and obtains whole combinations of Obj State;
Said can be that it is pre-designed to the part algorithm is set, and according to circumstances directly calls;
Said to checking that the part algorithm is directed against two parts: as to call success and check then whether rreturn value is correct, and how Obj State changes; Malloc failure malloc is then checked and is returned which type of error code, the influence whether Obj State is called, and said inspection partial code calls success status transfer assembly by system interface malloc failure malloc state transitions assembly and system interface and is transformed.
9. auxiliary embedded system interface function verification method according to claim 8 is characterized in that, screen the data that obtain said also comprising to the index part algorithm.When screening, be based on the relation between the object intrinsic parameter, utilize the mode of object intrinsic parameter mapping to confirm; After all subject component conversions, further need concern that all can issue the combination of state between formation object according to what exist between object, said object relationship is transformed by the state limitation unit, and said converting algorithm is to read delegation to transform delegation.
10. auxiliary embedded system interface function verification method according to claim 9 is characterized in that, screen the data that obtain said also comprising to the index part algorithm.When screening, be based on the relation between the object intrinsic parameter, utilize the mode of object intrinsic parameter mapping to confirm; After all subject component conversions, further need concern that all can issue the combination of state between formation object according to what exist between object, said object relationship is transformed by the state limitation unit, and said converting algorithm is to read delegation to transform delegation.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201210048940.9A CN102629227B (en) | 2012-02-28 | 2012-02-28 | Method for assisting function verification of interface of embedded system |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201210048940.9A CN102629227B (en) | 2012-02-28 | 2012-02-28 | Method for assisting function verification of interface of embedded system |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN102629227A true CN102629227A (en) | 2012-08-08 |
| CN102629227B CN102629227B (en) | 2015-07-22 |
Family
ID=46587487
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN201210048940.9A Expired - Fee Related CN102629227B (en) | 2012-02-28 | 2012-02-28 | Method for assisting function verification of interface of embedded system |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN102629227B (en) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN106502770A (en) * | 2015-09-07 | 2017-03-15 | 上海畅星软件有限公司 | A kind of HMI state transfer methods based on finite state machine |
Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN1776643A (en) * | 2004-11-15 | 2006-05-24 | 华为技术有限公司 | Method and device for testing software product robustness |
| US20080040732A1 (en) * | 2006-03-09 | 2008-02-14 | International Business Machines Corporation | Testing scenarios that sequentially execute a plurality of application program interfaces |
| CN102053909A (en) * | 2009-11-09 | 2011-05-11 | 株式会社东芝 | Test program generating device |
-
2012
- 2012-02-28 CN CN201210048940.9A patent/CN102629227B/en not_active Expired - Fee Related
Patent Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN1776643A (en) * | 2004-11-15 | 2006-05-24 | 华为技术有限公司 | Method and device for testing software product robustness |
| US20080040732A1 (en) * | 2006-03-09 | 2008-02-14 | International Business Machines Corporation | Testing scenarios that sequentially execute a plurality of application program interfaces |
| CN102053909A (en) * | 2009-11-09 | 2011-05-11 | 株式会社东芝 | Test program generating device |
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN106502770A (en) * | 2015-09-07 | 2017-03-15 | 上海畅星软件有限公司 | A kind of HMI state transfer methods based on finite state machine |
| CN106502770B (en) * | 2015-09-07 | 2021-09-21 | 上海畅星软件有限公司 | HMI state transition method based on finite state machine |
Also Published As
| Publication number | Publication date |
|---|---|
| CN102629227B (en) | 2015-07-22 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US10353913B2 (en) | Automating extract, transform, and load job testing | |
| CN102467448B (en) | Test method and system of test case | |
| CN102937932B (en) | The automatic test device of integrated isomery testing tool and method | |
| CN103197930B (en) | The method that automobile diagnostic software automatically generates | |
| US9239743B2 (en) | Method and architecture for exception and event management in an embedded software system | |
| CN104331366A (en) | Test case design efficiency promotion method and system | |
| CN104881364A (en) | Automated testing method and system applied to Android system | |
| CN107203465B (en) | System interface testing method and device | |
| CN102650995A (en) | Multi-dimensional data analyzing model generating system and method | |
| US8943451B2 (en) | Hierarchical finite state machine generation for power state behavior in an electronic design | |
| US10073938B2 (en) | Integrated circuit design verification | |
| CN102945264B (en) | Method for intelligently starting distributed transaction | |
| CN113220235B (en) | Read-write request processing method, device, equipment and storage medium | |
| CN103186384A (en) | Business-component-oriented software designing and analyzing system and using method thereof | |
| CN102629227A (en) | Method for assisting function verification of interface of embedded system | |
| WO2023197851A1 (en) | Abnormal component identification method and apparatus, device, storage medium, and program product | |
| CN104484305B (en) | Server debugging analysis interface device | |
| CN116187247A (en) | Chip verification system, method, device and storage medium | |
| CN102156789A (en) | System and method for automatically generating constraint file of field programmable gate array (FPGA) | |
| CN102486731A (en) | Method, device and system for enhancing visualization of software call stack of software | |
| CN108563578A (en) | SDK compatibility detection method, device, equipment and readable storage medium | |
| CN103488631A (en) | Construction method for data warehouse based on reusable components | |
| CN117193986A (en) | Multithreading processing method, device, computer equipment and storage medium | |
| CN112685045A (en) | Page source file processing method and device, electronic equipment and storage medium | |
| US20150127784A1 (en) | Dynamic conversion of hardware resources of a server system |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| C06 | Publication | ||
| PB01 | Publication | ||
| C10 | Entry into substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| C14 | Grant of patent or utility model | ||
| GR01 | Patent grant | ||
| CF01 | Termination of patent right due to non-payment of annual fee |
Granted publication date: 20150722 |
|
| CF01 | Termination of patent right due to non-payment of annual fee |