Azərbaycanca
Беларускі
Dansk
Deutsch
Española
Français
Indonesia
Italiana
日本語
Қазақ
Lietuvos
Nederlands
Português
Русский
සිංහල
แบบไทย
Türkçe
Українська
中國人
United State
Afrikaans
Bu məqaləni lazımdır. |
Proqram təminatının verifikasiyası proqram mühəndisliyinin nizam-intizamıdır və onun məqsədi proqramın bütün gözlənilən tələbləri təmin etməsindən əmin olmaqdır.
Proqram təminatının verifikasiyasına iki əsas yanaşma forması vardır:
- Dinamik verifikasiya, belə ki o test və ya təcrübə olaraq tanınır. Bu verifikasiya nöqsanların tapılması üçün yaxşıdır.
- Statik verifikasiya, belə ki o analiz etmə olaraq tanınır. Statik test icra olmadan bir sistemin və ya komponentin araşdırılmasıdır.
Dinamik verifikasiya (Test, təcrübə)
Dinamik verifikasiya proqramın həyata keçirilməsi (gedişatı) zamanı sərgilənir və dinamik olaraq onun davranış tərzi yoxlanılır və o bir qayda olaraq Test fazası olaraq bilinir.Verifikasiya baxış prosesidir. Testlərin çərçivəsindən aslı olaraq biz onu 3 növ kateqoriyaya bölə bilərik:
- Kiçik testlər: tək funksiyanı və ya klası yoxlayan test
- Böyük testlər: klaslar qrupunu yoxlayan test. Buna misal olaraq aşağıdakıları göstərmək olar
- Modul testi (tək modul)
- İnteqrasiya testi (birdən çox)
- sistem testi (bütün sistem)
- Qəbul testi: bir proqramın qəbul meyarlarını yoxlamaq üçün müəyyən edilmiş formal test
- Funksional test
- Qeyri-funksional test
Proqram təminatı verifikasiyası çox zaman proqram təminatı validasiya ilə qarışıq salınır. Bunlar arasındakı fərq:
- Proqram təminatının verifikasiyası soruşur ki, “Biz proqramı doğrumu qururuq?” bu o deməkdir ki, sistem öz spesifikasiyasına uyğun gəlirmi.
- Proqram təminatının validasiyası isə soruşur ki, “Biz doğrumu proqram qururuq?” bu o deməkdir ki, proqram istifadəçinin həqiqi istəklərini həyata keçirə bilirmi.
Proqram təminatı verifikasiyasının məqsədi fəaliyyət zamanı ortaya çıxan səhvləri tapmaqdır, yəni yoxlayır ki fəaliyyətin məhsulu fəaliyyətin başlanğıcında olduğu kimi doğrudurmu.
Statik verifikasiya (Analiz)
Statik verifikasiya proqram işə salınmazdan əvvəl kodu diqqətlə yoxlayaraq tələblərin yerinə yetirilməsinə nəzarət edən bir yoxlama prosesidir. Misal üçün:
- Kodu doğrulama verifikasiyası
- Səhv tətbiq etmələri ortaya çıxarmaq
- Proqram ölçülərini hesablama
- Formal yoxlama
Xarici keçidlər
- Verifikasiya və validasiya 2016-05-31 at the Wayback Machine
- Proqram təminatının verifikasiyası
wikipedia, oxu, kitab, kitabxana, axtar, tap, meqaleler, kitablar, oyrenmek, wiki, bilgi, tarix, tarixi, endir, indir, yukle, izlə, izle, mobil, telefon ucun, azeri, azəri, azerbaycanca, azərbaycanca, sayt, yüklə, pulsuz, pulsuz yüklə, haqqında, haqqinda, məlumat, melumat, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, şəkil, muisiqi, mahnı, kino, film, kitab, oyun, oyunlar, android, ios, apple, samsung, iphone, pc, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, web, computer, komputer
Bu meqaleni vikilesdirmek lazimdir Lutfen meqaleni umumvikipediya ve redakte qaydalarina uygun sekilde tertib edin Proqram teminatinin verifikasiyasi proqram muhendisliyinin nizam intizamidir ve onun meqsedi proqramin butun gozlenilen telebleri temin etmesinden emin olmaqdir Proqram teminatinin verifikasiyasina iki esas yanasma formasi vardir Dinamik verifikasiya bele ki o test ve ya tecrube olaraq taninir Bu verifikasiya noqsanlarin tapilmasi ucun yaxsidir Statik verifikasiya bele ki o analiz etme olaraq taninir Statik test icra olmadan bir sistemin ve ya komponentin arasdirilmasidir Dinamik verifikasiya Test tecrube Dinamik verifikasiya proqramin heyata kecirilmesi gedisati zamani sergilenir ve dinamik olaraq onun davranis terzi yoxlanilir ve o bir qayda olaraq Test fazasi olaraq bilinir Verifikasiya baxis prosesidir Testlerin cercivesinden asli olaraq biz onu 3 nov kateqoriyaya bole bilerik Kicik testler tek funksiyani ve ya klasi yoxlayan test Boyuk testler klaslar qrupunu yoxlayan test Buna misal olaraq asagidakilari gostermek olar Modul testi tek modul Inteqrasiya testi birden cox sistem testi butun sistem Qebul testi bir proqramin qebul meyarlarini yoxlamaq ucun mueyyen edilmis formal test Funksional test Qeyri funksional test Proqram teminati verifikasiyasi cox zaman proqram teminati validasiya ile qarisiq salinir Bunlar arasindaki ferq Proqram teminatinin verifikasiyasi sorusur ki Biz proqrami dogrumu qururuq bu o demekdir ki sistem oz spesifikasiyasina uygun gelirmi Proqram teminatinin validasiyasi ise sorusur ki Biz dogrumu proqram qururuq bu o demekdir ki proqram istifadecinin heqiqi isteklerini heyata kecire bilirmi Proqram teminati verifikasiyasinin meqsedi fealiyyet zamani ortaya cixan sehvleri tapmaqdir yeni yoxlayir ki fealiyyetin mehsulu fealiyyetin baslangicinda oldugu kimi dogrudurmu Statik verifikasiya Analiz Statik verifikasiya proqram ise salinmazdan evvel kodu diqqetle yoxlayaraq teleblerin yerine yetirilmesine nezaret eden bir yoxlama prosesidir Misal ucun Kodu dogrulama verifikasiyasi Sehv tetbiq etmeleri ortaya cixarmaq Proqram olculerini hesablama Formal yoxlamaXarici kecidlerVerifikasiya ve validasiya 2016 05 31 at the Wayback Machine Proqram teminatinin verifikasiyasi