CN102096410B - Dynamic function test method of high-speed train operation control system - Google Patents
Dynamic function test method of high-speed train operation control system Download PDFInfo
- Publication number
- CN102096410B CN102096410B CN2010106055601A CN201010605560A CN102096410B CN 102096410 B CN102096410 B CN 102096410B CN 2010106055601 A CN2010106055601 A CN 2010106055601A CN 201010605560 A CN201010605560 A CN 201010605560A CN 102096410 B CN102096410 B CN 102096410B
- Authority
- CN
- China
- Prior art keywords
- state transitions
- test
- tested
- control system
- high speed
- 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.)
- Active
Links
Images
Abstract
The invention relates to a dynamic function test method of a high-speed train operation control system, which belongs to the technical field of high-speed train operation control systems. The method comprises the following steps of: configuring a dynamic test model of a tested high-speed train operation control system based on a parameterization automaton model according to a high-speed train operation control system functional specification; and performing a dynamic test process on the high-speed train operation control system according to the model. In the dynamic test method, a cyclic process consisting of four steps, namely 'generating a test sequence of transfer to be tested', 'executing the test sequence', 'analyzing a test result' and 'updating a dynamic test model parameter' is performed. By the method, the generation of a fixed test sequence set before the high-speed train operation control system is tested is avoided, and the problems of low test coverage rate and low test result accuracy of the conventional static test method as well as high generation cost and high execution cost of a test sequence in the conventional dynamic test method are solved.
Description
Technical field
The present invention relates to a kind of dynamic testing method of Train Running Control System for High Speed function, belong to the Train Running Control System for High Speed technical field.
Background technology
Train Running Control System for High Speed functional test fundamental purpose is a whether compliance with system functional specification of the tested Train Running Control System for High Speed of checking.Traditional Train Running Control System for High Speed functional test is main with static test; Problems such as test coverage is low, the test result accuracy rate is low when test, have been run into; Problem to static test; Some scholars take the lead in having proposed dynamic testing method in the testing protocol consistency field; Dynamic testing method is through generating a more massive cycle tests collection to be selected before the test execution, and the cycle tests of in test execution, dynamically selecting the next one to carry out according to executed cycle tests and test result is to improve the coverage rate of testing and the accuracy rate of test result.In measuring executing process, choosing of cycle tests is not only relevant with the cycle tests of having carried out, and be also relevant with detected defective.Problems such as it is big that existing dynamic testing method mainly exists cycle tests to generate expense, and the cycle tests executive overhead is big.
Summary of the invention
The objective of the invention is to propose a kind of dynamic testing method of Train Running Control System for High Speed function; Through set up the dynamic test model of Train Running Control System for High Speed based on parametric and Automatic machine model, in carrying out test process, dynamically generate cycle tests, and carry out test; Improve test coverage; And make test result more accurate, and the expense that cycle tests generates and carries out is little, is convenient to realize.
The dynamic testing method of the Train Running Control System for High Speed function that the present invention proposes may further comprise the steps:
(1) sets up the test model of a Train Running Control System for High Speed function: A
p=(M, W, B), wherein,
M is the finite-state automata according to the functional specification structure of Train Running Control System for High Speed,
W is the state transitions weight vectors of finite-state automata M, is used for representing the execution cost of dynamic test process state transitions, W=[w
1..., w
i..., w
n], wherein, n is the state transitions number, w
iExpression state transitions t
iThe execution cost, definition: the execution cost that normal condition shifts is 1, the execution cost that error condition shifts is ∞, the initial weight vector of finite-state automata M be W=[1 ..., 1 ..., 1],
B is the state transitions mark vector of finite-state automata M, B=p [b
1..., b
j..., b
n], b
jSo that 1,0, a value among the 1}, definition b
j=0, expression state transitions t
jMistake to be tested, and can judge state transitions t according to test result
jCorrectness, b
j=-1, expression state transitions t
jMistake to be tested, and can not judge state transitions t according to test result
jCorrectness, b
j=1 expression state transitions t
jMistake not to be tested, the initial marking vector of finite-state automata M be B=[1 ..., 1 ..., 1];
(2) with the finite-state automata M of above-mentioned functional specification structure according to Train Running Control System for High Speed reference model as Train Running Control System for High Speed function dynamic test;
(3) according to above-mentioned test model, the function of Train Running Control System for High Speed is carried out dynamic test, may further comprise the steps:
(3-1), all state transitions are numbered from short to long successively, obtain t according to the length of state transitions homing sequence among the finite-state automata M
1, t
2... T
n
(3-2) begin to EOT, carry out successively from the function of Train Running Control System for High Speed is carried out dynamic test:
(3-2-1) generate a cycle tests ts at the moment of test process k
k=ts
Pret
kTs
Post, t wherein
kBe tested state transitions, ts
PreBe tested state transitions t
kHoming sequence, ts
PostBe tested state transitions t
kShape of tail attitude checking sequence,
(3-2-2) according to above-mentioned cycle tests,, obtain the test output o of reference model respectively respectively to above-mentioned reference model and the tested Train Running Control System for High Speed input signal relevant with functional test
1..., o
l..., o
mTest output with tested Train Running Control System for High Speed
(3-2-3) o is exported in the test of above-mentioned reference model
1, o
2..., o
mTest output with tested Train Running Control System for High Speed
Compare:
If the test of reference model output is identical with the test output of tested Train Running Control System for High Speed, judge that then tested state transitions is for correct;
If the test of reference model output is inequality with the test output of tested Train Running Control System for High Speed, then to cycle tests ts
kCarry out location of mistake, obtain the judged result of tested state transitions;
(3-2-4) according to above-mentioned judged result, if tested state transitions be correctly, then the weighted value of tested state transitions is constant, and is b with the ident value assignment of tested state transitions
k=0, if tested state transitions is a mistake, then the weighted value assignment with tested state transitions is infinitely great w
k=∞, and be b with the ident value assignment of tested state transitions
k=0, if tested state transitions be for judging the correctness of state transitions according to test result, then the weighted value of tested state transitions is constant, and is b with the ident value assignment of tested state transitions
k=-1;
(3-2-5) if all tested state transitions ident values are 0, or be not that 0 tested state transitions has not existed and can carry out cycle tests, then stop the dynamic test process ident value.
In the said method, if the test of reference model output is inequality with the test output of tested Train Running Control System for High Speed, then cycle tests is carried out location of mistake, the location of mistake method may further comprise the steps:
(1) definition: it is a symptom that the test output of reference model is exported inconsistent situation with the test of tested Train Running Control System for High Speed, promptly
From a cycle tests ts
kIn identify all symptoms, obtain a sympotomatic set and be:
S
k＝{s
k，1，…，s
k，g，…s
k，h}；
(2) each the symptom s that above-mentioned symptom is concentrated
K, g:
Confirm that corresponding conflict set is:
C
k，g＝{c
1 k，g，…，c
u k，g，…，c
p k，g}；
Wherein, c
u K, gBe a conflict, being defined as of conflict: corresponding state transitions does not conform in function of tested Train Running Control System for High Speed and the reference model;
(3) obtain cycle tests ts according to above-mentioned conflict set
kInitial diagnostic Candidate Set IDS:
IDS
k＝C
k，1∩C
k，2∩…∩C
k，h
According to conflict c
u K, gThe diagnosis candidate who does not conform to history output among the above-mentioned initial diagnostic Candidate Set IDS is deleted in the history output of middle state transitions, and according to conflict c
i K, gThe historical shape of tail attitude of middle state transitions; Delete the diagnosis candidate who does not conform to historical shape of tail attitude among the above-mentioned initial diagnostic Candidate Set IDS, obtain last diagnostic collection FDS, if there is a diagnosis candidate among the last diagnostic collection FDS; Judge that then the state transitions that comprises among this diagnosis candidate is a mistake; If have a plurality of diagnosis candidates among the last diagnostic collection FDS, then can not judge the correctness of state transitions according to test result, adopt the state transitions sequence t that produces symptom
K, v, t
K, v+1, t
K, v+jDescribe the error message of cycle tests, definition produces the state transitions sequence Fss of symptom
k=t
K, v, t
K, v+1, t
K, v+jBe wrong subsequence;
(4), then above-mentioned wrong subsequence is added in the wrong subsequence set if can not judge the correctness of state transitions according to test result:
FssS
k＝FssS
k-1∪{Fss
k}。
The dynamic testing method of the Train Running Control System for High Speed function that the present invention proposes is compared with the dynamic testing method of existing Train Running Control System for High Speed static test and other field, has the following advantages:
1, the dynamic testing method of Train Running Control System for High Speed function of the present invention dynamically generates cycle tests for state transitions to be tested in carrying out test process.This cycle tests generating mode is when increasing the optional scope of cycle tests, and having overcome the conventional dynamic method of testing effectively need test the big problem of the cycle tests that all cycle testss carried out caused generation expense that begins generate before each state transitions.
2, in the dynamic testing method of Train Running Control System for High Speed function of the present invention; Location of mistake is an incremental process; Time marquis in that a state transitions is tested need not carry out exhaustive testing to this transfer to be measured, but constantly upgrades the location of mistake result through the process that cycle tests is carried out.The information of each location of mistake is used for upgrading the parameter of Train Running Control System for High Speed dynamic test model, to identify each execution test test result information afterwards.Further reduce the disconnected possibility of test result erroneous judgement through this method, reduced the cycle tests executive overhead simultaneously effectively.
Description of drawings
Fig. 1 state transitions numbering marginal data.
The FB(flow block) of the dynamic testing method that Fig. 2 the inventive method proposes.
The finite-state automata model of Fig. 3 mobile unit mode switch.
Embodiment
The dynamic testing method of the Train Running Control System for High Speed function that the present invention proposes, its FB(flow block) is as shown in Figure 2, may further comprise the steps:
(1) sets up the test model of a Train Running Control System for High Speed function: A
p=(M, W, B), wherein,
M is the finite-state automata according to the functional specification structure of Train Running Control System for High Speed,
W is the state transitions weight vectors of finite-state automata M, is used for representing the execution cost of dynamic test process state transitions, W=[w
1..., w
i..., w
n], wherein, n is the state transitions number, w
iExpression state transitions t
iThe execution cost, definition: the execution cost that normal condition shifts is 1, the execution cost that error condition shifts is ∞, the initial weight vector of finite-state automata M be W=[1 ..., 1 ..., 1],
B is the state transitions mark vector of finite-state automata M, B=[b
1..., b
j..., b
n], b
jSo that 1,0, a value among the 1}, definition b
j=0, expression state transitions t
jMistake to be tested, and can judge state transitions t according to test result
jCorrectness, b
j=-1, expression state transitions t
jMistake to be tested, and can not judge state transitions t according to test result
jCorrectness, b
j=1 expression state transitions t
jMistake not to be tested, the initial marking vector of finite-state automata M be B=[1 ..., 1 ..., 1];
(2) with the finite-state automata M of above-mentioned functional specification structure according to Train Running Control System for High Speed reference model as Train Running Control System for High Speed function dynamic test;
(3) according to above-mentioned test model, the function of Train Running Control System for High Speed is carried out dynamic test, may further comprise the steps:
(3-1), all state transitions are numbered from short to long successively, obtain t according to the length of state transitions homing sequence among the finite-state automata M
1, t
2... T
n, the state transitions process of finite state machine is as shown in Figure 1, and when the homing sequence length of a plurality of state transitions was identical, number order was any, and the homing sequence length of state transitions (2,4) and state transitions (3,5) is identical, therefore is numbered t
3State transitions both can be that (2,4) also can be (3,5);
(3-2) begin to EOT, carry out successively from the function of Train Running Control System for High Speed is carried out dynamic test:
(3-2-1) generate a cycle tests ts at the moment of test process k
k=ts
Pret
kTs
Post, t wherein
kBe tested state transitions, ts
PreBe tested state transitions t
kHoming sequence, ts
PostBe tested state transitions t
kShape of tail attitude checking sequence,
(3-2-2) according to above-mentioned cycle tests,, obtain the test output o of reference model respectively respectively to above-mentioned reference model and the tested Train Running Control System for High Speed input signal relevant with functional test
1..., o
l..., o
mTest output with tested Train Running Control System for High Speed
(3-2-3) o is exported in the test of above-mentioned reference model
1, o
2..., o
mTest output with tested Train Running Control System for High Speed
Compare:
If the test of reference model output is identical with the test output of tested Train Running Control System for High Speed, judge that then tested state transitions is for correct;
If the test of reference model output is inequality with the test output of tested Train Running Control System for High Speed, then cycle tests tsk is carried out location of mistake, obtain the judged result of tested state transitions;
(3-2-4) according to above-mentioned judged result, if tested state transitions be correctly, then the weighted value of tested state transitions is constant, and is b with the ident value assignment of tested state transitions
k=0, if tested state transitions is a mistake, then the weighted value assignment with tested state transitions is infinitely great w
k=∞, and be b with the ident value assignment of tested state transitions
k=0, if tested state transitions be for judging the correctness of state transitions according to test result, then the weighted value of tested state transitions is constant, and is b with the ident value assignment of tested state transitions
k=-1;
(3-2-5) if all tested state transitions ident values are 0, or be not that 0 tested state transitions has not existed and can carry out cycle tests, then stop the dynamic test process ident value.
The finite-state automata that the present invention is used for describing the Train Running Control System for High Speed functional specification has following definition and form:
A typical finite-state automata is defined as one 6 tuple
M＝(Q，q
0，Q
m，∑，Λ，δ，λ)
Wherein:
Q is the state set of finite-state automata;
∑ is the input character set of finite-state automata, and one of them character representative is by incoming event of modeling;
A is the output character set of finite-state automata, and one of them character representative is by outgoing event of modeling;
q
0Original state for finite-state automata;
δ is the state transition function of finite-state automata: δ: Q * ∑ → Q;
λ is the output function of finite-state automata: λ: Q * ∑ → Λ.
Q
mBe the identification-state set of finite-state automata, be used for identifying certain incident perhaps certain sequence of events generation takes place.
Based on the finite-state automata model Train Running Control System for High Speed is carried out functional test following hypothesis is arranged:
Suppose 1: do not have the state transitions of output to think for finite-state automata and be output as sky, promptly output is null event ε.
Suppose 2: make t
1: I
1/ O
1, t
2: I
2/ O
2Be two state transitions that order takes place, I
1, I
2Be the incoming event of state transitions, O
1, O
2It is the outgoing event of state transitions.It is I that following temporal partial ordering relation is arranged between four incidents
1＜O
1＜I
2＜O
2, the time order and function order that takes place of operational character "＜" presentation of events wherein, the incident on the operational character left side takes place prior to the incident on the right.
Suppose 3: the finite-state automata model of establishing corresponding to tested Train Running Control System for High Speed functional specification is M; The corresponding finite-state automata model of Train Running Control System for High Speed is M ', and the hypothesis that generates cycle tests based on the finite-state automata model comprises following 7 son hypothesis:
(3.1) finite-state automata M is a full-mesh, and promptly the state transition diagram of M is a full-mesh;
(3.2) finite-state automata M is the simplest finite-state automata;
(3.3) finite-state automata M ' can not change in test process;
(3.4) the input character collection of finite-state automata M ' is identical with the input character collection of finite-state automata M;
(3.5) status number of finite-state automata M ' can not surpass the status number of finite-state automata M;
(3.6) for each input character, if system under test (SUT) produces output, this output produced in the given time so;
(3.7) Test input signal is that steady state (SS) at system under test (SUT) applies.
In the said method, if the test of reference model output is inequality with the test output of tested Train Running Control System for High Speed, then cycle tests is carried out location of mistake, the location of mistake method may further comprise the steps:
(2-1) definition: it is a symptom that the test output of reference model is exported inconsistent situation with the test of tested Train Running Control System for High Speed; Promptly
identifies all symptoms from a cycle tests tsk, obtains a sympotomatic set to be:
S
k＝{s
k，1，…，s
k，g，…s
k，h}；
Each the symptom s that (2-2) above-mentioned symptom is concentrated
K, g:
Confirm that corresponding conflict set is:
C
k，g＝{c
1 k，g，…，c
u k，g，…，c
p k，g}；
Wherein, c
u K, gBe a conflict, being defined as of conflict: corresponding state transitions does not conform in function of tested Train Running Control System for High Speed and the reference model;
(2-3) obtain cycle tests ts according to above-mentioned conflict set
kInitial diagnostic Candidate Set IDS:
IDS
k＝C
k，1∩C
k，2∩…∩C
k，h
According to conflict c
u K, gThe diagnosis candidate who does not conform to history output among the above-mentioned initial diagnostic Candidate Set IDS is deleted in the history output of middle state transitions, and according to conflict c
i K, jThe historical shape of tail attitude of middle state transitions; Delete the diagnosis candidate who does not conform to historical shape of tail attitude among the above-mentioned initial diagnostic Candidate Set IDS, obtain last diagnostic collection FDS, if there is a diagnosis candidate among the last diagnostic collection FDS; Judge that then the state transitions that comprises among this diagnosis candidate is a mistake; If have a plurality of diagnosis candidates among the last diagnostic collection FDS, then can not judge the correctness of state transitions according to test result, adopt the state transitions sequence t that produces symptom
K, v, t
K, v+1, t
K, v+jDescribe the error message of cycle tests, definition produces the state transitions sequence Fss of symptom
k=t
K, v, t
K, v+1, t
K, v+jBe wrong subsequence;
(2-4) if can not judge the correctness of state transitions, then above-mentioned wrong subsequence is added in the wrong subsequence set according to test result:
FssS
k＝FssS
k-1∪{Fss
k}。
For the shortest wrong subsequence acquisition process in the location of mistake method is described better, below introduce the correlated results of wrong subsequence abbreviation:
For wrong subsequence, following 2 wrong subsequence abbreviation rules are arranged:
Rule 1: make that T is a wrong subsequence, and | T|＞1 (| T| represents the length of wrong subsequence, i.e. the number of its transfer that comprises).If T=t
1T ', and t
1Be a correct state transitions that realizes, then T ' is the wrong subsequence shorter than T, and they have identical mistake to realize.
Rule 2: make that T is a wrong subsequence, and | T|＞1.If T=T ' t
l, and t
lBe the state transitions of a correct realization, then T ' is the wrong subsequence shorter than T, and they have identical mistake.
The shortest wrong subsequence obtaining step among the present invention is following:
(1) if carries out cycle tests and produces symptom
Wherein
Be first symptom, and shift t in executing state
K, iThe time observe this symptom, then t
K, 1, t
K, 2..., t
K, iNecessarily contain wrong state transitions, t
K, 1, t
K, 2..., t
K, iAs initial wrong subsequence;
(2) use wrong subsequence rule of simplification based on the above-mentioned wrong subsequence of historical test data abbreviation, shift all can't take a decision as to whether correct state transitions the time when the head status of wrong subsequence shifts with the shape of tail attitude, this subsequence is the wrong subsequence of lacking most.
Below be an embodiment of the inventive method: present embodiment is through the superiority of Train Running Control System for High Speed mobile unit mode switch test specification the method for the invention.Present embodiment has contrasted the dynamic testing method of inventing said Train Running Control System for High Speed mobile unit function and the test performance of traditional static method of testing and conventional dynamic method of testing.Following in conjunction with accompanying drawing to mobile unit mode switch dynamic test procedure declaration:
1. set up the dynamic test model of a Train Running Control System for High Speed mobile unit function, A
p=(B), wherein the finite-state automata model M is shown in accompanying drawing 3 for M, W, and the state of M and input and output Event Description are shown in table 1, table 2 and table 3; A
pOriginal state shift weight vectors be W=[1,1 ..., 1], original state shift mark vector be B=[1,1 ..., 1].
Table 1 state table
Table 2 incoming event table
Table 3 outgoing event table
2. with the finite-state automata M of above-mentioned functional specification structure according to the Train Running Control System for High Speed mobile unit reference model as Train Running Control System for High Speed mobile unit function dynamic test
3. according to above-mentioned dynamic test model, the function of Train Running Control System for High Speed mobile unit is carried out dynamic test, process is following:
The state transitions t8 that supposes mobile unit has shape of tail attitude mistake, and (this state transitions is implemented as t
8: δ ' (s
6, I
8)=s
2), to get off in this realization situation, (3-2-1) to (3-2-5) 5 steps are carried out in circulation, and the implementation summary is: for all state transitions are numbered, number as shown in Figure 3; For state transitions t
1, based on finite-state automata M
0, use the UIO method to generate state transitions t
1Cycle tests ts
1=t
1, t
2, carry out cycle tests ts
1, do not find symptom, then description status shifts t
1Through test, and then state transitions t
1The corresponding identification value becomes 0, and weighted value is constant, after this state transitions t
2, t
3, t
4, t
5, t
6, t
7Also all passed through test, the mark vector that this moment, parametrization finite-state automata model state shifted is B=[0,0,0,0,0,0,0,1,1,1,1,1,1,1,1,1,1,1,1,1], when test mode shifts t
8The time, carry out cycle tests and find symptom afterwards
There are a plurality of diagnosis candidates to explain for this symptom, for example DC
8,1:
DC
8,2: δ (s
6, I
8)=s
2Deng, therefore, use the shortest wrong subsequence to describe the error message of test vehicle equipment, initial wrong subsequence is Fss
1=t
1, t
7, t
8, t
2, because state transitions t
1, t
2, t
7Mistake to be tested and checking are correct, use wrong subsequence abbreviation rule to obtain state transitions t
8Be that unique mistake shifts, and it is output as O
1So, state transitions t
8Be a state transitions that shape of tail attitude mistake is arranged, according to this test result, state transitions t
8Weighted value be set to infinitely, in ensuing test, can not generate the cycle tests that comprises this state transitions.Use dynamic testing method not to state transitions t to be tested
8Do exhaustive testing, but obtain error message, state transitions t in ensuing dynamic test process through reasoning
9, t
10, t
11, t
12, t
13, t
14, t
15, t
16, t
17, t
18, t
19, t
20, t
21All passed through test.
Under same false supposition prerequisite, contrast dynamic testing method of the present invention and traditional static test and dynamic conformance method of testing (DCTM), test execution result is listed in the table 4.Because state transitions t
8Be shape of tail attitude mistake, thus the test judged result of static test do not influenced, but for the DCTM dynamic testing method, at state transitions t
8When shape of tail attitude mistake was arranged, not only the test execution expense was big, and the test result of wrong judgement, and this is because as cycle tests t
1, t
7, t
8, t
2During not through test, need be to t
8Carry out exhaustive testing, work as t simultaneously
8After being judged as " mistake realization ", shift t
15, t
16, t
17, t
18In testing tree, do not had and can carry out cycle tests, so directly be judged as " mistake realization ", obviously this is false test result.
Table 4 is worked as t
8Experimental result during mistake
Annotate: C representes the test execution cost; P representes the state transitions number through test; F representes the not state transitions number through testing; W representes false test result number; U representes the state transitions number that can't test.
Then inject fault respectively,, obtain the experimental result of tested Train Running Control System for High Speed mobile unit under multiple single error situation, be listed in the table 5 through emulation experiment for 21 state transitions of Train Running Control System for High Speed mobile unit.
The experimental result of table 5 single fault
Annotate: E representes mean value.I representes ideal value.
Inject The simulation experiment result according to fault, compare the test performance of three kinds of method of testings from following four aspects:
1) test execution expense
Can know that from experimental result the average test expense of DCTM method is maximum.The average test expense of dynamic testing method of the present invention and the average test expense of static method are more approaching.This is because the DCTM dynamic testing method has used the test result determination strategy of exhaustive testing, so the test expense is bigger.
2) test coverage
The state transitions number that dynamic testing method of the present invention covers is 20.05, and the state transitions number that the DCTM method covers is 19.62, and the state transitions number that static test covers has only 19.23.Can know that from The simulation experiment result dynamic testing method test coverage of the present invention is the highest, relatively near ideal value.The DCTM dynamic testing method is owing to adopted the method for exhaustive testing to improve test coverage to a certain extent.The actual test coverage of static test is minimum.
3) false test result number
Use dynamic testing method of the present invention and DCTM dynamic testing method, false test result number is less than static test.Dynamic testing method of the present invention is because employing incremental testing location of mistake method is used " uncertain " result as the test judgement to judging whether wrong state transitions.
4) test result accuracy rate
From The simulation experiment result; The test result accuracy rate of using dynamic testing method of the present invention the to obtain the highest tested state transitions test result accurately of sign " uncertain " (this think in discussing), this is because the test determination strategy and the location of mistake method of dynamic testing method of the present invention use increment.And static test is owing to have only a cycle tests to each state transitions to be tested, so in case test crash, corresponding state transitions just is judged as " mistake realization ".The DCTM dynamic testing method has only it to a state transitions to be measured, and all can carry out cycle tests all during test crash, just give the test judgement of tested state transitions " mistake realization ".Though this can improve accuracy rating of tests to a certain extent, still there is the disconnected possibility of erroneous judgement.For example as state transitions t
6When being wrong a realization, DCTM passes through state transitions t
6Exhaustive testing judge t
6Be " mistake realization ", according to DCTM method of testing state transitions t
19, t
20, t
21Directly be judged as error condition and shift, this also is the disconnected test result of erroneous judgement.
In sum, dynamic testing method of the present invention has than traditional static method of testing and the better test performance of DCTM dynamic testing method.Dynamic testing method of the present invention dynamically generates cycle tests based on the parametric and Automatic machine model of Train Running Control System for High Speed in measuring executing process; And adopt increment location of mistake method that mistake is carried out incremental positioning; Use wrong subsequence to describe the local error locating information simultaneously, dynamically the parameter of the parametric and Automatic machine model of update system.Dynamic testing method of the present invention has also guaranteed less test execution expense when further improving the test result accuracy rate, therefore, method of the present invention is a kind of more excellent dynamic testing method of suitable Train Running Control System for High Speed functional test.
Claims (1)
1. the dynamic testing method of a Train Running Control System for High Speed function is characterized in that this method may further comprise the steps:
(1) sets up the test model of a Train Running Control System for High Speed function: A
p=(M, W, B), wherein,
M is the finite-state automata according to the functional specification structure of Train Running Control System for High Speed,
W is the state transitions weight vectors of finite-state automata M, is used for representing the execution cost of dynamic test process state transitions, W=[w
1..., w
i..., w
n], wherein, n is the state transitions number, w
iTable w shows state transitions t
iThe execution cost, definition: the execution cost that normal condition shifts is 1, the execution cost that error condition shifts is ∞, the initial weight vector of finite-state automata M be W=[1 ..., 1 ..., 1],
B is the state transitions mark vector of finite-state automata M, B=[b
1..., b
j..., b
n], b
jSo that 1,0, a value among the 1}, definition b
j=0, expression state transitions t
jMistake to be tested, and can judge state transitions t according to test result
jCorrectness, b
j=-1, expression state transitions t
jMistake to be tested, and can not judge state transitions t according to test result
jCorrectness, b
j=1 expression state transitions t
jMistake not to be tested, the initial marking vector of finite-state automata M be B=[1 ..., 1 ..., 1];
(2) with the finite-state automata M of above-mentioned functional specification structure according to Train Running Control System for High Speed reference model as Train Running Control System for High Speed function dynamic test;
(3) according to above-mentioned test model, the function of Train Running Control System for High Speed is carried out dynamic test, may further comprise the steps:
(3-1), all state transitions are numbered from short to long successively, obtain t according to the length of state transitions homing sequence among the finite-state automata M
1, t
2... T
n
(3-2) begin to EOT, carry out successively from the function of Train Running Control System for High Speed is carried out dynamic test:
(3-2-1) generate a cycle tests ts at the moment of test process k
k=ts
Pret
kTs
Post, t wherein
kBe tested state transitions, ts
PreBe tested state transitions t
kHoming sequence, ts
PostBe tested state transitions t
kShape of tail attitude checking sequence,
(3-2-2) according to above-mentioned cycle tests,, obtain the test output o of reference model respectively respectively to above-mentioned reference model and the tested Train Running Control System for High Speed input signal relevant with functional test
1..., o
l..., o
mTest output with tested Train Running Control System for High Speed
(3-2-3) o is exported in the test of above-mentioned reference model
1, o
2..., o
mTest output with tested Train Running Control System for High Speed
Compare:
If the test of reference model output is identical with the test output of tested Train Running Control System for High Speed, judge that then tested state transitions is for correct;
If the test of reference model output is inequality with the test output of tested Train Running Control System for High Speed, then cycle tests tsk is carried out location of mistake, obtain the judged result of tested state transitions, the process of location of mistake is following:
(3-2-3-1) definition: it is a symptom that the test output of reference model is exported inconsistent situation with the test of tested Train Running Control System for High Speed, promptly
From a cycle tests ts
kIn identify all symptoms, obtain a sympotomatic set and be:
S
k＝｛S
k，1，…，s
k，g，…s
k，h}；
Each the symptom S that (3-2-3-2) above-mentioned symptom is concentrated
K, g:
Confirm that corresponding conflict set is:
C
k，g＝{c
1 k，g，…，c
u k，g，…，c
p k，g}；
Wherein, c
u K, gBe a conflict, being defined as of conflict: corresponding state transitions does not conform in function of tested Train Running Control System for High Speed and the reference model;
(3-2-3-3) obtain cycle tests st according to above-mentioned conflict set
kInitial diagnostic Candidate Set IDS:
IDS
k＝C
k，1∩C
k，2∩…∩C
k，h
According to conflict c
u K, gThe diagnosis candidate who does not conform to history output among the above-mentioned initial diagnostic Candidate Set IDS is deleted in the history output of middle state transitions, and according to conflict c
i K, jThe historical shape of tail attitude of middle state transitions; Delete the diagnosis candidate who does not conform to historical shape of tail attitude among the above-mentioned initial diagnostic Candidate Set IDS, obtain last diagnostic collection FDS, if there is a diagnosis candidate among the last diagnostic collection FDS; Judge that then the state transitions that comprises among this diagnosis candidate is a mistake; If have a plurality of diagnosis candidates among the last diagnostic collection FDS, then can not judge the correctness of state transitions according to test result, adopt the state transitions sequence t that produces symptom
K, v, t
K, v+1, t
K, v+jDescribe the error message of cycle tests, definition produces the state transitions sequence Fss of symptom
k=t
K, v, t
K, v+1, t
K, v+jBe wrong subsequence;
(3-2-3-4) if can not judge the correctness of state transitions, then above-mentioned wrong subsequence is added in the wrong subsequence set: FssS according to test result
k=FssS
K-1∪ { Fss
k;
(3-2-4) according to above-mentioned judged result, if tested state transitions be correctly, then the weighted value of tested state transitions is constant, and is b with the ident value assignment of tested state transitions
k=0, if tested state transitions is a mistake, then the weighted value assignment with tested state transitions is infinitely great w
k=∞, and be b with the ident value assignment of tested state transitions
k=0, if tested state transitions be for judging the correctness of state transitions according to test result, then the weighted value of tested state transitions is constant, and is b with the ident value assignment of tested state transitions
k=-1;
(3-2-5) if all tested state transitions ident values are 0, or be not that 0 tested state transitions has not existed and can carry out cycle tests, then stop the dynamic test process ident value.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN2010106055601A CN102096410B (en) | 2010-12-24 | 2010-12-24 | Dynamic function test method of high-speed train operation control system |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN2010106055601A CN102096410B (en) | 2010-12-24 | 2010-12-24 | Dynamic function test method of high-speed train operation control system |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN102096410A CN102096410A (en) | 2011-06-15 |
| CN102096410B true CN102096410B (en) | 2012-06-20 |
Family
ID=44129537
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN2010106055601A Active CN102096410B (en) | 2010-12-24 | 2010-12-24 | Dynamic function test method of high-speed train operation control system |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN102096410B (en) |
Families Citing this family (10)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN103107117A (en) * | 2011-11-11 | 2013-05-15 | 无锡华润上华科技有限公司 | Semi-conductor processing management system and method |
| CN103558767A (en) * | 2013-01-08 | 2014-02-05 | 北京交通大学 | Train control system test sequence auxiliary generation method and system |
| CN103092755B (en) * | 2013-01-08 | 2017-07-14 | 北京交通大学 | A kind of automatic generation method of train control system test sequence |
| CN103885851B (en) * | 2013-03-01 | 2017-02-15 | 上海富欣智能交通控制有限公司 | Real functional integrity detecting system |
| CN106706329A (en) * | 2015-07-31 | 2017-05-24 | 大陆汽车电子(长春)有限公司 | Method for testing automobile sunroof controller |
| US11726979B2 (en) * | 2016-09-13 | 2023-08-15 | Oracle International Corporation | Determining a chronological order of transactions executed in relation to an object stored in a storage system |
| US10860534B2 (en) | 2016-10-27 | 2020-12-08 | Oracle International Corporation | Executing a conditional command on an object stored in a storage system |
| CN106672031B (en) * | 2016-12-09 | 2018-09-21 | 交控科技股份有限公司 | A kind of the full-automatic static test method and system of train |
| CN106585674B (en) * | 2016-12-09 | 2018-09-04 | 交控科技股份有限公司 | A kind of full-automatic means of defence and system of Train Dynamic test |
| CN110572296B (en) * | 2019-07-17 | 2021-01-08 | 国网江苏省电力有限公司电力科学研究院 | Internet of things terminal equipment communication protocol consistency safety detection method |
Citations (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN101441138A (en) * | 2009-01-07 | 2009-05-27 | 中南大学 | Test method and system of train pneumatic performance simulation test apparatus |
| CN101916311A (en) * | 2010-08-05 | 2010-12-15 | 北京交通大学 | Model development and simulation test system and method for rail transit automatic pilot system |
Family Cites Families (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US7970594B2 (en) * | 2005-06-30 | 2011-06-28 | The Mathworks, Inc. | System and method for using model analysis to generate directed test vectors |
-
2010
- 2010-12-24 CN CN2010106055601A patent/CN102096410B/en active Active
Patent Citations (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN101441138A (en) * | 2009-01-07 | 2009-05-27 | 中南大学 | Test method and system of train pneumatic performance simulation test apparatus |
| CN101916311A (en) * | 2010-08-05 | 2010-12-15 | 北京交通大学 | Model development and simulation test system and method for rail transit automatic pilot system |
Non-Patent Citations (1)
| Title |
|---|
| 周暐,程先东,赵洪军,王帅.CTCS-3级列控系统动态测试优化方法.《中国铁道科学》.2010,第31卷(第5期),102-107. * |
Also Published As
| Publication number | Publication date |
|---|---|
| CN102096410A (en) | 2011-06-15 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN102096410B (en) | Dynamic function test method of high-speed train operation control system | |
| CN102169846A (en) | Method for writing multi-dimensional variable password in parallel in process of testing integrated circuit wafer | |
| CN108833170B (en) | Network-level self-adaptive CAN bus fault diagnosis method | |
| CN107229238B (en) | The method for arbitrating the conflict output in redundancy control system | |
| CN111176984A (en) | Signal-oriented automatic test implementation method | |
| CN107966648B (en) | A kind of embedded failure diagnosis method based on correlation matrix | |
| CN109344085A (en) | A kind of method and system for analyzing satellite test data | |
| CN109783063B (en) | Signal-oriented automatic test system self-checking program development method and device | |
| CN108763064A (en) | A kind of code tester generation method and device based on black box function and machine learning | |
| CN113190220A (en) | JSON file differentiation comparison method and device | |
| CN106815147A (en) | A kind of test script generation method and device | |
| CN112835755A (en) | Test data acquisition method, device and equipment and computer storage medium | |
| Ye et al. | Knowledge discovery and knowledge transfer in board-level functional fault diagnosis | |
| CN105262644A (en) | General test system based on protocol configuration and method | |
| CN109842534A (en) | A kind of equipment test verification method based on switch type FC artificial card | |
| CN109783837A (en) | Emulator, analogue system, emulation mode and simulated program | |
| CN111176995B (en) | Test method and test system based on big data test case | |
| CN112327804A (en) | Fault diagnosis method, device and system of traction control unit and train | |
| CN103165405A (en) | Mutli-dimensional variable code real-time generation method through general purpose interface bus (GPIB) interface | |
| CN115842861A (en) | Edge connection device adaptation method, device and computer readable storage medium | |
| CN111061258B (en) | Function testing method and device based on train control system | |
| CN115248993A (en) | Method and device for detecting reality of simulation scene model and storage medium | |
| CN100375196C (en) | Method for reading semiconductor die information in a parallel test and burn-in system | |
| CN114510902A (en) | Simulation result verification method, device, equipment and computer storage medium | |
| US9811450B2 (en) | Semiconductor test apparatus for controlling tester |
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 | ||
| CP01 | Change in the name or title of a patent holder |
Address after: 100084 Haidian District Tsinghua Yuan Beijing No. 1 Patentee after: TSINGHUA University Patentee after: BEIJING NATIONAL RAILWAY RESEARCH & DESIGN INSTITUTE OF SIGNAL & COMMUNICATION Co.,Ltd. Address before: 100084 Haidian District Tsinghua Yuan Beijing No. 1 Patentee before: TSINGHUA University Patentee before: Beijing National Railway Research & Design Institute of Signal & Communication Co.,Ltd. Address after: 100084 Haidian District Tsinghua Yuan Beijing No. 1 Patentee after: TSINGHUA University Patentee after: Beijing National Railway Research & Design Institute of Signal & Communication Co.,Ltd. Address before: 100084 Haidian District Tsinghua Yuan Beijing No. 1 Patentee before: TSINGHUA University Patentee before: BEIJING NATIONAL RAILWAY RESEARCH & DESIGN INSTITUTE OF SIGNAL & COMMUNICATION |
|
| CP01 | Change in the name or title of a patent holder |