Bu məqaləni vikiləşdirmək 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 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:
Proqram təminatı verifikasiyası çox zaman proqram təminatı validasiya ilə qarışıq salınır. Bunlar arasındakı fərq:
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 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: