Summary of the invention
The purpose of the present invention is to overcome the shortcomings of the existing technology, provides a kind of testing and control lifting machine stationarity algorithmMethod.Solve previous methods test environment limitation it is big, testing efficiency is low, test not comprehensively, cannot automatically generate test case,Test data, cannot automatic contrast test result the problem of.
The purpose of the present invention is achieved through the following technical solutions: a kind of side of testing and control lifting machine stationarity algorithmMethod, comprising the following steps:
A, lifting machine master control borad test environment, including slave computer, host computer, lifting machine master control borad, the number of slave computer are builtIt being connect according to acquisition interface with the signal output port of lifting machine master control borad, host computer is connected with slave computer by serial ports,
The slave computer for acquire monitored lifting machine status information, the host computer be used to prepare basic data,Processing basic data, the received data of analysis serial ports simultaneously perform corresponding processing, and the lifting machine master control borad is board under test；
B, user selects a kind of system mode in host computer, then system shows that the institute inside the state is stateful, selects one by oneThe applicable elements CONDITION that these states are used in the design is selected, selects the corresponding MAX or MIN column number of current state, thenThe number for inputting selected condition corresponding threshold value in the design, inputs selected condition corresponding threshold value in leveling algorithm,Fill in the corresponding displacement height value of MAX or MIN column；
C, test case type is selected, clicks and generates use-case, then automatically generates corresponding test case, shows use-case typeCorresponding test case list；
System includes two class testing use-cases: external status converts test case and external morphology converts test case；
External status conversion test case refers to the conversion test of the transfer design external status between every two statesUse-case；
External morphology conversion test case refers to inside the transfer design between each form inside every kind of stateForms Transformation test case；
D, according to different types of test case, automatic Data Generation Test:
External morphology converts class testing use-case: selecting system mode for STAUS, clicks and generate data, then external morphology turnsAll input datas (4 column displacement height) for changing class testing use-case automatically generate；
External status transforming relationship class testing use-case: selection system mode RELATION clicks and generates data, then converts passIt is that all input datas (4 column displacement height) of all test cases of class automatically generate；
E, the corresponding theoretical output result of all test cases of typing；
System mode STATUS is selected, STEP is selected, then shows the STEP details of the testcase, recorded according to design philosophyEnter motor, f1, f2, the state of f3, f4 (1 indicates to open, and 0 indicates to close)；
Transforming relationship RELATION is selected, TESTCASE is selected, selects STEP, then shows the under the RELATIONThe STEP of TESTCASE test case walks details, according to state (1 table of design philosophy typing motor, f1, f2, f3, f4Show opening, 0 indicates to close)；
F, user adjusts each column according to the displacement information shown in e and is displaced；
System mode STATUS is selected, STEP1 is selected, user adjusts according to the input data that test case STEP1 is shownEach column displacement, then presses and rises or falls key；After the test for having executed STEP1, input number that user shows according to STEP2According to each column displacement is adjusted, it is gradually completing the adjustment of displacement work of all STEP；
Transforming relationship RELATION is selected, TESTCASE is selected, selects STEP1, user shows according to test case STEP1Input data adjust the displacement of each column, then press and rise or fall key；After the test for having executed STEP1, user according toThe input data that STEP2 is shown adjusts each column displacement, is gradually completing the adjustment of displacement work of all STEP；
G, the execution test key in host computer is pressed, then instruction is issued slave computer, slave computer according to agreement by host computerThe output signal for acquiring master control borad, these signals are packaged, and are sent to host computer according to agreement, host computer is analyzed in process instructionHold, show measured result in the use-case, after the completion of use-case execution, host computer generates the phase shown in test case moduleThe corresponding TESTCASE of STATUS, RELATION is answered to show the state of execution；
If measured result is consistent with notional result, the measured result of the first color font is shown；
If measured result is consistent with notional result, but the unreasonable actual measurement knot for showing the second color font of measured resultFruit；
The measured result of third color font is shown if measured result car following-theory result is inconsistent；
H, user continues that the test case being not carried out in host computer generation test case module is selected to test, until instituteSome test case identification-states are to have executed state.
The slave computer is data acquisition module.Further, the slave computer includes multiple signal input ports,The lifting machine master control borad includes multiple signal output ports, each signal input port of slave computer respectively with lifting machine master controlCorresponding signal output port connection on plate.For example, the slave computer includes the first solenoid signal input port, the second electricityMagnet valve signal input port, third solenoid signal input port, motor signal input port, the lifting machine master control borad packetInclude the first solenoid signal output port, second solenoid valve signal output port, third solenoid signal output port, motor letterNumber output port.
Include following module in the host computer:
Basic data preparation module, for realizing the test scene, input condition, input data needed in test caseEtc. data item basic data preparatory function；
It generates test case module and automatically generates input data for realizing test case is automatically generated, user can be defeatedEnter the function of theoretical output result；Specific: system passes through the information of basic data preparation module user's typing, surveys in conjunction with whitepackThe state diagram conversion method in elementary path cladding process and Black-box Testing method in method for testing automatically generates test case；SystemIt is automatic in conjunction with equivalence class, the boundary value test method in Black-box Testing by the information of basic data preparation module user's typingGenerate the corresponding input data of the test case；User inputs the corresponding theoretical output result of the test case according to design；
Implementation of test cases module, for realizing automatic test results monitored and the function of contrast test result.
External condition conversion testing example design foundation is in the step c: it is directed to each group of condition conversion relationship, onA kind of all forms of state can be transformed into a kind of lower state；A kind of upper only one form of state is thenCONDITION needs the CONDITION in conjunction with next state；What a kind of upper state had multiple forms will then combine a upper shapeThe various forms of state；If the two states mutually converted have a form, need to see the latter state can be converted to anythingState.
External morphology conversion testing example design foundation is in the step c:
Elementary path cladding process: external morphology conversion test case covers the elementary path of condition selected by every kind of state；
State diagram conversion method: there are displacement differences for external morphology conversion away from changing from small to big or two class state from large to small, soThe test case of these external morphologies conversion covers these two types of states again.
The theoretical foundation of the test case automatically generated in the step c are as follows: 1) elementary path cladding process: external morphology turnsChange the elementary path that test case covers condition selected by every kind of state；2) all lifting machine leveling controls state diagram conversion method: are analyzedState existing for system processed and external status conversion, all form dynamic conversions that test case covers each state of system areThe test point of next state, and system certain external morphologies conversion is internal that there are displacement differences away from changing from small to big or from large to smallTwo class states, so the test case of these external morphologies conversion covers these two types of states again.
The theoretical foundation of test data is generated in the step d are as follows:
Equivalence class method: the range of X is calculated according to selected condition；
Boundary values: it is determined in equivalence class and (range boundary value) -1 or+1 is chosen according to different condition on scopeValue.
The unreasonable theoretical foundation of measured result is in the step g:
The design philosophy of displacement leveling algorithm: it is displaced high pillar and is stopped for being displaced low pillar rising or displacement heightPillar rise be displaced low pillar rapid increase to achieve the purpose that leveling at a slow speed；
The empirical value of different conditions: the threshold value of the max-min of state 1 is higher than the max-min threshold value of state 3.
The invention has the following advantages that
The present invention is connected by the data acquisition interface of slave computer with the signal output port of lifting machine master control borad, and string is passed throughMouth is connected with host computer.User's typing basic information, the test case then generated according to host computer, test data execute surveyExample on probation.Host computer will acquire signal and be sent to slave computer by serial ports, and slave computer by being packaged, passes through collected signalSerial ports is reported to host computer, and host computer parses the data received, real-time display measured result, compares measured result.Using this system and method, solve previous methods test environment limitation is big, testing efficiency is low, test not comprehensively, Bu NengyouEffect test design loophole, cannot automatically generate test case, test data, cannot automatic contrast test result the problem of.To certainlyThe reason of dynamic test automotive service equipement, positioning automotive service equipement go wrong has positive effect.
Present invention saves tester's setup test use-case, test data, the times for arranging test record.It can be automaticGenerate test case, test data, test record.
The present invention is convenient for tester's reasonable arrangement test plan, tracking and testing progress.
Present invention ensures that test is comprehensive.The test case that system generates not only makes the test of lifting machine leveling algorithmElementary path coverage test rank is reached, and can also test and design unreasonable problem.
The present invention improves testing efficiency.One people can high-effect high-quality complete all test jobs and be directed to problematic itemThe reason of problem occurs can be navigated to quickly.
Specific embodiment
The present invention will be further described with reference to the accompanying drawing:
A kind of method of testing and control lifting machine stationarity algorithm, comprising the following steps:
A, lifting machine master control borad test environment is built, as shown in Figure 1, including slave computer, host computer, lifting machine master control borad,The data acquisition interface of slave computer is connect with the signal output port of lifting machine master control borad, and host computer passes through serial ports phase with slave computerEven,
The slave computer for acquire monitored lifting machine status information, the host computer be used to prepare basic data,Processing basic data, the received data of analysis serial ports simultaneously perform corresponding processing, and the lifting machine master control borad is board under test；
Include following several big modules in the host computer:
1, basic data preparation module.Realize the test scene, input condition, input data etc. needed in test caseThe basic data preparatory function of data item, as shown in Figure 3.
Lifting machine leveling control program generally comprises following 2 class scene:
1) up:a, up-stationary adjustment be (a.1adjust；a.2skip adjust；), b, up-Stationary, c, up-motion adjustment are (c.1adjust；c.2skip adjust；), d, up-motion are (whereinA, b state mutual exclusion, the mutual exclusion of c, d state)；
2) down:e, down-stationary adjustment be (e.1adjust；e.2skip adjust；), f,Down-stationary, g, down-motion adjustment are (g.1adjust；g.2skip adjust；), h, down-Motion (wherein e, f state mutual exclusion, the mutual exclusion of g, h state).
1.1, user selects the different conditions under different scenes according to design conditions.
First kind scene: selecting a kind of state from a, b, and a kind of state is then selected from c, d.Second class scene: fromE, a kind of state is selected in f, a kind of state is then selected from g, h, and the transforming relationship between various states is as shown in figure 4, figureIn:
0: stationary state-state 0；
A.1:up-stationary adjustment-adjust stationary state rising needs leveling-state 1；
A.2:up-stationary leveling-state 2 is jumped out in adjustment-skip adjust stationary state rising；
C.1:up-motion adjustment-adjust motion state rising needs leveling-state 3；
C.2:up-motion leveling-state 4 is jumped out in adjustment-adjust-skip adjus motion state rising；
The rising of b:up-stationary stationary state is not required to leveling-state 5；
The rising of d:up-motion motion state is not required to leveling-state 6；
E.1:down-stationary adjustment-adjust stationary state decline needs leveling-state 7；
E.2:down-stationary leveling-state 8 is jumped out in adjustment-skip adjust stationary state decline；
G.1:down-motion adjustment-adjust motion state decline needs leveling-state 9；
G.2:down-motion leveling-state 10 is jumped out in adjustment-skip adjust motion state decline；
The decline of f:down-stationary stationary state is not required to leveling-state 11；
The decline of h:down-motion motion state is not required to leveling-state 12.
1.2, according to the applicable elements of every kind of state of design alternative initial column number corresponding with selection max or min.
For every kind of state selected by user, a kind of condition is at most selected from x-min, max-x.
If selected state is the state under up scene in 1.1, min column number is selected.
If selected state is the state under down scene in 1.1, max column number is selected.
1.3, the threshold value number and specific threshold value and the state of the applicable elements of state selected by input user are correspondingMax or min specific height value.
If state selected by user be a, c, e, g in state, input the corresponding max-min of the state threshold value andThe number and specific threshold value of the corresponding threshold value of selected condition in 1.2；
If state selected by user is the state in b, d, f, h, it is corresponding to input selected condition in the state corresponding 1.2The number of threshold value and specific threshold value；
Fill in the corresponding starting altitude of max or min.
2, test case module is generated.Realization automatically generates test case, automatically generates input data, and user can input reasonBy the function of output result.
2.1, system passes through the information of basic data preparation module user's typing, in conjunction with the basic road in white-box testing methodState diagram conversion method in diameter cladding process and Black-box Testing method automatically generates test case.
2.2, system passes through the information of basic data preparation module user's typing, in conjunction with the equivalence class in Black-box Testing, sideDividing value test method automatically generates the corresponding input data of the test case.
2.3, user inputs the corresponding theoretical output result of the test case according to design.
3, implementation of test cases module.Realize the function of automatic test results monitored and contrast test result.
Realize the problem for finding out that measured result and theoretical output are inconsistent, design is unreasonable.
B, as shown in figure 3, user selects a kind of system mode in host computer, then system shows all shapes inside the stateState, the applicable elements CONDITION for selecting these states to use in the design one by one select the corresponding MAX or MIN of current stateThen column number inputs the number of selected condition corresponding threshold value in the design, it is corresponding in leveling algorithm to input selected conditionThreshold value, fill in the corresponding displacement height value of MAX or MIN column.
C, selection test case type, click generate use-case, then automatically generate corresponding test case as shown in Figure 2, showShow the corresponding test case list of use-case type.
The theoretical foundation of the test case automatically generated are as follows: 1) elementary path cladding process: external morphology converts test caseCover the elementary path of condition selected by every kind of state；2) state diagram conversion method: all lifting machine levelling control systems are analyzed and are existedState as shown in Figure 4 and external status conversion.Test case covering each state of system all form dynamic conversions beThe test point of next state.And system certain external morphologies conversion is internal that there are displacement differences away from changing from small to big or from large to smallTwo class states, so the test case of these external morphologies conversion covers these two types of states again.
System includes two class testing use-cases: 1) external status converts test case；2) external morphology converts test case.
There are following states for two large scenes of system: up:1,2,3,4,5,6；Down:7,8,9,10,11,12；Such as Fig. 4 instituteShow, according to actual design situation, (1,2 states and 5 state mutual exclusions, 3,4 states and 6 state mutual exclusions, 7,8 states and 11 states are mutualReprimand, 9,10 states and 12 state mutual exclusions), up scene state that may be present are as follows: 1-2-3-4,1-2-6,5-3-4,5-6；downScene state that may be present are as follows: 7-8-9-10,7-8-12,11-9-10,11-12；
Eg: if user selects system mode for up-stationary adjustment, up- in basic data preparation moduleMotion adjustment, then up scene only exists a kind of state of 1-2-3-4, so testing example design is a kind of around thisState.
If user is in basic data preparation module typing data as shown in Table 1
Table 11) external status conversion test case: the transfer design external status between every two states, which converts, to be surveyedExample on probation.
External status conversion testing example design is according to being: for each group of condition conversion relationship, a kind of upper stateAll forms can be transformed into a kind of lower state.A kind of then CONDITION of upper only one form of state needs to combineThe CONDITION of next state；A kind of upper state has the various forms that then combine Last status of multiple forms；If phaseThe two states mutually converted have a form, then need to see what state is the latter state can be converted to.
1.1) analysis system state
As can be seen from FIG. 4, the corresponding external status conversion of 1-2-3-4 state is as shown in table 2
Table 2
Table 2 obtains the different transforming relationships between all system modes according to elementary path covering method.
The transforming relationship of table 2 has: 0-1-2-3-4-3
0-1-2-4
0-2-3-4
0-2-4
Because displacement is consecutive variations when condition conversion, in conjunction with practical experience (based on practical experience, 1 stateStationarity is preferable when max-min threshold value is higher than the max-min threshold value of 3 states), removing displacement in transforming relationship has discontinuously nowThe relationship of elephant, analytic process are as follows:
0-1(max-min>15)-2(max-min<15)-3(max-min>8)-4(max-min<8)-3(max-min>8)Rationally
In 0-1 (max-min>15) -2 (max-min<15) -4 (max-min<8) this path state 2 only max-min<Could arrive state 4 when 8, and state 1 is transformed into state 2 in the Shi Caineng of max-min < 15, state 2 between 8 < max-min < 15 notThere can be disconnection phenomenon, so unreasonable, when design test case removes the transforming relationship.
- 3 (max-min>8) -4 (max-min<8) of 0-2 (max-min<15) is reasonable
0-2 (max-min < 15) -4 (max-min < 8) is reasonable
It is as follows to analyze result:
0-1-2-3-4-3
0-2-3-4
0-2-4
3 groups of external status transforming relationships generate a condition conversion figure.
1.2) summarize the key message of design test case.
I, form existing for every kind of state of data according to basic data preparation module is as shown in the table
II, it can be formed by which kind of condition conversion according to each state of condition conversion figure, as shown in the table,
If up scene state selected by III, user is 1-2-3-4, variable factor max-min when state mutually convertsMaximal regulated value be the corresponding max-min threshold value of two states minimum value.
1.3) Details as Follows for the test case designed:
0-1:0 has 1 form, and 1 has 3 forms in max-min > 15, then can be designed 3 tests according to 1 formUse-case；
0-2:0 has 1 form, and 2 have 1 form in max-min < 15, and 2 can be converted into 3,4 two states, so root2 test cases can be designed according to 3,4 state；
1-2:1 has 3 forms in max-min>15, and 2 have 1 form in max-min<15, due to 2 by 1 conversion andAt, and the interval range that 2 threshold value limits 1 max-min displacement is up to 15, so 1 effective form is still 3It is a, 3 test cases can be designed according to 1 form；
2-3:2 has 1 form in max-min<15, and 3 have 5 forms in max-min>8, due to 3 by 2 conversion andAt, and the interval range that 2 threshold value limits 3 max-min displacement is up to 15, so 3 effective form is 3, it canTo design 3 test cases；
4-3:4 has 1 form in max-min<8, and 3 have 5 forms in max-min>8, is transformed by 4 due to 3,And 4 threshold value limits the interval range of 3 adjusting max-min displacement and is up to 8, so 3 effective form is 1, it can be withDesign a test case；
2-4:2 has 1 form in max-min < 15, and 4 have 1 form in max-min < 8, and 4 can be converted into 3 one kindState, so 1 test case can be designed according to 4 state；
3-4:3 has 5 forms in max-min>8, and 4 have 1 form in max-min<8, and 3 are converted into 4 threshold value 8The interval range for limiting 3 max-min displacement is up to 8, so 3 effective form is 1, can design a test and useExample；
2) external morphology converts test case
Transfer design external morphology around every kind of state form converts test case.
External morphology conversion testing example design foundation is:
2.1) elementary path cladding process: external morphology conversion test case covers the basic road of condition selected by every kind of stateDiameter；2.2) state diagram conversion method: there are displacement differences for external morphology conversion away from changing from small to big or two class state from large to small, so thisThe test case of a little external morphology conversions covers these two types of states again.
The external morphology for analyzing each state generates following test case.
1: having num+1=3 kind form, i.e. num+1=3 elementary path, the conversion between form in max-min > 15Be by uphill process there are displacement difference away from change from small to big, two states from large to small and convert, it is possible to design oneThe test case of a 2*num+1=3 step can reach elementary path covering and internal state conversion covering；
2: having num+1=1 kind form, i.e. num+1=1 elementary path in max-min < 15, it is possible to design oneThe test case of a 2*num+1=1 step can reach elementary path covering
3: having num+1=5 kind form, i.e. num+1=5 elementary path in max-min > 8, the conversion between form isBy in uphill process there are displacement difference away from change from small to big, two states from large to small and convert, it is possible to design oneThe test case of 2*num+1=9 step can reach elementary path covering and internal state conversion covering；
4: having num+1=1 kind form, i.e. num+1=1 elementary path in max-min < 8, it is possible to design oneThe test case of 2*num+1=1 step can reach elementary path covering
D, as shown in Fig. 2, according to different types of test case, automatic Data Generation Test.
1) external morphology converts class testing use-case: selection system mode STAUS is clicked and is generated data, then external morphology turnsAll input datas (4 column displacement height) for changing class testing use-case automatically generate.
2) external status transforming relationship class testing use-case: selection system mode RELATION is clicked and is generated data, then convertsAll input datas (4 column displacement height) of all test cases of relation object automatically generate.
It generates the theoretical foundation of test data are as follows: 1) equivalence class method: calculating the range of X according to selected condition；2) boundary valueMethod: the value for choosing (range boundary value) -1 or+1 on scope according to different condition is determined in equivalence class.
Class testing use-case, if it is 3 that user, which selects STATUS, 3 CONDITION as shown in Table 1 are converted for external morphologyFor max-x, threshold value has 8,14,20,25, the test case first step, sets PREPARED-DATA value: 01:min, and 02:Max=8+min+1 (max > 8+min), 03:x=max-8+1 (x > max-8), 04:x=max-8+1 (x > max-8) are non-testThe use-case first step, if displacement difference adjusts the value of max away from converting from small to large, if the CONDITION in test case only takesThe last one threshold value 25, PREPARED-DATA value: 01:min, 02:max=25+x+1 (max > 25+x), 03:x, 04:x；If having taken 2 threshold values, 8,14, PREPARED-DATA value: 01:min, 02:max=8+x+1 (max > 8+ in test casex),03:x,04:x；If displacement difference, away from converting from large to small, the value for first adjusting max adjusts the value of x again, if taking in test case28,14, PREPARED-DATA values of threshold value: 01:min, 02:max=max+1,03:x=max-14+1 (x > max-14), 04:x=max-14+1 (x > max-14)；If the CONDITION in test case has only taken first threshold value,PREPARED-DATA value: 01:min, 02:max=max+1,03:x=max-8+1 (x > max-8), 04:x=max-8+1 (x>max-8)；In the second step of conversion, the value of x is only adjusted, if having taken 2 threshold values 8,14 in test case,PREPARED-DATA value: 01:min, 02:max, 03:x=max-14+1 (x > max-14), 04:x=max-14+1 (x >max-14)；If the CONDITION in test case has only taken first threshold value, PREPARED-DATA value: 01:min,02:max, 03:x=max-8+1 (x > max-8), 04:x=max-8+1 (x > max-8)；As shown in table 3.
If the CONDITION of selected STATUS3 is x-min, the threshold value of threshold value a1, a2, max-min are b, are surveyedThe example first step on probation, sets PREPARED-DATA value: 01:min, 02:max=b+min+1 (max > b+min), 03:x=a1+ min-1 (x < a1+min), 04:x=a1+min-1 (x < a1+min), the non-test use-case first step, if displacement difference is away from from small to largeConversion, then adjust the value of x, if the CONDITION in test case has only taken threshold value a2, PREPARED-DATA a value:01:min, 02:max, 03:x=a2+min-1 (x > a2+min), 04:x=a2+min-1 (x > a2+min)；If in test case2 threshold value a1, a2, PREPARED-DATA values: 01:min, 02:max, 03:x=a1+min+1 (x > a1+min) have been taken,04:x=a1+min+1 (x > a1+min)；If displacement difference away from converting from large to small, adjusts the value of x, min (in the mistake of adjustment minCheng Zhong, in order to ensure max-min > b, while also the value of adjustment max is to max=b+min+1), if in test caseCONDITION has only taken a threshold value, PREPARED-DATA:01:min=x-a1+1 (min > x-a1), 02:max, 03:x=x+1,04:x=x+1；If having taken 2 threshold values, PREPARED-DATA value: 01:min=x-a2+1 in test case(min > x-a2), 02:max, 03:x=x+1,04:x=x+1；
Table 3
For external status transforming relationship class testing use-case, if user selects RELATION for 4-3, by table 1 and testUse-case RELATION:4-3, TESTCASE:1 it is found that
04 state, PREPARED-DATA value: 01:min, 02:max=8+min-1 (max < 8+min), 03:x=max-8+1 (x > max-8), 04:x=max-8+1 (x > max-8)；
03 state, to PREPARED-DATA value on the basis of 04 state: 01:min, 02:max=8+min+1 (max> 8+min), 03:x, 04:x；
As shown in table 4.
The corresponding theoretical output result of table 4e, all test cases of typing.
System mode STATUS is selected, STEP is selected, then shows the STEP details of the testcase.It is recorded according to design philosophyEnter motor, f1, f2, the state (1 indicates to open, and 0 indicates to close) of f3, f4, as shown in table 5.
Table 5
Transforming relationship RELATION is selected, TESTCASE is selected, selects STEP, then shows the under the RELATIONThe STEP of TESTCASE test case walks details, according to state (1 table of design philosophy typing motor, f1, f2, f3, f4Show opening, 0 indicates to close), as shown in table 6.
Table 6f, user adjust each column according to the displacement information shown in e and are displaced.
System mode STATUS is selected, STEP1 is selected, user adjusts according to the input data that test case STEP1 is shownEach column displacement, then presses and rises or falls key.After the test for having executed STEP1, input number that user shows according to STEP2According to each column displacement is adjusted, it is gradually completing the adjustment of displacement work of all STEP.
Transforming relationship RELATION is selected, TESTCASE is selected, selects STEP1, user shows according to test case STEP1Input data adjust the displacement of each column, then press and rise or fall key.After the test for having executed STEP1, user according toThe input data that STEP2 is shown adjusts each column displacement, is gradually completing the adjustment of displacement work of all STEP.
G, the execution test key in host computer is pressed, then instruction is issued slave computer, slave computer according to agreement by host computerThe output signal for acquiring master control borad, these signals are packaged, and are sent to host computer according to agreement, host computer is analyzed in process instructionHold, show measured result in the use-case, after the completion of use-case execution, host computer generates the phase shown in test case moduleThe corresponding TESTCASE of STATUS, RELATION is answered to show the state of execution.
If measured result is consistent with notional result, the measured result of black font is shown；As shown in table 7.
Table 7
If measured result is consistent with notional result, but measured result is unreasonable to show yellow font；
The unreasonable theoretical foundation of measured result is: 1) design philosophy of displacement leveling algorithm: being displaced high pillar and stopPillar to wait displacement low rises or is displaced high pillar and rises the low pillar rapid increase of displacement at a slow speed to reach levelingPurpose.2) empirical value of different conditions: the threshold value of the max-min of state 1 is higher than the max-min threshold value of state 3.
Two columns of same STATUS, same TESTCASE, same STEP compare notional result: if being displaced high column when risingSub- motor state is 1, and being displaced low pillar motor state is 0.Or being displaced high pillar motor is 1, is displaced low pillarMotor is that 1, f2 is 1 to be judged as that design is unreasonable, as shown in table 8 (motor, f1, f2, f3 column below testresult in tableNumber be yellow font).
Table 8
It is displayed in red font if measured result car following-theory result is inconsistent, as shown in table 9 (in table 9 under testresultThe number 1 of first row and the number 0 of second row of the f2 column of side are red font).
Table 9h, user continue that the test case being not carried out in host computer generation test case module is selected to test, directlyIt is to have executed state to all test case identification-states.