Proqram təminatının verifikasiyası
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.