UMLstatecharts的测试用例生成方法_李留英.pdf

3 8 6 V o l. 3 8, N o. 6 2001 6 JO U RN A L O F CO M PU T ER RESEA RCH D EV ELOPM EN T June 2001 UML statecharts ① ①② ① 李留英 　王　戟 　齐治昌 ① (　　4 10073) ② (　　430007) ( l ly 003@ 163. net) 　　. UM L sta tech a rt s , ., U M L statech ar t s U M L statech ar t s, W p - UM L sta tech a rt s. . ,,, . ,. 　 UM L sta tech a rt s, , , 　 T P3 11 A TEST CASES GENERATION METHOD FOR UML STATECHARTS ① ①② ① - , , - L I Liu Yi ng W AN G Ji and Q I Zhi Ch ang ① ( School of Computer Science, N ational University of Def ense Technology , Changsha 4 10073) ② ( State Key Laboratory f or Sof tware Eng ineering , Wuhan University , Wuhan 430007) Abstract　T est cases genera tion i s a key t echniqu e of sof t w a re testing . In this pap er, a t est cases g eneratio n metho d fo r U M L sta tech art s i s descri bed acco rdi ng to it s hi era rchy and concurrency . It begi ns w it h the g enerati on o f t est cases bases o f mai n U M L stat echa rts and sub U M L sta tech art s con si deri ng all composi te stat es as b asic ones , and t hen genera tes the test cases o f the w hole U M L stat echa rts acco rdi ng to som e merging rules and Wp -method. T his m ethod suppor ts the i ncrement al t est cases g enera tio n. T heo ry and ex periments show th at t he cases sui tes g ua ra nt ee full coverag e a nd t he methods genera te less test cases if i t sati sfies so me assum ption s. T he i mprov ement i s v er