ࡱ > y { x x L N P R R bjbjqq e e / z D D - - %. %. %. t . . . a/ U0 . [ I1 ^ 1 1 1 1 3 4 4 ?4 $ ! æ i %. 5 }3 3 5 5 - - 1 1 K K K 5 f - l 1 %. 1 K 5 K K N 2 - , 1 @钐\ . I : 0 r + 0 [ j ( w I l w ` w %. [4 0 4 " K 4 4 [4 [4 [4 |J 6 [4 [4 [4 [ 5 5 5 5 w [4 [4 [4 [4 [4 [4 [4 [4 [4 D S, : WNU M L !jWƖbKmՋ]wQv^!jN jk1 ѐ]1 hg0Ns1 ( 1 . WSf*zz'Yf[ oNf[bWSf 3 3 0 0 6 3 ) ( f a n x i n z h 2 @ 1 2 6 . c o m ) oNKmՋ/fOoN(ϑ0cؚoNS`'`vsQ.]\O0WN!jWvKmՋb/g/fvMRVQYf[(WoNKmՋWvxvzpp'YYpexvz;NsQlWN!jWvKmՋV{euTMS{lvxvzFO[N{:gRKmՋ]wQvxvz\ g N:ONwQ g!jW㉐g0!jWYt0(uOubI{~TRvKmՋ]wQ0[N Nv`Q,geRgNWNU M L !jWvƖbKmՋ]wQvwQSO BlǏߍ* Blg^Ttvd\OAmzcQN NyN BlqR:NN _S!jW0NU M L !jWvQR:NOnc0NU M L ƖbKmՋ]wQ:N _SvhvRKmՋ]wQeHhN NWYwQ gU M L !jW㉐g0hKmTKmՋ^RꁨRubRvKmՋ]wQSW0]wQ[U M L ;mRVTz^VۏLꁨRSv㉐gTlSv^ǏMS{lubƖbKmՋ^R0 gTǏ[Y*NKmՋ[OvfNƖbKmՋ]wQv gHe'`Tf(u'`0 BlqRU M L !jWƖbKmՋ]wQ T P 3 1 1 . 5 0 0 e.sh_x: A M o d e l i n g a n d D e s i g n i n g A n I n tegrated Testing Tool Based On UML Model Fan Xin1, Liu Linlan2, Zheng Wei1, Yang Fengyu1 (1. School of Software, Nanchang HangKong University, Nanchang Jiangxi 330063, China 2. School of Information Engineering, Nanchang HangKong University, Nanchang Jiangxi 330063, China ) Software testing is one of key jobs that guarantee software quality and reliability. Meanwhile, the study of model-based testing techniques becomes one of the hot spots for many researchers, most of the researchers focus on the study of model-based testing strategy and test case generation algorithm. But study of building a computer aided testing tools is still insufficiency, there is always short of the testing tools with comprehensive functions such as model parsing, model checking and test case generation. In view of the above problems, the paper analyzes the requirement of developing an integrated testing tool based on Unified Modeling Language (UML) models, proposes an solution which using demand driven and iterative developing model , designs an integrated testing tool prototype with the function such as UML model parsing, UML model checking and test sequence generation, which can parse and convert the UML activity and sequence diagram automatically, generates the testing sequences applying the model traversing algorithms during the integrated testing. Finally, according to the verification based on several instances, the effectiveness of the integrated testing tool is analyzed based upon the comparison with other tools. demand driven; U n i f i e d M o d e l i n g L a n g u a g e ( U M L ) m o d e l ; i n t e g r a t e d t e s t i n g t o o l ; _ oNKmՋ/fOoN(ϑ0cؚoNS`'`vsQ.]\O(WoNvte*N _SǏz-N`S g^8^͑v0WMO[ 1 ] 0:NNf}Y0WQ\oNxS9(u0cؚoN(ϑNN _YbeQ0RoNKmՋelNKmՋ]wQvxvz N0 WN!jWvKmՋb/g[ 2 ] /f(W[Km|~[bwQSO0W!jW^zKNTek[!jWۏLRgN g~ubKmՋ(uOvǏz0 N,1uNRek~b1 N㉫Km|~9hncKmՋvhnx[Km~NSvQRyr'`02 bTv!jW[ 3 ] 0 b!jWeQ|~yr_0]wQ/ecI{ebvV }03 ^z!jW04 9hnc!jWubKmՋ(uOƖ05 ЏLKmՋ(uOƖ06 6eƖKmՋ~g[KmՋ~gۏLċN07 )R(uKmՋ~gċ0OKmՋ(uOƖvN