2006 SHAFHSUAS AS EEA Vol. 33, No. 1(C) TFM Jie! SIMA ABSA AASB AS SS srl ume? eae ReaD eeaeeD kimch082@yahoo.co.hi°, hbyoon@kndu.ac. kr Design of the TFM Based System Test Model for embedded Software of Weapon Systems Jaehwan Kim? Heebyung Yoon Dept of Computer & Information Science, Korea National Defense University ao POI Al2 OAB DA} PIL AME RIO AIA Et HD! AZ He! SIG Dele! SU AHEAD! AAW AAS OER MAGIC, O18 Sol BRVE Tee} UL BIT 71 2801 TAWTie Factor Mead) SHS HONBICL TRA OBE A 2171 BAS (KYZIOZ PHAO VEG “K OME SOAAZH Ae VDSS SH GAS ACAI SEAT Y OE Senuence Dagan BRIE YEUS OMEN AED, “OMe Tining Olean Ei Ae 21219] FEUSS| BAIS SMC EOF a) 218 TAY 289] SBARIB SO BAS HOAB Sect LAE AAG GAGE ie QAAR SME SE ool wm HO) HSS 2501 WOZ VASE IS Bee Ce NA @ MASE De SAAB Sil WY 22101 Ae Bee NBO GAS GOS ASIC O18 AAR BASS BAS ABS WAI] VO SAMOA BAH AlOICH (1), SESH Gee 27 18 HAS Ieee Equivalence partitioning HAE JIBOILt Boundary HAS 21 R2 Wes ese Feo GASH oe Ss Be SI NS Sech[2}{3) SIMA ABEMO HASH AWE Ye ATEMOIA = Bal SOIL SRogicle BF AMY AAB viSAl SHINO BO, TSE SNM ABSWOI SIS D Ae AAS DM0l @PaD AC Fe SIMA ATE MO! = HW BAO SW BOS a0 WAsID Yoo! Ad Ol 1Be! F-22e 80%H AMEMOZ Nal Be SG ARS HOY SVE? SID WS Y WwAlVo! Bae S DHE BOLD SICH). OAS SAS AAI Aa MASA 2 AS BEVS eo Tw SAIO) ASO, “UML 20°01 = ABUES Az) BAS BH Timing Diagrams che 8 B21 Moreracits). Ol) ROME BBVE Teo UML BIA 21H MS AZM SIS Dee SIMM AMER AAG HAS Seo! TFM(Time Factor Method) SS (XY.Z)21 MOK GAS OSs MSC TeID TM See “co Dis FINA NAO AES NATH Soto AAG Al AS MAS FOG WES MALOAC, 2a en 21 92 PIM AMEN 8B BZ PIMA ATEMOIe Critical SystemOz2 SRST, CMe AHS ADEMOIZ ZASIO| NOD Azim Ze | EFS1O0F CICHf). SMCS ATEMOI SAS iL OF NZ FAS PINM ATER BRE IG DIO, SHAN (Deadine)1 E+ OF Eo HS Basi a O@ BEC. (Ie Je PAM ABEMOII AZM a8 WED Ch [28 1] SMM SEEM NAME Ba [De 119) AMS BA BOHM RIAA ATE ROI Fi B Hele Ao} AA SRAI2(Hard Real-time taskOz Al 2 USS QHD, AM A Be HOI Mes MH z B+ U1 ORO ABER AL Al Bae AAC DW SEC, TASS FINN ADEM HAS BOI Al 2gA7 sae Se wsoe 2eEC. 22 ABEMO AAS BIAS AAS FASO ASF(Atomic System Function) 2101 SEG, ASF QS OWSOLM AOA SA O1WEDTL S82 SRB ooo, BA AAS HOA sO712, Se HAS HOA 28 J1YT NAB AAS AOA FB T1201 A M2l O1BSID QC]. AAS ACOH ASFE Sale # Oe SHLIS] T= EHOLO, AILS! SAOl AReto! OF 21 SIE SHL421 Action) Bae # + Ch. 3. AMEMO| AAW HAS OM a 3.1 At QAR Dee BIAS ates (TEM) BUS! APSA 271 0B BFUS BEYEM Be 1722006 EHAFASUISAS| ELA Vol. 33, No. 1(C) OD & + WOO, ALAM BASE BHO] MOS OAGHIB Bese gO, UMLOIME 1S ABO ARE A Message SHS SHA o1FOL AU(7). £8 2A] AFVEe VaMOIAS sae DAE SBS UE “O°! OL DRY AEAIZHExecution Time)S BD AUCH O12 VBA] Se Teo cre cpu Clock Cycle Clock Cycle Time BO! SIG} CPU Clock Cycle B22 BAA Ce! Instruction +21 BO! SICi8). %, SUS ASF NAB AMIN SO Dee Rae Be Ga SEYESS TBO + BOO, ASF] aBAE 2S BMS AFUSS Al Bol BCL UES ABNIS NSA VAe Aloe gone AS WAP Ves We Aes UD, LH OIE Hel Os BEES 221 oO m2 AO SSa@ aes uc. Tae aso Suess Test PEO G2 AGNIS WSL FAeCh[9) DHS AWA ASS MEAS SPIO BS PIMA Naga 898 HAI HBG, Ze BEB BwEC! 2 MS HAAZ0 SS4A Se Ages oa yaw ae 2148 A200 SE S88 EE + 221 GEOIC, 1 = NQQSe AM ASE TSMAHA ASSO Heol DRE RSL TSMMS AAAS Ce AeA e)O! Bae + 27/ GOI 32 HAS HOA aa eTae SMM NAME AHO OIA MO AZO aes WAM D-II UO. OFZ! BE AS ND AO ot OLE AIMS AGES wISAL NANO Ste BOICH, sICHALE ay TASS MW AvASeM YDZBlIoOlA 7= EEMAS We SIA AB BDeIeO (DB Z]ol Amal ach TT ee © SE Ci 20 ol SE Vi= 0 (i= te .nde CH 1 FOSSHM ARGG SE Sli)B BAO Vw < Cl O18! VeVi +CiZ EL. O1eIS BUS wesioi © E & (7) VeVi 2 Ci) ISR sICh A UO SAM(cycle) AAO) Wa the A8i goo Ce ome 2c ® Vi-Vi = Oi) Sle SB AAs BM SABES a EL. Source node 101M sink node nA BASIE A 28 Basie 0 Je AB azoc. Tay ave 29] 2 RE Vn-ViOles @ Mo SEM H ee ASS eer ® Hol 2a Boo AMS aaeL, secioig, (ae 2] anna 48 epee A VSS S01 HBA BVH Taw ws WO O SE BSI $8 tA Ao Azo oe Be Bae o @ 2 32 4089 GAS MOAT AwEIC 3.8 TEM(Time Factor Method) 23 &i71 HAS MOA 8 VAISS UML SD Oiagram 22) BMS THI] oH TEM(Time Factor Method) Ss SAE CSD WC. SM TEMS Al MI QB ID ULL S, (KY.DSE PASO BEC, “TOMES AICHAIZI SB MBs GAS AOIAN SAD, “YOAE Sequence DiegramdlM HAE UFHE(@ese)s Azo 2, “TOMS ABE 2219 ABUSES BAAS Sze Ce, O19} Be TFM SwOl [Te gz zo! SAISION SICH. | | event Sequence Time Timing Diagram | 30 2) 9 6.00 Obiect l ‘Sequence Diegrar (Ae 3] TM oe am TEM 2S SNE AH AIAG GAG Be Bem PIM ABSA SB, 12D UML Diagram Haves ose Cl. MAB GAS ROOIME AlZ QAB Die ASS we BEI, UMLOLME InteractionOll 2218! Sequence Diagram 2 Timing Diagram @SE4Ct [22 31 $9 Sequence Diagramit Timing Diagram®t AM(Odleci# SSELE ofr MAIO XT YR Bevo Seauence Diagram® WRISIO XBOIe Event Sequence time MO OLAX] BBS BAD, yee Seavence Diagrams BIE! Object WISIC. YI ZA GI% Timing Diagram WABI! Y&Or= Sequence Diagram’] BEY B Timing Diagram® Object QRATID, ZR ASF Operation Time(Object AMAZE WHINE 01 Bae BBS YRS ObjectA UMLOLA TB Tea On S28 OAB BOAO, o| SHS WASH Se A Boe 229 YZVES UMS S71 G (Ie 4) Bo. AHO AAS Mee 4 ACh (8 4) 1M SB01M HAS HOA Ae (Ae 4] wBIee Object?! AE! ENT SHWE AS HIOIRC, A Object 4S FA AON, B Odjectt 27 © Objectt= 374, D Objectt= 29, E Objecti= 2 Bap ASIC. Object! 74S SS LAM BAI Ue a 1732006 VIBHS US| EA Vol, 33, No. UC) PI} MEA A BLE VE Object? MASAI PAIS Oo USS B+ UC. GAA Ol ABEMOIN NE Object 1942S 2 4 Ch ONS AMSMOE & mot ASF2 PASIOM LD, BS ASF Object 1 BAY A = HOAM Re & 2Ch 4, Mal TFM S21 AzeR= “Multi-Function System Testing! Composition of Test Sets"[3]OlM ABE AASE O1BsIS C. ZEUS ABA “O'Oe EMate ASE Boor (B 1)0 Bol asrot seororsAca. [E 1) OG BOARS BEE AeA (aa, a 3 Ae) 7 | Sa 0a Oe BO SN] OF #2 Sua0 Oe 48 0.08 #3 AES Awdeniticatond 0.02 | a ~ ao, A 0:04 5 ue Sian We 25 9o 0.05 Fe @N Su(aee SEB) 0.02} Fr wae aoe Se 0.06 [28 Sle Wee azuS9 agNe Jee ED UO. Se AZ HF Soe BMS 2D SH ze Ss 8 IAS HOAS S461 BCH 0} AME 33801 te 8 TFM SB AEs HAS MOAS see + SIC l — —_ (a 5] N#e @zue aga we TFM S891 XS Y&SI Sequence Diagram ACIA2) BASS So Bie (H 2% Yo! sini AAS Hor Dt AESIRICE. (3 2) awe GAS qos a= FI->FO-SFS-DFd-SFE SEED ‘ F3->E5-3F4-9F7 oe 2 |F3->F7 0.08 | 3 _[Fe=>Fa 0.07 A O20M BAG SMM AGA AAS (Z 2] 8} 97] GAS AOIAB MIG SC}. OS SOK, % vem BEA AAS MOAE FI->F2->F3-DF4->F6-DFS~>FI-> F5->F4>F7 SOB HASH oD WEIAIZE 0.34(s)I1 CG. MAIS BE BSS PIMA Fa Si siuier Atal of AGS IRON 28S SAM BAW + WOM, aE HE SBNAE Se HAS HAN OB Bes ac. = @ BEYED SY RS ON SBE Yo ociBOIAS O10] SOIL WHCE B FSG SUS 1B A HOM SA} BAIA 2A Se SEMA SUZ + YO O Ae SNe Fago2 Bee Sow + aC. Se RSAO UF MEAL OOK MA! PeOILE VELBIOIA 29 BN UE + UC. ae = ESOS FINN NAW HAE HOA KE M8! Of AB GAS SED AS Das Sees IAD uM HS Diagrams B40 NAB HAS See TM oe @ SSAC, Eo TEM Ses Besio! ON YoHAAG 1 CI AIA GAS MOLAR SBSIAC. = SPO H ot AAW HAS HOA $& WHE BEYE AZOAe SHS BLS FINA ATEMAS Ag Seal ict @ Bolt azee [1}Paul C.Jorgensen, Software Testing, A Crattsman's Approach, part-I¥, CRC Press, pp.189-212, 1995, {2]Unni Sankar, “Software System Testing: A Statistical ‘Approach Overview,” IEEE Workshop, 2003.11 [3]Mark Sh. Levin and Mark Last, “Muli-Funetion System Testing: Composition of Test Sets, 8'th IEEE International Symposium on High Assurance Systems Engineering (HASE'04), p.99-108, 2004 Lalhtto://mww.globalsecurity.org/military/systems/aircratt [S]OMG, UML 2.0 Superstructure, pp.502-505 , 2005.7, [6]A.En-Nouaary and F.Khendddek, R.Ossoull, “Testing Embedded Real-Time Systems.” 7th _ International Conference on Real-Time Computing Systems and Applications (RTCSA'00). pp.417-424, 2000. [7]Rumbaugh.Jacobson.and Booch, The Unified Modeling Language Reference Manual , Addison-Wesley, Réading. 1999, [s]David A. Patterson, John L. Hennessy, Computer Organization And Design, ELSEVIER, pp.240-278, 2006. I9]http://en.wikipedia.ora/wiki/Stress_testing [10)Sartaj_ Sahni, Kun Suk Kim, ‘An Ollog n) Dynamic Router-Table Design," IEEE Transactions on Computers, vol. §8, no. 8, pp. 351-363, Mar. 2004. 174