Spacec raft au tom a tic te st and spacecraft te st language

Transcription

1 Journal of Beijing University of Aeronautics and A stronautics November2009 Vol. 35No111 (, ), ;,,,, 4.. ; ; ; ; TP A : (2009) Spacec raft au tom a tic te st and spacecraft te st language Sun BoMa ShilongYu Dan ( State Key Laboratory of Software Development Environment, Beijing University of Aeronautics and A stronautics, Beijing , China) Ab strac t: By the analysis of the spacecraft automatic test demands, the characteristics of test language for spacecraft automatic test were summed up, and two types of statements of spacecraft test language, that is, the regular test statements and the special test statements were given based on the analysis of test operations, test p rocesses and test architecture. In addition, in the spacecraft test language the special test statements were classified into four kinds of statements, including operation statem ents, data statements, tim e statements and control statem ents. The definitions and their formal descrip tions of the four kinds of the special test statements were p resented in detail. This language w ill imp rove the efficiency of spacecraft test business and testers of our country, and p romote the researches on spacecraft automatic test. Ke y wo rd s: spacecraft; automatic testing; test language; regular test statem ent; special test statem ent,,.,, 8 ; ; ;, ; ; ; ;., [ 1-2 ].,,, [ 3 ].,, ( G2005CB321902) ; ( SKLSDE22009ZX213) ( ),,,, sunboo2002@ sina. com.

2 , 3,,,. 1, 1,.,,,,.. 2,.,.. 3, 3,,,.,,, [ 4 ]. 1 2.,,,,.,.,,,,,.,.,., [ 5 ] )., ; ; ; ; ; ;. 2).,: :.

3 ) L stc L stc = lstc<l sid > < R t > L sid = letter < letter digit > + R t= digit < digit > + L sid; R t B ltc B ltc=bltc < B lid >< B lz > < Pc > < Num > < Period > <W idth > < R t > B lid= letter < letter digit > + B lz = (00000 ( < digit > < digit > < digit > < digit > ) Pc= (0 1 ) Num = (1 ( < digit > < digit > ) Period= (0 < digit > < digit > < digit > W idth= (0 < digit > < digit > < digit > R t= < digit > + B lid; B lz ; Pc ; Num ; Period ; W idth ; R t Kutc Kutc=kutc < Zlid > < Zldes > < Plist > < Sbid > < Zlbn > < R t > Zlid= letter < letter digit > + Zldes= < letter digit > + Plist= ( letter < letter digit > + ) { letter < letter digit > + } Sbid = ( < digit > < digit > < digit > Zlbn = ( < digit > < digit > < digit > R t= < digit > + Zlid ; Zldes; Plist ; Sbid; Zlbn; R t 2) Setp Setp= setp < Tdtsid > < Tdid > < StrCommand > Tdtsid= letter < letter digit > + Tdid= letter < letter digit > + StrCommand= letter < letter digit > + Tdtsid; Tdid ; StrCommand, SCP I Setk Setk=setk< Tdtsid > < StrCommand > Tdtsid= letter < letter digit > + StrCommand= letter < letter digit > + Tdtsid; StrCommand,SCP I 3) Connect Connect= connect <D id > D id= letter < letter digit > + D id D isconnect D isconnect= disconnect <D id > D id= letter < letter digit > + D id ) Getvalue, Getvalue= < Pid > < Variable > = getvalue Variable= letter < letter digit > + Pid= < letter > + < digit > + Variable ; Pid

4 Getrawvalue, Getrawvalue= <Variable >= getrawval2 ue < Pid > Variable= letter < letter digit > + Pid= < letter > + < digit > + Variable ; Pid Getframevalue, Getframevalue = < Variable >= get2 framevalue < Tp id Tfid > Variable= letter < letter digit > + Tp id= < digit > + Tfid= < digit > + Variable; Tp id ; Tfid Verify, Verify= verify < Pvalue > <Up > <Dp > Pvalue= letter < letter digit > + Up= < digit > + Dp= < digit > + Pvalue ; Up ; Dp 2) Getp Getp=getp < Tdtsid > < Tdid > < Floatarray B inaryarray > Tdtsid= letter < letter digit > + Tdid= letter < letter digit > + Floatarray= letter < letter digit > + B inaryarray= letter < letter digit > + Tdtsid; Tdid ; Floatarray B inaryarray Getk Getk=getk <Dataid > Dataid= letter < letter digit > + Dataid ) W ait W ait= wait < secnum > s secnum = < digit > + secnum 2) Until Until= Until < secnum > s < atime > condition secnum = < digit > + atime= 0< digit > 1< digit > 2( ) h: ( ) < digit >m : ( ) < digit > s condition= exp ression statement secnum ; atime ; condition ) Perform Perform = Perform < p id > + p id 2) Start Start = Start < p id > 3) Halt Halt = halt < p id > (1407)

5 lindrical tank with elastic spacer [ J ]. Communications in Non2 linear Science & Numerical Simulations, 1996, 1 (2) : [ 4 ],,. [ J ]., 2003, 5: 3-5 Chen M ingnian, L in Yongzhi, Xu Jianquan. Calculate analysis of transversal stabilization for turning of oil tank truck with irreg2 ular elliptical section [ J ]. Special Purpose Vehicle, 2003, 5: 3-5 ( in Chinese) [ 5 ]. [D ]., 2006 Chen Zhiwei, Numerical simulation of liquid sloshing in trans2 portable p ressure vessel and research on the baffles [ D ]. Zhe2 jiang: School of Material and Chem ical Engineering, Zhejiang University, 2006 ( in Chinese) [ 6 ],,,. [ J ]., 2007, 28 (4) : L i Song, Gao Fangqing, Yang Yiren, et al. Finite element mo2 dal analysis and dynamic experimental for liquid sloshing [ J ]. Nuclear Power Engineering, 2007, 28 ( 4 ) : ( in Chi2 nese) [ 7 ],. [ J ]., 2009, 35 (7) : L iu Kui, Kang N ing. Simulation of liquid slosh in braking p rocess of tank truck [ J ]. Journal of Beijing University of Aero2 nautics and A stronautics, 2009, 35 (7) : ( in Chinese) ( ) (1378) 4) End End= end < p id > 5) Continue Continue = continue < p id > 6) Call Call= call < p id > 3. ;,.,. ( References) [ 1 ] Clancy D A, Clyde B A, M irantesm A. The evolution of a test process for spacecraft software[ C ] / / Proc of the 2nd IEEE Inter2 national Conference on Space M ission Challenges for Information Technology. W ashington, DC, USA: 2006 IEEE Computer Society, [ 2 ] Yamada T. Generic software for spacecraft testing and operations based on a spacecraft model [ C ] / / Proc of Space Ops2006. USA: American Institute of Aeronautics and A stronautics, 2006 [ 3 ]. [M ]., 2007 W ang Q ingcheng. Electrical test technology of spacecraft[m ]. Beijing: Chinese S & T Press, 2007 ( in Chinese) [ 4 ],,,. [ J ]., 2009, 55 (2) : Yu Dan, Ye Gang, L i Xianjun, et al. Modelling and analysis of spacecraft testing informatization system based on workflow [ J ]. JournalW uhan University, 2009, 55 ( 2 ) : ( in Chi2 nese) [ 5 ]. [ J ]., 2007, 16 (2) : W ang Xianwen. Design and realization method of the test and control language for spacecraft overall checkout[ J ]. Engineering, 2007, 16 (2) : ( in Chinese) Spacecraft ( )