Dasturiy ta'minotni testlash; 15. Dasturiy ta'minotni testlashning afzalliklari; 15. Dasturiy ta’minot sifati

15.1-rasm. Dasturni testdan o'tkazishning kirish-chiqish modeli
Testlash dasturiy ta'minotning kamchiliklari yo'qligini yoki har bir holatda ko'rsatilgandek o'zini tutishini ko'rsatmaydi. Ko'zdan kechirishingiz kerak bo'lgan test tizim bilan bog'liq boshqa muammolarni aniqlashi mumkin. Dasturiy muhandislik ishlab chiqishning dastlabki hissasi bo'lgan Edsger Dijkstra (Dijkstra va boshqalar, 1972):
Testlash faqatgina ularning xatosini ko'rsatishi mumkin, lekin ularning yo'qligi emas.
Testlash dasturiy ta'minotni tekshirish va tasdiqlashning kengaytirilgan jarayonining bir qismi (V&V). Ko'pincha aralashtirilsa ham, tasdiqlash va tasdiqlash bir xil narsa emas.
Dasturiy muhandislik bo'yicha Kashshof Barry Bohem (Boehm, 1979) o'rtasidagi farqni qisqacha bayon qildi:
■ "Tasdiqlash: to'g'ri mahsulotni yaratayapmizmi?"
■ "Tasdiqlash: Mahsulotni to'g'ri tuzayapmizmi?"
Tasdiqlash va tasdiqlash jarayoni ishlab chiqilgan dasturiy ta'minotni uning spetsifikatsiyasiga mosligini tekshirish va dasturiy ta'minot uchun to'lovlarni amalga oshiradigan odamlar tomonidan kutilgan funksiyani taqdim qilish bilan bog'liq. Ushbu tekshirish jarayoni talablar mavjud bo'lguncha boshlanadi va rivojlanish jarayonining barcha bosqichlarida davom etadi.
Tekshirishning maqsadi dasturiy ta'minotning belgilangan funktsional va funktsional talablariga javob berishini tekshirish. Biroq, tekshirish yanada umumiy jarayon. Tasdiqlashning maqsadi dasturiy ta'minotning mijozning talablariga mos kelishini ta'minlashdir. Ushbu dastur faqat mijozning nima qilishini kutayotganini namoyish qilish uchun spetsifikatsiyaga muvofiqlikni tekshirishdan tashqari ketadi.
Tasdiqlash va tasdiqlash jarayonlarining yakuniy maqsadi dasturiy ta'minot tizimining maqsadga muvofiqligiga ishonch hosil qilishdan iborat. Bu shuni anglatadiki, tizim maqsadga muvofiq foydalanish uchun etarli bo'lishi kerak. Kerakli ishonch darajasi tizimning maqsadiga, tizim foydalanuvchilarining talablariga va tizim uchun mavjud marketing muhitiga bog'liq:
1. Dasturiy ta'minotning maqsadi. Dasturiy jihatdan qanchalik muhim bo'lsa, uning ishonchliligi qanchalik muhimroq. Misol uchun, xavfsizlikka tahdid soladigan tizimni boshqarish uchun ishlatiladigan dasturiy ta'minot uchun zarur bo'lgan ishonch darajasi yangi mahsulot g'oyalarini namoyish etish uchun ishlab chiqilgan prototip uchun talabdan ko'ra ancha yuqori.
2. Foydalanuvchilarning istiqbollari. Buggy, unreliableoftware bilan tajribalar tufayli ko'p foydalanuvchilar dasturiy ta'minot sifati umidlari kam. Ularning dasturiy ta'minoti muvaffaqiyatsiz bo'lganda ular hayron qolishmaydi. Yangi tizim o'rnatilgach, foydalanuvchilar muvaffaqiyatsizlikka duch kelishi mumkin, chunki ulardan foydalanish foydalari noto'g'ri ishlash xarajatlarini oshiradi. Bunday hollarda dasturiy ta'minotni sinash uchun qancha vaqt sarflashingiz kerak emas. Ammo, dasturiy ta'minot pishganda, foydalanuvchilar undan ishonchli bo'lishini kutishadi, shuning uchun keyingi versiyalarni sinchkovlik bilan sinovdan o'tkazish talab qilinishi mumkin.
3. Marketing muhiti. Agar tizim sotilsa, tizim sotuvchilari raqobatlashadigan mahsulotlarni hisobga olishlari kerak, mijozlar tizim uchun pul to'lashga tayyor va bu tizimni etkazib berish uchun kerakli jadval. Raqobat muhitida, dasturiy ta'minot kompaniyasi, bozorni birinchi bo'lib bo'lishni xohlaganligi sababli, dasturni to'liq sinovdan o'tkazgan va diskvalifikatsiya qilinishidan oldin dasturni chiqarishga qaror qilishi mumkin. Agar dasturiy mahsulot juda arzon bo'lsa, foydalanuvchilar ishonchliligining past darajasiga toqat qilishlari mumkin.
Dasturiy ta'minotni tekshirish bilan bir qatorda, tekshirish va tasdiqlash jarayoni dasturlarni tekshirish va tekshirishlarni ham o'z ichiga olishi mumkin. Tekshiruvlar va tahlillar tizim talablarini, dizayn modellarini, dasturning manba kodini va hatto tavsiya etilgan tizim testlarini tahlil qiladi va tekshiradi. Ular "statik" V va V metodlari bo'lib, unda siz uni tasdiqlash uchun dasturiy ta'minotni amalga oshirishingiz shart emas. 15.2-rasmda dasturiy ta'minot jarayonida turli bosqichlarda V va V ni dasturiy ta'minotni tekshirish va sinovdan o'tkazish imkonini beradi. Oklar texnikani qo'llash mumkin bo'lgan jarayonning bosqichlarini ko'rsatadi.