KABAN-2.XOODQÕFÕ$ra %LULPLYH*HoHUOHPH$OW\DSÕVÕ $WDNDQùLPúHN øEUDKLP'HPLU=DKLU7H]FDQ 78%ø7$.%ø/*(0ø/7$5(1$QNDUD e-posta: atakan.simsek@tubitak.gov.tr ibrahimdemir.mail@gmail.com zahir.tezcan@tubitak.gov.tr Özetçe. Simülasyon SURMHOHULJLELYHULOHULQ|QHPDU]HWWL÷LVLVWHPYHDUD\]SD UDPHWUHOHULQLQ NDUPDúÕN ROGX÷X YH SDUDPHWUHOHULQ ELU ELULQL HWNLOHGL÷L X\JXOD malarda, verilerin sistematik ve etkin bir geçerleme sürecine tabi WXWXOPDVÕYD] JHoLOPH] ELU |QNRúXOGXU 9HUL SDUDPHWUHOHULQGH \DSÕODQ ELU \DQOÕúOÕN VLVWHPLQ \DQOÕú oDOÕúPDVÕQD VHEHS YHUPHNWH YH X\JXODPDQÕQ NDUPDúÕNOÕ÷Õ LOH GR÷UXVDO RUDQWÕGD KDWDQÕQ ND\QD÷ÕQÕ EXOPD YH KDWD o|]PH PDOL\HWLQH VHEHSROPDNWDGÕU Bu \D\ÕQGD, projelerdeki girdi X]D\ÕQÕKDWD\DVHEHEL\HWYHUPHPHNLoLQGLQDPLN RODUDNJHoHUOH\HQJHoHUOHGL÷LYHULLoLQRWRPDWLNDUD\]UHWHQUHWWL÷Larayüz- GH SURJUDPÕQ GR÷UX úHNLOGH NXOODQÕPÕQÕ ]RUXQOX NÕODQ JHoHUOHPH VLVWHPL VD\H sinde) .$%$1DOW\DSÕSURMHOHUL anlatÕOPDNWDGÕU.XUXPXPX]GD\ÕOODUFDNXOOD QÕODQ .$%$1-1 DOW\DSÕVÕ, projelerdeki tecrübeler ve ihtiyDoODU GR÷UXOWXVXQGD JHOLúWLULOLS KABAN-2 projesi KDOLQLDOPÕúWÕU %X\D\ÕQLNLVLQLGHNDSVDPDNWDGÕU Anahtar Kelimeler: Dinamik geçerleme, YHUL JYHQLOLUOL÷L Rtomatik arayüz ROXúWXUPD, semantik GR÷UXODPD 1 *ø5øù 9HULNDOLWHVLQLQYHGR÷UXOX÷XQXQ|QHPDU]HWWL÷LSURMHOHUGHNXOODQÕFÕGDQWXWDUOÕYHUL JLUGLVLVD÷ODPDNKD\DWL|QHPHVDKLSWLU.DUPDúÕNJLUGLX]D\ÕRODQSURMHOHUGHNXOODQÕFÕ ne kadar yetkin bile olsa dikkatsizlik sonucu ya da KHVDS KDWDODUÕQGDQ GROD\Õ \DQOÕú veri girdisi SURJUDPÕQKDWDOÕVRQXoUHWLPLQHya da oDOÕúPDPDVÕQDVHEHSYHUHELOPHN WHGLUdDOÕúPDVUHVLVDDWOHUya da günlerle ifade edilen projelerde her ELUKDWDOÕoDOÕú WÕUPD FLGGL ]DPDQ YH PDOL\HW SUREOHPOHUL oÕNDUDELOPHNWHGLU 'DKD GD N|WV H÷HU KDWDOÕJLUGLNPHVLfark edilmezse YHEXDQDOL]LQVRQXoODUÕLQVDQKD\DWÕQÕLOJLOHQGLUHQ güvenlik-kritik projelerde NXOODQÕODFDNVD LQVDQ KD\DWÕQÕ WHKOLNH\H DWDFDN VRQXoODU RUWD\DoÕNDELOPHNWHGLU Uzun soluklu projelerde, genellikle ister GRNPDQÕ QHNDGDUL\LWDQÕPODQPÕúROXUVD ROVXQLKWL\DoPDNDPÕQÕQLVWHNOHUL]DPDQODúHNLOOHQebilmektedir. 'H÷LúHQLVWHUOHUNDS VDPÕQGD DUD\]Q \HQLGHQ WDVDUODQPDVÕ LKWL\DFÕ GR÷abilmektedir. Yeni girdilerin HNOHQPHVL SDUDPHWUH JUXSODUÕQÕQ GH÷LúPHVL HQ D]ÕQGDQ SDUDPHWUHOHULQ \HULQLQ GH ÷LúPHVL SURMHOHUGH VÕN NDUúÕODúÕODQ GXUXPODU DUDVÕQGDGÕU %X GXUXPODUGD oR÷X NH] 712 JHoPLúWH \DSÕODQLúOHULQLQELUNÕVPÕQÕQ NXOODQÕODPDPDVÕ YH]DPDQ-maliyet yükü gibi sonuçlar RUWD\DoÕNPDNWDGÕU. @ &/,;>13], RuleML[14,15], ARML[12], Star- burst[11], Ariel>@ GHWD\OÕ úHNLOGH DQDOL] HGLOPLúWLU øOJLOL oDOÕúPDODUÕQ DUWÕODUÕ YH HNVLOHULLUGHOHQHUHN.$%$1NXUDOoDOÕúPDGLOLEXYHULOHUÕúÕ÷ÕQGDWDVDUODQPÕúWÕU 3 g1(5ø/(1dg=h0 0 [xPozitif] - y > 0 [yPozitif] - z > 0 [zPozitif] - ] ¥ [ð\ð >SLVDJRU@ - (x+y) > z & |x-y| < z & (x+z) > y & |x-z| < y & (z+y) > x & |z-y| < x [üçgen] NXUDOODUÕEHOLUOHQHELlir. Bu kurallar çerçevesinde geçerlemeler: - x.Geçerli = xPozitif & üçgen [xKural] - y.Geçerli = yPozitif & üçgen [yKural] - z.Geçerli = zPozitif & üçgen [zKural] olarak belirlenebilir. ùHNLO6. gUQHNdL]JH