From Wikipedia, the free encyclopedia
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.
Bu məqaləni vikiləşdirmək lazımdı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:
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.