20. Tekshirish va kvalifikatsiya qilish dasturiy ta'minot
Tasdiqlash va tekshirish dasturiy ta'minotning uning spetsifikatsiyasi va mijozlar talablariga muvofiqligini tasdiqlovchi tekshirish va ko'rib chiqish jarayonlarini anglatadi. Tekshirish va malaka to'liq qamrab oladi hayot davrasi Dasturiy ta'minot - ular talablarni tahlil qilish bosqichida boshlanadi va tayyor dasturiy ta'minot tizimini sinovdan o'tkazish bosqichida dastur kodini tekshirish bilan yakunlanadi.
Tekshirish va attestatsiya bir xil narsa emas, garchi ularni chalkashtirib yuborish oson. Qisqacha aytganda, ular orasidagi farqni quyidagicha aniqlash mumkin:
Tekshirish tizim to'g'ri ishlab chiqilganmi degan savolga javob beradi;
Sertifikatlash tizim to'g'ri ishlaydimi degan savolga javob beradi.
Ushbu ta'riflarga ko'ra, tekshirish dasturiy ta'minotning tizim spetsifikatsiyasiga, xususan, funktsional va funktsional bo'lmagan talablarga muvofiqligini tekshiradi. Sertifikatlash - ko'proq umumiy jarayon. Tasdiqlash vaqtida dasturiy mahsulot mijozning talablariga javob berishiga ishonch hosil qilishingiz kerak. Tasdiqlash tizim nafaqat spetsifikatsiyaga, balki mijozning kutganlariga ham qanday javob berishini aniqlash uchun tekshirishdan so'ng amalga oshiriladi.
Yuqorida aytib o'tilganidek, tizim talablarini tekshirish dasturiy ta'minotni ishlab chiqishning dastlabki bosqichlarida juda muhimdir. Ko'pincha talablarda xato va kamchiliklar mavjud; bunday hollarda, yakuniy mahsulot, ehtimol, mijozning taxminlarini qondirmaydi. Lekin, albatta, talablarni tekshirish talablar spetsifikatsiyasidagi barcha muammolarni ochib bera olmaydi. Ba'zida talablardagi bo'shliqlar va xatolar tizimni amalga oshirish tugallangandan keyingina aniqlanadi.
Tekshirish va tasdiqlash jarayonlari tizimlarni tekshirish va tahlil qilishning ikkita asosiy usulidan foydalanadi.
1. Dasturiy ta'minotni tekshirish. Tizimning turli ko'rinishlarini tahlil qilish va tekshirish, masalan, talablar spetsifikatsiyasi hujjatlari, me'moriy diagrammalar yoki dasturning manba kodi. Tekshiruv dasturiy ta'minot tizimini ishlab chiqish jarayonining barcha bosqichlarida amalga oshiriladi. Tekshiruvga parallel ravishda dasturlarning manba kodini va tegishli hujjatlarni avtomatik tahlil qilish mumkin. Tekshiruv va avtomatlashtirilgan tahlil statik tekshirish va tekshirish usullari hisoblanadi, chunki ular bajariladigan tizimni talab qilmaydi.
2. Dasturiy ta'minot sinovi. Test ma'lumotlari bilan bajariladigan kodni ishga tushirish va chiqish va ishlashni tekshirish dasturiy mahsulot tizimning to'g'ri ishlashini tekshirish. Sinov - tekshirish va tekshirishning dinamik usuli, chunki u ishlaydigan tizimga qo'llaniladi.
Shaklda. 20.1-rasmda dasturiy ta'minotni ishlab chiqish jarayonida tekshirish va test o'tkazish joyi ko'rsatilgan. Oklar ushbu usullarni qo'llash mumkin bo'lgan rivojlanish jarayonining bosqichlarini ko'rsatadi. Ushbu sxema bo'yicha tekshirish tizimni ishlab chiqish jarayonining barcha bosqichlarida, sinov esa - prototip yoki bajariladigan dastur yaratilganda amalga oshirilishi mumkin.
Tekshiruv usullariga quyidagilar kiradi: dasturni tekshirish, avtomatik manba kodini tahlil qilish va rasmiy tekshirish. Ammo statik usullar faqat dasturlarning spetsifikatsiyaga muvofiqligini tekshirishi mumkin, ulardan tizimning to'g'ri ishlashini tekshirish uchun foydalanish mumkin emas. Bundan tashqari, ishlash va ishonchlilik kabi funktsional bo'lmagan xususiyatlarni statik usullar bilan sinab ko'rish mumkin emas. Shuning uchun, funktsional bo'lmagan xususiyatlarni baholash uchun tizim sinovlari o'tkaziladi.
Guruch. 20.1. Statik va dinamik tekshirish va attestatsiya
Dasturiy ta'minotni tekshirishning keng qo'llanilishiga qaramay, sinov hali ham tekshirish va sertifikatlashning asosiy usuli hisoblanadi. Test - bu tizimning ishlashi davomida qayta ishlanadigan real ma'lumotlarga o'xshash ma'lumotlar bilan dasturlarning ishlashini tekshirish. Dasturda nuqsonlar va talablarga nomuvofiqliklar mavjudligi chiqish ma'lumotlarini o'rganish va ular orasida anomaliyalarni aniqlash orqali aniqlanadi. Sinov tizimni amalga oshirish bosqichida (tizim ishlab chiquvchilarning kutganiga mos kelishini tekshirish uchun) va uni amalga oshirish tugagandan so'ng amalga oshiriladi.
Dasturiy ta'minotni ishlab chiqish jarayonining turli bosqichlarida, har xil turlari sinovdan o'tkazish.
1. Kamchiliklarni tekshirish dastur va uning spetsifikatsiyasi o'rtasidagi nomuvofiqliklarni aniqlash uchun o'tkaziladi, ular dasturlardagi xatolar yoki nuqsonlar tufayli yuzaga keladi. Bunday testlar tizimdagi xatolarni aniqlash uchun mo'ljallangan, lekin uning ishlashini simulyatsiya qilish uchun emas.
2. Statistik test dasturlarning ishlashi va ishonchliligini, shuningdek tizimning turli ish rejimlarida ishlashini baholaydi. Sinovlar tizimning haqiqiy ishlashini haqiqiy kirish ma'lumotlari bilan taqlid qilish uchun mo'ljallangan. Tizimning ishonchliligi dasturlar ishida qayd etilgan nosozliklar soni bilan baholanadi. Ishlash test ma'lumotlarini qayta ishlashda umumiy ish vaqtini va tizimning javob berish vaqtini o'lchash orqali baholanadi.
Tekshiruv va malakani aniqlashning asosiy maqsadi tizimning "maqsadga muvofiq"ligiga ishonch hosil qilishdir. Dasturiy ta'minot tizimining o'z maqsadiga muvofiqligi uning xatolardan mutlaqo xoli bo'lishi kerakligini anglatmaydi. Aksincha, tizim o'zi mo'ljallangan maqsadlarga juda mos kelishi kerak. Majburiy muvofiqlikning haqiqiyligi tizimning maqsadiga, foydalanuvchi kutishlariga va dasturiy mahsulotlar uchun bozor sharoitlariga bog'liq.
1. Dasturiy ta'minotning maqsadi. Muvofiqlik ishonchliligi darajasi ishlab chiqilgan dasturiy ta'minotning ma'lum mezonlar bo'yicha qanchalik muhimligiga bog'liq. Masalan, xavfsizlik uchun muhim tizimlar uchun ishonch darajasi prototiplar uchun bir xil ishonch darajasidan sezilarli darajada yuqori bo'lishi kerak. dasturiy ta'minot tizimlari ba'zi yangi g'oyalarni namoyish qilish uchun ishlab chiqilmoqda.
2. Foydalanuvchi taxminlari. Afsuski, hozirgi vaqtda ko'pchilik foydalanuvchilarning dasturiy ta'minotga nisbatan past talablari borligini afsus bilan ta'kidlash kerak. Foydalanuvchilar dasturlar ishlayotgan paytda yuz beradigan nosozliklarga shunchalik ko'nikib qolganki, bundan hayratlanmaydi. Agar ulardan foydalanishning foydasi kamchiliklardan ko'p bo'lsa, ular tizimdagi nosozliklarga toqat qilishga tayyor. Biroq, 1990-yillarning boshidan boshlab, foydalanuvchilarning dasturiy ta'minot tizimlaridagi nosozliklarga tolerantligi asta-sekin pasayib bordi. So'nggi paytlarda ishonchsiz tizimlarni yaratish deyarli qabul qilinishi mumkin emas, shuning uchun dasturiy ta'minotni ishlab chiqish kompaniyalari dasturiy ta'minotni tekshirish va tekshirishga ko'proq e'tibor berishlari kerak.
3. Dasturiy ta'minot bozori sharoitlari. Dasturiy ta'minot tizimini baholashda sotuvchi raqobatdosh tizimlarni, xaridor tizim uchun to'lashga tayyor bo'lgan narxni va ushbu tizim uchun bozorga kutilayotgan vaqtni bilishi kerak. Agar ishlab chiquvchi kompaniyaning bir nechta raqobatchilari bo'lsa, to'liq sinov va disk raskadrovka tugagunga qadar tizimning bozorga kirish sanasini aniqlash kerak, aks holda raqobatchilar bozorga birinchi bo'lib kirishlari mumkin. Agar mijozlar dasturiy ta'minotni yuqori narxda sotib olishni istamasalar, ular ko'proq tizim nosozliklariga toqat qilishga tayyor bo'lishi mumkin. Tekshirish va malakaviy jarayonning xarajatlarini aniqlashda ushbu omillarning barchasini hisobga olish kerak.
Qoida tariqasida, tekshirish va attestatsiya paytida tizimda xatolar topiladi. Xatolarni tuzatish uchun tizimga o'zgartirishlar kiritiladi. Bu disk raskadrovka jarayoni odatda boshqa tekshirish va attestatsiya jarayonlari bilan birlashtiriladi. Biroq, test (yoki umuman olganda, tekshirish va tekshirish) va disk raskadrovka turli maqsadlarga ega bo'lgan turli jarayonlardir.
1. Tekshirish va tekshirish - bu dasturiy tizimdagi nuqsonlarni aniqlash jarayoni.
2. Nosozliklarni tuzatish - nuqsonlarni (xatolarni) lokalizatsiya qilish va ularni tuzatish jarayoni (20.2-rasm).
Guruch. 20.2. Nosozliklarni tuzatish jarayoni
Dasturlarni disk raskadrovka qilishning oddiy usullari mavjud emas. Tajribali tuzatuvchilar test chiqish namunalarini sinovdan o'tayotgan tizimlarning chiqishi bilan solishtirish orqali xatolarni topadilar. Xatoni topish uchun xato turlarini, chiqish naqshlarini, dasturlash tilini va dasturlash jarayonini bilish kerak. Dasturiy ta'minotni ishlab chiqish jarayonini bilish juda muhimdir. Nosozliklarni tuzatuvchilar eng keng tarqalgan dasturlash xatolaridan xabardor (masalan, hisoblagichni oshirish). Shuningdek, u ba'zi dasturlash tillari uchun xos bo'lgan xatolarni, masalan, C tilida ko'rsatgichlardan foydalanish bilan bog'liq xatolarni hisobga oladi.
Dastur kodidagi xatolarni aniqlash har doim ham oddiy jarayon emas, chunki xato dastur kodidagi nosozlik sodir bo'lgan nuqtaga yaqin joylashgan bo'lishi shart emas. Xatolarni ajratish uchun tuzatuvchi dasturdagi xato manbasini aniqlashga yordam beradigan qo'shimcha dasturiy ta'minot testlarini ishlab chiqadi. Dasturning bajarilishini qo'lda kuzatishingiz kerak bo'lishi mumkin.
Interaktiv disk raskadrovka vositalari kodlarni kompilyatsiya qilish tizimi bilan birlashtirilgan tilni qo'llab-quvvatlash vositalari to'plamining bir qismidir. Ular maxsus dasturni bajarish muhitini ta'minlaydi, bu orqali siz identifikatorlar jadvaliga va u erdan o'zgaruvchilar qiymatlariga kirishingiz mumkin. Foydalanuvchilar ko'pincha dasturning bajarilishini bosqichma-bosqich, ketma-ketlikda bayonotdan bayonotga qadam bosgan holda nazorat qiladilar. Har bir bayonot bajarilgandan so'ng, o'zgaruvchilarning qiymatlari tekshiriladi va mumkin bo'lgan xatolar aniqlanadi.
Dasturda topilgan xatolik tuzatiladi, shundan so'ng dasturni qayta tekshirish kerak bo'ladi. Buning uchun dasturni qayta tekshirishingiz yoki oldingi testni takrorlashingiz mumkin. Qayta sinovdan o'tkazish dasturga kiritilgan o'zgartirishlar tizimga yangi xatolar kiritmasligiga ishonch hosil qilish uchun qo'llaniladi, chunki amalda "xatolarni tuzatish" ning yuqori foizi to'liq bajarilmaydi yoki dasturga yangi xatolar kiritiladi.
Asosan, har bir tuzatishdan so'ng qayta sinovdan o'tkazish paytida barcha testlarni qayta o'tkazish kerak, ammo amalda bu yondashuv juda qimmat. Shuning uchun, test jarayonini rejalashtirishda tizimning qismlari o'rtasidagi bog'liqliklar aniqlanadi va har bir qism uchun testlar tayinlanadi. Keyin ushbu elementlar uchun tanlangan maxsus test holatlari (nazorat ma'lumotlari) yordamida dastur elementlarini kuzatish mumkin. Agar kuzatuv natijalari hujjatlashtirilgan bo'lsa, u holda o'zgartirilgan dastur elementini va unga bog'liq komponentlarni sinab ko'rish uchun test ma'lumotlarining umumiy to'plamining faqat bir qismidan foydalanish mumkin.
Ushbu kursning maqsadi dasturiy ta'minotni tekshirish jarayonining to'liq ko'rinishini taqdim etishdir. Muhokama mavzusi - tekshirish sohasida qo'llaniladigan turli yondashuvlar va usullar, xususan, dasturiy ta'minotni sinovdan o'tkazish. Ishlab chiqilayotgan dasturiy ta'minot kattaroq dasturning bir qismi deb taxmin qilinadi umumiy tizim. Bunday tizim, ehtimol, turli jamoalar tomonidan ishlab chiqilgan apparat, axborot va tashkiliy (inson foydalanuvchi, inson operatori va boshqalar) komponentlarini o'z ichiga oladi. Shuning uchun tizimning turli tarkibiy qismlariga qo'yiladigan talablarni va ularning o'zaro ta'siri qoidalarini belgilaydigan ishlab chiqish hujjatlari kerak. Bundan tashqari, tizimdagi nosozliklar u yoki bu jiddiy oqibatlarga olib kelishi mumkin, shuning uchun dasturiy ta'minotni ishlab chiqishda yashirin nuqsonlarni aniqlashga sarflangan harakatlar zarur va asosli bo'ladi. Bu, birinchi navbatda, dasturiy ta'minotni tekshirish vositalari va protseduralariga tegishli. Kurs misol tariqasida oddiy tizim yordamida Microsoft Visual Studio 2005 Team Edition for Software Testers muhitida dasturiy ta’minotni tekshirish texnikasi va usullarini ko‘rsatadigan bir qator amaliy mashg‘ulotlarni o‘z ichiga oladi. Ushbu nashr MSDN Akademik Alyansi (MSDN AA) Akademik hamkorlik dasturi tomonidan ishlab chiqilayotgan O'quv dasturlari kutubxonasining bir qismidir.
Quyidagi matn avtomatik ravishda asl PDF hujjatidan olinadi va faqat oldindan ko'rish uchun mo'ljallangan.
Rasmlar (rasmlar, formulalar, grafiklar) etishmayapti.
Guruch. 7 Sinov, tekshirish va tekshirish Dasturiy ta'minotni tekshirish testdan ko'ra umumiyroq tushunchadir. Tekshirishning maqsadi tekshirilayotgan ob'ektning (talablar yoki dastur kodi) talablarga muvofiqligi, mo'ljallanmagan funktsiyalarsiz amalga oshirilishi va dizayn spetsifikatsiyalari va standartlariga javob berishiga ishonch hosil qilishdir. Tekshirish jarayoni tekshiruvlar, kod sinovlari, test natijalarini tahlil qilish, muammoli hisobotlarni yaratish va tahlil qilishni o'z ichiga oladi. Shunday qilib, test jarayoni tekshirish jarayonining ajralmas qismi ekanligi umumiy qabul qilinadi, xuddi shu taxmin ushbu o'quv kursida amalga oshiriladi. Dasturiy ta'minot tizimini tekshirish - bu jarayon bo'lib, uning maqsadi tizimni ishlab chiqish natijasida biz undan foydalanish orqali erishmoqchi bo'lgan maqsadlarga erishganimizni isbotlashdir. Boshqacha qilib aytganda, validatsiya - bu tizimning mijoz kutganlariga muvofiqligini tekshirish. Tasdiqlash bilan bog'liq muammolar bu doiradan tashqarida o'quv kursi va o'rganish uchun alohida qiziqarli mavzuni ifodalaydi. Agar siz ushbu uchta jarayonni ular javob beradigan savol nuqtai nazaridan ko'rib chiqsangiz, test "Bu qanday amalga oshiriladi?" Degan savolga javob beradi. yoki "Ishlab chiqilgan dasturning xatti-harakati talablarga javob beradimi?" Tekshirish - "Nima qilindi?" yoki “Ishlab chiqilgan tizim talablarga javob beradimi?” va tasdiqlash “U o‘zi qilishi kerak bo‘lgan narsani qildimi?” yoki "Ishlab chiqilgan tizim mijozning talablariga javob beradimi?". 1.7. Hayotiy tsiklning turli bosqichlarida yaratilgan hujjatlar Rivojlanishning barcha bosqichlarini sinxronlashtirish har bir bosqichda yaratilgan hujjatlar yordamida amalga oshiriladi. Shu bilan birga, hujjatlar hayot tsiklining bevosita segmentida ham - dasturiy ta'minot tizimini ishlab chiqishda va teskarisida - uni tekshirish paytida yaratiladi. Keling, V shaklidagi hayot aylanishi misolidan foydalanib, har bir segmentda qanday turdagi hujjatlar yaratilganligini va ular o'rtasida qanday munosabatlar mavjudligini kuzatishga harakat qilaylik (8-rasm). Tizim talablarini ishlab chiqish bosqichining natijasi tizimga qo'yiladigan talablar - tizim faoliyatining umumiy tamoyillarini, uning o'zaro ta'sirini tavsiflovchi hujjatdir. muhit» - tizim foydalanuvchilari, shuningdek, uning ishlashini ta'minlaydigan dasturiy va texnik vositalar. Odatda, tizimga qo'yiladigan talablarga parallel ravishda tekshirish rejasi tuziladi va tekshirish strategiyasi aniqlanadi. Ushbu hujjatlar test qanday o'tkazilishi, qanday metodologiyalar qo'llanilishi va kelajakdagi tizimning qaysi jihatlari jiddiy sinovdan o'tkazilishi kerakligiga umumiy yondashuvni belgilaydi. Tekshiruv strategiyasini belgilash orqali hal qilinadigan yana bir vazifa - turli tekshirish jarayonlarining o'rni va ularning rivojlanish jarayonlari bilan aloqalarini aniqlash. 20 Tizim talablari bilan ishlaydigan tekshirish jarayoni talablarni tekshirish, ularni mijozning haqiqiy kutishlari bilan solishtirish jarayonidir. Oldinga qarab, aytaylik, tasdiqlash jarayoni tayyor tizim mijozga topshirilganda amalga oshiriladigan qabul qilish sinovlaridan farq qiladi, garchi uni bunday testlarning bir qismi deb hisoblash mumkin. Tasdiqlash nafaqat mijoz nuqtai nazaridan tizimni amalga oshirishning to'g'riligini, balki uning rivojlanishi asosidagi tamoyillarning to'g'riligini isbotlash vositasidir. Guruch. 8 Dasturiy ta'minot tizimini ishlab chiqish jarayonlari va hujjatlari Tizim talablari funktsional talablarni ishlab chiqish jarayoni va loyiha arxitekturasi uchun asosdir. Ushbu jarayon davomida tizimning dasturiy ta'minotiga, u bajarishi kerak bo'lgan funktsiyalarga umumiy talablar ishlab chiqiladi. Funktsional talablar ko'pincha normal va tizimdagi xatti-harakatlar modellarining ta'rifini o'z ichiga oladi favqulodda vaziyatlar , ma'lumotlarni qayta ishlash qoidalari va foydalanuvchi interfeysi ta'riflari. Talab matni, qoida tariqasida, "kerak, kerak" so'zlarini o'z ichiga oladi va "Agar ABC sensoridagi harorat qiymati Selsiy bo'yicha 30 daraja yoki undan yuqori bo'lsa, tizim ovozli signal berishni to'xtatishi kerak" shaklidagi tuzilishga ega. ” Funktsional talablar tizim arxitekturasini rivojlantirish uchun asos bo'lib, uning tuzilishini amalga oshirish amalga oshiriladigan quyi tizimlar va tilning tarkibiy birliklari - sohalar, sinflar, modullar, funktsiyalar va boshqalar bo'yicha tavsifi. Funktsional talablarga asoslanib, test talablari yoziladi - funktsional talablarning to'g'ri bajarilishiga ishonch hosil qilish uchun tekshirilishi kerak bo'lgan asosiy fikrlarning ta'rifini o'z ichiga olgan hujjatlar. Sinov talablari ko'pincha "Nimani tekshiring" so'zlari bilan boshlanadi va ularga mos keladigan funktsional talablarga havolalarni o'z ichiga oladi. Yuqoridagi funksional talablar uchun namunaviy sinov talablari: “Agar ABC sensoridagi harorat 30 darajadan pastga tushsa, tizim ogohlantirish tovushini chiqarishini tekshiring” va “Agar ABC sensoridagi harorat 30 darajadan oshsa, tizim signal bermaydi." 21 Sinov talablarini yozishda yuzaga keladigan muammolardan biri bu ba'zi talablarning tubdan tekshirilmasligi, masalan, "Foydalanuvchi interfeysi intuitiv bo'lishi kerak" talabini intuitiv interfeys nima ekanligini aniq belgilamasdan sinab ko'rish mumkin emas. Bunday o'ziga xos bo'lmagan funktsional talablar odatda keyinchalik o'zgartiriladi. Tizimning me'moriy xususiyatlari, shuningdek, tizimning dasturiy ta'minotini amalga oshirish xususiyatlarini hisobga olgan holda test talablarini yaratish uchun manba bo'lib xizmat qilishi mumkin. Bunday talabning misoli, masalan, "ABC sensoridagi harorat qiymati 255 dan oshmasligini tekshiring". Funktsional talablar va arxitektura asosida tizimning dastur kodi yoziladi va uni tekshirish uchun test talablari asosida test rejasi tayyorlanadi - test sinovlari ketma-ketligi tavsifi. talablar bilan tizimni amalga oshirish. Har bir test ishida tizimga kirish sifatida taqdim etilgan qiymatlarning o'ziga xos tavsifi, chiqish sifatida kutilayotgan qiymatlar va testni bajarish stsenariysi tavsifi mavjud. Sinov ob'ektiga qarab, test rejasi dasturlash tilidagi dastur sifatida yoki sinovdan o'tayotgan tizimni bajaradigan va test rejasida ko'rsatilgan qiymatlarni o'tkazadigan asboblar to'plami uchun kirish ma'lumotlar fayli sifatida tayyorlanishi mumkin, yoki foydalanuvchi uchun ko'rsatmalar sifatida tizimning turli funktsiyalarini sinab ko'rish uchun zarur qadamlarni tavsiflovchi tizim. Barcha test holatlarini bajarish natijasida testdan muvaffaqiyatli o'tish to'g'risida statistik ma'lumotlar yig'iladi - haqiqiy chiqish qiymatlari kutilganlarga to'g'ri kelgan test holatlarining foizi, o'tgan testlar deb ataladi. Muvaffaqiyatsiz testlar xatolar sabablarini tahlil qilish va ularni keyinchalik tuzatish uchun dastlabki ma'lumotlardir. Integratsiya bosqichida alohida tizim modullari bir butunga yig'iladi va tizimning butun funksionalligini tekshiradigan test holatlari bajariladi. Oxirgi bosqichda tayyor tizim mijozga yetkaziladi. Amalga oshirishdan oldin mijozning mutaxassislari ishlab chiquvchilar bilan birgalikda qabul qilish testlarini o'tkazadilar - ular oldindan tasdiqlangan test dasturiga muvofiq foydalanuvchi uchun muhim bo'lgan funktsiyalarni tekshiradilar. Sinovlar muvaffaqiyatli yakunlangandan so'ng, tizim mijozga o'tkaziladi, aks holda u qayta ko'rib chiqish uchun yuboriladi. 1.8. Sinov va tekshirish jarayonlarining turlari va ularning hayot tsiklining turli modellarida tutgan o'rni 1.8.1. Birlik sinovi Kichik birliklar (protseduralar, sinflar va boshqalar) birlik sinovidan o'tkaziladi. 100-1000 satr o'lchamdagi nisbatan kichik modulni sinab ko'rishda, agar hammasi bo'lmasa ham, amalga oshirishda kamida ko'plab mantiqiy tarmoqlar, ma'lumotlarga bog'liqlik grafigidagi turli yo'llar, parametrlarning chegaraviy qiymatlari tekshirilishi mumkin. Shunga muvofiq, test qamrovi mezonlari tuziladi (barcha operatorlar, barcha mantiqiy tarmoqlar, barcha chegara nuqtalari va boshqalar qamrab olingan). . Birlik testi odatda har bir mustaqil uchun amalga oshiriladi dasturiy ta'minot moduli va, ehtimol, eng keng tarqalgan sinov turi, ayniqsa kichik va o'rta tizimlar uchun. 1.8.2. Integratsiya testi Barcha modullarning to'g'riligini tekshirish, afsuski, modullar tizimining to'g'ri ishlashiga kafolat bermaydi. Adabiyotda ba'zan modullar tizimini sinashni noto'g'ri tashkil etishning "klassik" modeli muhokama qilinadi, ko'pincha "katta sakrash" usuli deb ataladi. Usulning mohiyati birinchi navbatda har bir modulni alohida sinovdan o'tkazish, keyin ularni tizimga birlashtirish va butun tizimni sinab ko'rishdir. Katta tizimlar uchun bu haqiqiy emas. Ushbu yondashuv bilan xatolarni lokalizatsiya qilishga ko'p vaqt sarflanadi va test sifati past bo'lib qoladi. "Katta sakrash" ga alternativa integratsiya testidir, tizim bosqichma-bosqich qurilganda, modullar guruhlari asta-sekin qo'shiladi. 1.8.3. Tizim testi To'liq amalga oshirilgan dasturiy mahsulot tizim sinovidan o'tkaziladi. Ushbu bosqichda testerni individual protseduralar va usullarni amalga oshirishning to'g'riligi emas, balki oxirgi foydalanuvchi ko'rganidek, butun dasturni qiziqtiradi. Sinovlar uchun asoslar Umumiy talablar dasturga, shu jumladan nafaqat funktsiyalarni amalga oshirishning to'g'riligi, balki ishlash, javob berish vaqti, nosozliklarga, hujumlarga, foydalanuvchi xatolariga va boshqalarga qarshilik. Tizim va komponentlarni sinovdan o'tkazish uchun sinovni qamrab olish mezonlarining o'ziga xos turlari qo'llaniladi (masalan, barcha tipik ish stsenariylari, g'ayritabiiy vaziyatlarga ega bo'lgan barcha stsenariylar, juftlashtirilgan stsenariy kompozitsiyalari va boshqalar). 1.8.4. Yukni sinovdan o'tkazish nafaqat me'moriy qarorlarni qabul qilishga qaratilgan yuk ostida tizimning ishlashi to'g'risida prognozli ma'lumotlarni taqdim etadi, balki u texnik qo'llab-quvvatlash guruhlari, shuningdek, eng samarali dasturlarni yaratish uchun mas'ul bo'lgan loyiha va konfiguratsiya menejerlariga operatsion ma'lumotlarni taqdim etadi. apparat va dasturiy ta'minot konfiguratsiyasi. . Yuklarni sinovdan o'tkazish ishlab chiqish guruhiga optimal me'moriy kompozitsiyalarni ishlab chiqishga qaratilgan ko'proq asosli qarorlar qabul qilish imkonini beradi. Buyurtmachi, o'z navbatida, real sharoitlarda qabul qilish testlarini o'tkazish imkoniyatiga ega bo'ladi. 1.8.5. Rasmiy tekshiruvlar Rasmiy tekshirish dasturiy ta'minotni ishlab chiqish jarayonida yaratilgan hujjatlar va dastur kodini tekshirish usullaridan biridir. Rasmiy tekshirish vaqtida mutaxassislar guruhi tekshirilgan hujjatlarning dastlabki hujjatlarga muvofiqligini mustaqil ravishda tekshiradi. Tekshirishning mustaqilligi uni tekshirilayotgan hujjatni ishlab chiqishda ishtirok etmagan inspektorlar tomonidan amalga oshirilishi bilan ta'minlanadi. 1.9. Sertifikatlanayotgan dasturiy ta'minotni tekshirish Keling, aniqlovchi ba'zi ta'riflarni beraylik umumiy tuzilma dasturiy ta'minotni sertifikatlash jarayoni: Dasturiy ta'minotni sertifikatlash - dasturiy ta'minotni ishlab chiqish muayyan talablarga muvofiq amalga oshirilganligini aniqlash va rasman tan olish jarayoni. Sertifikatlashtirish jarayonida Ariza beruvchi, Sertifikatlashtiruvchi organ va Nazorat qiluvchi organning o‘zaro hamkorligi yuzaga keladi.Talabnoma beruvchi tegishli sertifikatlash organiga sertifikat (muvofiqlik, sifat, yaroqlilik va h.k.) olish uchun ariza beradigan tashkilotdir. mahsulot. Sertifikatlash organi – Ariza beruvchining dasturiy ta’minotni sertifikatlash bo‘yicha arizasini ko‘rib chiqadigan va mustaqil ravishda yoki maxsus komissiya tuzish yo‘li bilan Ariza beruvchining dasturiy ta’minotni sertifikatlash jarayonini o‘tkazishga qaratilgan protseduralar to‘plamini ishlab chiqadigan tashkilot. 23 Kuzatuv organi - talabnoma beruvchi tomonidan sertifikatlangan hujjatni ishlab chiqish jarayonlarini nazorat qiluvchi mutaxassislar komissiyasi. axborot tizimi va ushbu jarayonning ma'lum talablarga muvofiqligi to'g'risida xulosa berish, u sertifikatlash organiga ko'rib chiqish uchun taqdim etiladi. Sertifikatlash muvofiqlik sertifikati yoki sifat sertifikatini olishga qaratilgan bo'lishi mumkin. Birinchi holda, sertifikatlash natijasi ishlab chiqish jarayonlarining ma'lum mezonlarga muvofiqligini va tizimning ma'lum talablarga muvofiqligini tan olishdir. Yo'l-yo'riq hujjatlari bunday talablarga misol bo'la oladi. Federal xizmat dasturiy ta'minot tizimlari xavfsizligi sohasida texnik va eksport nazorati bo'yicha. Ikkinchi holda, natija ishlab chiqarish jarayonlarining ma'lum mezonlar bilan muvofiqligini tan olishdir, bu ishlab chiqarilgan mahsulot sifatining tegishli darajasini va uning muayyan sharoitlarda foydalanishga yaroqliligini kafolatlaydi. Bunday standartlarga misol sifatida qator xalqaro sifat standartlari ISO 9000:2000 (GOST R ISO 9000-2001) yoki DO-178B, AS9100, AS9006 aviatsiya standartlarini keltirish mumkin. Sertifikatlanadigan dasturiy ta'minotni sinovdan o'tkazish ikkita qo'shimcha maqsadga ega: Birinchi maqsad dasturiy ta'minot unga qo'yiladigan talablarga javob berishini ko'rsatishdir. Ikkinchi maqsad - tizim xavfsizligini baholash jarayonida aniqlangan, qabul qilib bo'lmaydigan nosozlik holatlariga olib kelishi mumkin bo'lgan xatolar sinov jarayonida aniqlanganligini yuqori darajadagi ishonch bilan ko'rsatishdir. Masalan, DO-178B standarti talablariga muvofiq, dasturiy ta'minotni sinovdan o'tkazish maqsadlarini qondirish uchun quyidagilar zarur: Testlar birinchi navbatda dasturiy ta'minot talablariga asoslanishi kerak; Sinovlar to'g'ri ishlashini tekshirish va mumkin bo'lgan xatolarni aniqlash uchun sharoit yaratish uchun mo'ljallangan bo'lishi kerak. Dasturiy ta'minot talablari asosida testlarning to'liqligini ko'rib chiqish qaysi talablar sinovdan o'tmaganligini aniqlashi kerak. Dastur kodining tuzilishi asosida testlarning to'liqligini tahlil qilish test paytida qaysi tuzilmalar bajarilmaganligini aniqlashi kerak. Ushbu standart talablarga asoslangan test haqida ham gapiradi. Ushbu strategiya xatolarni aniqlashda eng samarali deb topildi. Talablar asosida test holatlarini tanlash bo'yicha ko'rsatmalar quyidagilarni o'z ichiga oladi: Dasturiy ta'minotni sinovdan o'tkazish maqsadlariga erishish uchun ikkita toifadagi testlarni o'tkazish kerak: oddiy holatlar uchun testlar va g'ayritabiiy (talab qilinmagan, mustahkam) holatlar uchun testlar. Dasturiy ta'minot talablari va dasturiy ta'minotni ishlab chiqish jarayoniga xos bo'lgan xato manbalari uchun maxsus test holatlari ishlab chiqilishi kerak. Oddiy vaziyatlar uchun testlarning maqsadi dasturiy ta'minotning talablarga muvofiq oddiy kirish va shartlarga javob berish qobiliyatini namoyish qilishdir. 24 G'ayritabiiy holatlar uchun testlarning maqsadi dasturiy ta'minotning g'ayritabiiy kirishlar va sharoitlarga adekvat javob berish qobiliyatini namoyish qilishdir, boshqacha qilib aytganda, bu tizimning ishdan chiqishiga olib kelmasligi kerak. Tizimdagi nosozlik holatlarining toifalari samolyot va uning yo'lovchilari uchun nosozlik xavfini aniqlash orqali belgilanadi. Dasturiy ta'minotdagi har qanday xato xatolik holatiga hissa qo'shadigan muvaffaqiyatsizlikka olib kelishi mumkin. Shunday qilib, xavfsiz ishlash uchun zarur bo'lgan dasturiy ta'minotning yaxlitligi darajasi tizim uchun nosozlik holatlari bilan bog'liq. Muvaffaqiyatsizlik holatlarining 5 darajasi mavjud: kichikdan tanqidiygacha. Ushbu darajalarga ko'ra, dasturiy ta'minotning tanqidiy darajasi tushunchasi kiritiladi. Kritiklik darajasi sertifikatlashtirish organiga taqdim etilgan hujjatlarning tarkibini va shuning uchun tizimni ishlab chiqish va tekshirish jarayonlarining chuqurligini belgilaydi. Masalan, DO-178B kritikligining eng past darajasi uchun sertifikatlash uchun zarur bo'lgan hujjatlar turlarining soni va tizimni ishlab chiqish bo'yicha ishlarning miqdori eng ko'p sertifikatlash uchun zarur bo'lgan son va hajmlardan bir yoki ikki darajaga farq qilishi mumkin. yuqori daraja. Muayyan talablar sertifikatlashtirishni o'tkazish rejalashtirilgan standart bilan belgilanadi. 25 MAVZU 2. Dastur kodini tekshirish (2-5-ma'ruzalar) 2.1. Dastur kodini sinovdan o'tkazishning vazifalari va maqsadlari Dastur kodini sinovdan o'tkazish - undagi mavjud nuqsonlarni aniqlashga qaratilgan dastur kodini bajarish jarayoni. Bu erda nuqson deganda dastur kodining bo'limi tushuniladi, uning bajarilishi ma'lum sharoitlarda tizimning kutilmagan xatti-harakatlariga olib keladi (ya'ni, talablarga javob bermaydigan xatti-harakatlar). Tizimning kutilmagan xatti-harakatlari uning ishlashida va muvaffaqiyatsizliklarga olib kelishi mumkin, bu holda ular dastur kodidagi muhim nuqsonlar haqida gapirishadi. Ba'zi nuqsonlar tizimning ishlashini buzmaydigan kichik muammolarni keltirib chiqaradi, lekin u bilan ishlashni biroz qiyinlashtiradi. Bunday holda, biz o'rta yoki kichik nuqsonlar haqida gapiramiz. Ushbu yondashuv bilan sinovdan o'tkazish vazifasi tizim nuqsonlari paydo bo'ladigan sharoitlarni aniqlash va ushbu shartlarni qayd etishdan iborat. Sinov vazifalari odatda dastur kodining aniq nuqsonli bo'limlarini aniqlashni o'z ichiga olmaydi va hech qachon kamchiliklarni tuzatishni o'z ichiga olmaydi - bu tizim sinovi natijalari asosida amalga oshiriladigan nosozliklarni tuzatish vazifasi. Dastur kodini sinovdan o'tkazish tartibini qo'llashdan maqsad yakuniy mahsulotdagi nuqsonlar sonini, ayniqsa muhim bo'lganlarni minimallashtirishdir. Sinovning o'zi tizim kodida nuqsonlarning to'liq yo'qligini kafolatlay olmaydi. Biroq, nomuvofiqliklar va to'liqsizliklarni bartaraf etishga qaratilgan tekshirish va tasdiqlash jarayonlari bilan birgalikda loyiha hujjatlari(xususan, tizimga qo'yiladigan talablar), yaxshi tashkil etilgan test tizimning barcha ko'zda tutilgan vaziyatlarda talablarga javob berishini va ularga muvofiq harakat qilishini ta'minlaydi. Yuqori ishonchlilik tizimlarini ishlab chiqishda, masalan, aviatsiya, ishonchlilik kafolatlariga sinov jarayonini aniq tashkil etish, uning boshqa hayot aylanish jarayonlari bilan bog'liqligini aniqlash, sinov muvaffaqiyatini baholashga imkon beruvchi miqdoriy xususiyatlarni kiritish orqali erishiladi. Shu bilan birga, tizimning ishonchliligi (uning tanqidiylik darajasi) uchun talablar qanchalik baland bo'lsa, talablar shunchalik qattiqroq bo'ladi. Shunday qilib, birinchi navbatda, biz ma'lum bir tizimni sinovdan o'tkazishning aniq natijalarini emas, balki ko'rib chiqamiz umumiy tashkilot “Yaxshi tashkil etilgan jarayon sifatli natija beradi” yondashuvidan foydalangan holda sinov jarayoni. Ushbu yondashuv ko'plab xalqaro va sanoat sifat standartlari uchun umumiy bo'lib, ular ushbu kurs oxirida batafsilroq muhokama qilinadi. Ushbu yondashuv bilan ishlab chiqilgan tizimning sifati mustaqil boshqarilmaydigan natija emas, balki uyushgan ishlab chiqish va sinov jarayonining natijasidir. Zamonaviy dasturiy ta'minot tizimlari juda katta bo'lganligi sababli, ularning dastur kodini sinab ko'rishda funktsional parchalanish usuli qo'llaniladi. Tizim talablar bilan belgilangan funksionallik va interfeyslarga ega bo'lgan alohida modullarga (sinflar, nomlar maydoni va boshqalar) bo'linadi. Shundan so'ng, har bir modul alohida sinovdan o'tkaziladi - birlik testi amalga oshiriladi. Keyinchalik, alohida modullar kattaroq konfiguratsiyalarga yig'iladi - integratsiya testi o'tkaziladi va nihoyat, butun tizim sinovdan o'tkaziladi - tizim sinovi o'tkaziladi. Dastur kodi nuqtai nazaridan, birlik, integratsiya va tizim testlari juda ko'p umumiy xususiyatlarga ega, shuning uchun bu mavzu birlik testiga qaratiladi, integratsiya va tizimni sinovdan o'tkazish xususiyatlari keyinroq muhokama qilinadi. 26 Birlik sinovi paytida har bir modul talablarga muvofiqligi va tizimda nosozliklar va nosozliklarga olib kelishi mumkin bo'lgan dastur kodining muammoli bo'limlari yo'qligi uchun sinovdan o'tkaziladi. Qoida tariqasida, modullar tizimdan tashqarida ishlamaydi - ular boshqa modullardan ma'lumotlarni oladi, ularni qayta ishlaydi va uzatadi. Bir tomondan, modulni tizimdan ajratish va mumkin bo'lgan tizim xatolarining ta'sirini bartaraf etish uchun, ikkinchi tomondan, modulni barcha kerakli ma'lumotlar bilan ta'minlash uchun sinov muhiti qo'llaniladi. Sinov muhitining vazifasi modul uchun ish vaqti muhitini yaratish, modul kiradigan barcha tashqi interfeyslarni taqlid qilishdir. Test muhitini tashkil etish xususiyatlari haqida ushbu mavzu muhokama qilinadi. Oddiy test jarayoni test holatlarini tayyorlash va bajarishdir (shuningdek, oddiygina testlar deb ataladi). Har bir test ishi modulning xatti-harakatlarida bitta "vaziyat" ni tekshiradi va modulning kiritilishiga o'tkazilgan qiymatlar ro'yxatidan, ma'lumotlarni qayta ishlashni boshlash va bajarish tavsifidan - test stsenariysidan va ro'yxatidan iborat. modulning to'g'ri ishlashida uning chiqishida kutilgan qiymatlar. Sinov stsenariylari modulning ichki ma'lumotlariga kirishni istisno qiladigan tarzda tuzilgan, barcha o'zaro ta'sirlar faqat uning tashqi interfeyslari orqali amalga oshirilishi kerak. Test ishining bajarilishi test skriptining dasturiy ta'minotini o'z ichiga olgan test muhiti tomonidan qo'llab-quvvatlanadi. Bajarish modulga kiritilgan ma'lumotlarni uzatish va skriptni ishga tushirish bilan boshlanadi. Skriptni bajarish natijasida moduldan olingan haqiqiy mahsulot saqlanadi va kutilganlar bilan taqqoslanadi. Agar ular mos kelsa, test o'tgan deb hisoblanadi, aks holda u o'tmaydi. Har bir muvaffaqiyatsiz sinov sinovdan o'tkazilayotgan qurilmada yoki sinov muhitida yoki sinov tavsifida nuqson borligini ko'rsatadi. Test holatlarining tavsiflari to'plami test rejasi - dastur modulini sinovdan o'tkazish tartibini belgilaydigan asosiy hujjatdir. Sinov rejasi nafaqat test holatlarining o'zini, balki ular bajarish tartibini ham belgilaydi, bu ham muhim bo'lishi mumkin. Test rejalarining tuzilishi va xususiyatlari ushbu mavzuda, test holatlarining tartibi bilan bog'liq muammolar - "Testning takrorlanishi" mavzusida ko'rib chiqiladi. Sinov paytida ko'pincha tizimga qo'yiladigan talablarni emas, balki sinovdan o'tayotgan modulning dastur kodining tuzilishini ham hisobga olish kerak. Bunday holda, testlar aniqlash uchun mo'ljallangan tipik xatolar talablarni noto'g'ri talqin qilish natijasida yuzaga kelgan dasturchilar. Chegaraviy holatni tekshirish, ekvivalentlik sinfini tekshirish qo'llaniladi. Tizimda talablar bilan belgilanmagan imkoniyatlarning yo'qligi dastur kodini sinovlar bilan qamrab olishning turli baholarini kafolatlaydi, ya'ni. barcha test holatlarini bajarish natijasida ma'lum bir til konstruktsiyalarining necha foizi bajarilganligi haqidagi taxminlar. Bularning barchasi ushbu mavzuning oxirida muhokama qilinadi. 2.2. Sinov usullari 2.2.1. Qora quti Tizimni qora quti sifatida sinab ko'rishning asosiy g'oyasi shundan iboratki, tester uchun mavjud bo'lgan barcha materiallar tizimning xatti-harakatlarini va tizimning o'zini tavsiflovchi talablar bo'lib, u faqat ba'zi tashqi ta'sirlarni qo'llash orqali ishlashi mumkin. uning kirishlari va natijalarini kuzatish ba'zi natijalarni beradi. Tizimni amalga oshirishning barcha ichki xususiyatlari testerdan yashiringan, shuning uchun tizim "qora quti" bo'lib, uning talablarga nisbatan to'g'ri xatti-harakati tekshirilishi kerak. 27 Dastur kodi nuqtai nazaridan qora quti ma'lum tashqi interfeyslarga ega, ammo kirish imkoni bo'lmagan manba matnlari bo'lgan sinflar (yoki modullar) to'plami bo'lishi mumkin. Ushbu test usuli uchun sinovchining asosiy vazifasi tizimning xatti-harakatlari talablarga javob berishini doimiy ravishda tekshirishdir. Bundan tashqari, sinovchi tizimni tanqidiy vaziyatlarda sinab ko'rishi kerak - agar noto'g'ri kiritilgan qiymatlar berilsa nima bo'ladi. Ideal vaziyatda, tanqidiy vaziyatlarning barcha variantlari tizimga qo'yiladigan talablarda tasvirlangan bo'lishi kerak va sinovchi faqat ushbu talablar uchun maxsus tekshiruvlar bilan kelishi mumkin. Biroq, haqiqatda, sinovlar natijasida, odatda, ikki turdagi tizim muammolari aniqlanadi: 1. Tizim xatti-harakatlarining talablarga mos kelmasligi 2. Talablarda ko'zda tutilmagan vaziyatlarda tizimning noto'g'ri ishlashi. Har ikkala turdagi muammolar bo'yicha hisobotlar hujjatlashtiriladi va ishlab chiquvchilar bilan baham ko'riladi. Shu bilan birga, birinchi turdagi muammolar odatda dastur kodining o'zgarishiga olib keladi, kamroq tez-tez - talablarning o'zgarishi. Bu holda talablarni o'zgartirish ularning nomuvofiqligi (bir nechta turli talablar bir xil vaziyatda tizim xatti-harakatlarining turli modellarini tavsiflaydi) yoki noto'g'ri (talablar haqiqatga mos kelmasligi) tufayli talab qilinishi mumkin. Ikkinchi turdagi muammolar ularning to'liq emasligi sababli talablarni o'zgartirishni aniq talab qiladi - talablar tizimning noto'g'ri xatti-harakatlariga olib keladigan vaziyatni aniq o'tkazib yuboradi. Shu bilan birga, adekvat bo'lmagan xatti-harakatlar tizimning to'liq qulashi yoki umuman olganda, talablarda tavsiflanmagan har qanday xatti-harakatlar sifatida tushunilishi mumkin. Qora quti testi talablar testi deb ham ataladi. bu test rejasini tuzish uchun yagona ma'lumot manbai. 2.2.2. Shisha (oq) quti Shisha quti kabi tizimni sinovdan o'tkazishda tester nafaqat tizimga qo'yiladigan talablarga, uning kirish va chiqishlariga, balki uning ichki tuzilishiga ham kirish huquqiga ega - uning dastur kodini ko'radi. Dastur kodining mavjudligi testerning imkoniyatlarini kengaytiradi, chunki u talablarning dastur kodining bo'limlariga muvofiqligini ko'rishi va shu bilan butun dastur kodiga talablar mavjudligini ko'rishi mumkin. Hech qanday talablar mavjud bo'lmagan dastur kodi talablarsiz kod deb ataladi. Bunday kod tizimning noto'g'ri xatti-harakatlarining potentsial manbai hisoblanadi. Bundan tashqari, tizimning shaffofligi uning muammolarni keltirib chiqaradigan sohalarini tahlil qilishni chuqurlashtirishga imkon beradi - ko'pincha bir muammo boshqasini neytrallashtiradi va ular bir vaqtning o'zida hech qachon yuzaga kelmaydi. 2.2.3. Model sinovi Model testi dasturiy ta'minotni tekshirishning klassik usullaridan biroz uzoqroq. Avvalo, bu sinov ob'ekti tizimning o'zi emas, balki uning rasmiy vositalar bilan ishlab chiqilgan modeli ekanligi bilan bog'liq. Agar biz modelning to'g'riligi va qo'llanilishini tekshirish masalalarini chetga surib qo'ysak (uning to'g'riligi va asl tizimga muvofiqligini rasmiy vositalar bilan isbotlash mumkin deb ishoniladi), unda tester o'z ixtiyorida tahlil qilish uchun juda kuchli vositaga ega. tizimning umumiy yaxlitligi. Model bilan ishlash orqali siz haqiqiy tizim uchun sinov laboratoriyasida yaratib bo'lmaydigan vaziyatlarni yaratishingiz mumkin. Tizimning dastur kodining modeli bilan ishlash orqali uning xususiyatlarini va algoritmlarning optimalligi yoki barqarorligi kabi tizim parametrlarini tahlil qilish mumkin. 28 Biroq, modelni sinovdan o'tkazish tizimning xatti-harakatlarining rasmiy tavsifini ishlab chiqishda duch kelgan qiyinchiliklar tufayli aniq keng tarqalmagan. Bir nechta istisnolardan biri - algoritmik va matematik apparati juda yaxshi rivojlangan aloqa tizimlari. 2.2.4. Dastur kodini tahlil qilish (tekshirishlar) Ko'p hollarda tizimning ishlashini umuman sinab ko'rish mumkin emas - dastur kodining alohida bo'limlari hech qachon bajarilmasligi mumkin, ammo ular talablar bilan qoplanadi. Istisno ishlovchilar kodning bunday bo'limlariga misol bo'la oladi. Agar, masalan, ikkita modul bir-biriga raqamli qiymatlarni yuborsa va qiymatni tekshirish funktsiyalari ikkala modulda ishlasa, qabul qiluvchi modulning tekshirish funksiyasi hech qachon faollashtirilmaydi, chunki transmitterda barcha noto'g'ri qiymatlar o'chiriladi. Bunday holda, dastur kodining to'g'riligi uchun qo'lda tahlil qilinadi, bu kodni ko'rib chiqish yoki tekshirish deb ham ataladi. Agar tekshirish natijasida muammoli joylar aniqlansa, bu haqdagi ma'lumotlar muntazam testlar natijalari bilan birga tuzatish uchun ishlab chiquvchilarga uzatiladi. 2.3. Sinov muhiti Deyarli har qanday murakkab tizimni sinovdan o'tkazishning asosiy qismi odatda o'tkaziladi avtomatik rejim. Bundan tashqari, sinovdan o'tkazilayotgan tizim odatda alohida modullarga bo'linadi, ularning har biri birinchi navbatda boshqalardan alohida, so'ngra butun holda sinovdan o'tkaziladi. Bu shuni anglatadiki, testni o'tkazish uchun sinovdan o'tkazilayotgan modulni ishga tushirish va bajarishni ta'minlaydigan, unga kirish ma'lumotlarini uzatishni, tizimning berilgan kirish ma'lumotlari bo'yicha ishlashi natijasida olingan haqiqiy chiqish ma'lumotlarini to'plashni ta'minlaydigan muhitni yaratish kerak. . Shundan so'ng, atrof-muhit haqiqiy chiqish ma'lumotlarini kutilganlar bilan solishtirishi va ushbu taqqoslash asosida modul harakatining ko'rsatilganiga muvofiqligi to'g'risida xulosa chiqarishi kerak (9-rasm). Sinov drayveri Sinovga ishlov berish ostida kutilgan chiqish maʼlumotlari Kirish maʼlumotlari natijalari moduli Haqiqiy chiqish maʼlumotlari stendlari 9 Sinov muhitining umumlashtirilgan sxemasi Sinov muhitidan alohida tizim modullarini butun tizimdan ajratish uchun ham foydalanish mumkin. Sinovning dastlabki bosqichlarida tizim modullarini ajratish ularning dastur kodida yuzaga keladigan muammolarni aniqroq lokalizatsiya qilish imkonini beradi. Modulning tizimdan ajratilgan holda ishlashini qo'llab-quvvatlash uchun sinov muhiti sinovdan o'tayotgan modul tomonidan funksiyalari yoki ma'lumotlariga kirish mumkin bo'lgan barcha modullarning xatti-harakatlarini modellashtirishi kerak. 29
Yaxshi ishingizni bilimlar bazasiga yuborish oddiy. Quyidagi shakldan foydalaning
Talabalar, aspirantlar, bilimlar bazasidan o‘z o‘qishlarida va ishlarida foydalanayotgan yosh olimlar sizdan juda minnatdor bo‘lishadi.
http://www.allbest.ru/ saytida joylashgan
mavhum
Dasturiy ta'minotni tekshirish va sinovdan o'tkazish usullari
Kirish
Odamlar xato qilishga moyil. Xatolar har doim bo'lgan va bo'ladi. IT muhitida hazil borki, agar dastur birinchi marta ishga tushsa va darhol ishlasa, unda siz xato izlashingiz kerak.
Rivojlanish bilan birga Kompyuter fanlari, hayotning barcha jabhalariga kirib borishi bilan dasturlardagi xatolar soni ham ortib bormoqda. Bundan tashqari, xatolarning o'sishi dasturlar sonining o'sishiga mutanosib emas. Har yili dasturchilar safi xatolar maydonini eksponent tarzda rivojlantiradigan bydlokoderlar (va ularning nomi legion) bilan to'ldiriladi.
Xatolar har bir sohada ko'rinmaydi. Misol uchun, hech kim "amigo" kabi brauzerlarda xato va zaifliklar haqida qayg'urmaydi. Ha, va bunday xatolardan yo'qotishlar unchalik katta emas: oddiy foydalanuvchi yo'qotishi mumkin bo'lgan maksimal narsa bu ijtimoiy tarmoqlardagi akkauntlar, bir yarim ming o'rtacha ta'til fotosuratlari va porno to'plam.
Ammo dasturlash xatolari eng achinarli oqibatlarga olib kelishi mumkin bo'lgan sohalar mavjud. Men topa olgan birinchi holatlardan biri bu Mariner 1 kosmik kemasi bo'lib, u 1962 yil 22 iyulda uchirilgandan 293 soniya o'tgach, bort kompyuter dasturidagi xato tufayli yo'q qilingan. O‘shanda o‘lim bo‘lmagani yaxshi.
Bortida to'rt yuz yo'lovchi bo'lgan Boeing-747 bort kompyuteri istisno qilsa nima bo'ladi?
Aynan "jiddiy" deb atash mumkin bo'lgan sohalar uchun tekshirish va sinov usullari ixtiro qilingan.
Ba'zi xorijiy adabiyotlarda tekshirish va tekshirish jarayonlari aniqlangan, ba'zi joylarda test sinovlari tekshirish usullaridan biri sifatida qaraladi. Men bu ishni o'z tushunganimcha bajaraman, tekshirish va sinov jarayonlarini alohida ko'rib chiqaman. Bundan tashqari, adolat uchun, men dasturiy ta'minotni tekshirish mavzusiga to'xtalib o'taman.
1. Ta'riflar
Hayot davrasi(LC) dasturiy ta'minot. Bu atama muayyan muammolarni hal qilish uchun zarur funksionallikka ega boʻlgan dasturiy taʼminotni yaratish gʻoyasidan boshlab toʻliq foydalanish toʻxtatilgunga qadar boʻlgan vaqt oraligʻini bildiradi. oxirgi versiya bu dastur.
Artefaktlar dasturiy ta'minotning hayot aylanishi (SW). Bu dasturiy ta'minotni yaratish bilan bog'liq turli xil axborot materiallarini o'z ichiga oladi. Bular texnik topshiriq, arxitektura tavsifi, manba kodi, foydalanuvchi hujjatlari va boshqa hujjatlar. Ishlab chiqish jarayonida foydalanilgan, ammo mavjud shaklda yozilmagan materiallar (masalan, koddagi sharhlar va chatda ishlab chiquvchilarni suiiste'mol qilish) artefakt emas.
2. Tekshirish
Tekshiruv dasturiy ta'minotni ishlab chiqish va texnik xizmat ko'rsatish jarayonida yaratilgan ba'zi artefaktlarning avval yaratilgan yoki dastlabki ma'lumotlar sifatida foydalanilgan boshqalarga muvofiqligini, shuningdek, ushbu artefaktlar va ularni ishlab chiqish jarayonlarining qoidalar va standartlarga muvofiqligini tekshiradi. Xususan, tekshirish standartlar normalari, dasturiy ta'minotga qo'yiladigan talablarning (texnik topshiriqlar) tavsifi, dizayn echimlari, manba kodi, foydalanuvchi hujjatlari va dasturiy ta'minotning o'zi ishlashi o'rtasidagi muvofiqlikni tekshiradi. Bundan tashqari, talablarga muvofiqligi tekshiriladi dizayn yechimlari, Hujjatlar va kodlar dasturiy ta'minotni ishlab chiqishda ma'lum bir mamlakat, tarmoq va tashkilotda qabul qilingan normalar va standartlarga muvofiq tuziladi, shuningdek, ular yaratilganda standartlarda ko'rsatilgan barcha operatsiyalar talab qilinadigan ketma-ketlikda bajariladi. Tekshirish jarayonida aniqlangan xato va nuqsonlar sanab o'tilgan bir nechta hujjatlar o'rtasidagi, hujjatlar va dasturning amaldagi ishlashi, standartlar normalari va dasturiy ta'minotni ishlab chiqish va texnik xizmat ko'rsatishning haqiqiy jarayonlari o'rtasidagi nomuvofiqlik yoki ziddiyatdir. Shu bilan birga, qaysi hujjatni tuzatish kerakligini hal qilish (ehtimol, ikkalasi ham) alohida vazifadir.
Yuqoridagilar tekshirishning rasmiy ta'rifidir. Aslida, hamma narsa ancha sodda: tekshirish aniqlaydi dasturni to'g'ri bajaryapmizmi?.
Shunday qilib, tekshirishning asosiy usullari ekspertiza va tekshirish hisoblanadi.
dastur ekspertizasi tekshiruvi
3. Tasdiqlash
Tasdiqlash jarayoni dasturiy ta'minotni ishlab chiqish va texnik xizmat ko'rsatish jarayonida yaratilgan yoki foydalanilgan har qanday artefaktning qonunlarni hisobga olgan holda ushbu dasturiy ta'minot foydalanuvchilari va mijozlarining ehtiyojlari va talablariga muvofiqligini tekshiradi. mavzu maydoni va dasturiy ta'minotdan foydalaniladigan kontekstning cheklovlari.
Va yana, ko'p so'zlar ortida juda ko'p narsa bor oddiy vazifa: tekshirish jarayonida ushbu foydalanuvchilar/mijozlar uchun dasturning ma'lum bir funksiyasi kerakmi yoki yo'qligi tekshiriladi. Dasturiy ta'minot mahsuloti mijozlar va oxirgi foydalanuvchilarning xohishlariga javob beradimi.
4. Sinov
Sinov - test ma'lumotlari bo'yicha dasturiy ta'minot tizimining kodini bajarish, ma'lum bir operatsion muhitda ishlash dinamikasida ishlash ko'rsatkichlarini yig'ish, tartibsiz va g'ayritabiiy vaziyatlardan kelib chiqqan turli xil xatolar, nuqsonlar, nosozliklar va kamchiliklarni aniqlash orqali dasturiy ta'minotdagi xatolarni aniqlash jarayoni. yoki dasturiy ta'minotning anormal tugatilishi.
Tarixiy jihatdan, testning birinchi turi disk raskadrovka edi.
Nosozliklarni tuzatish - bu dasturlash tilidagi dastur ob'ektining tavsifini undagi xatolarni aniqlash va keyin ularni bartaraf etish uchun tekshirish. Xatolar ularni sintaktik nazorat qilish vaqtida kompilyator tomonidan aniqlanadi. Nosozliklarni tuzatgandan so'ng, kodning to'g'riligini tekshirish va mahsulotning belgilangan talablarga javob berishini tekshirish uchun tekshirish amalga oshiriladi.
1. Statik sinov usullari
Statik usullar tekshiruvlar o'tkazishda va komponentlarning texnik xususiyatlarini ularni amalga oshirmasdan ko'rib chiqishda qo'llaniladi. Statik tahlil texnikasi dasturlarning tuzilishini uslubiy ko'rib chiqish va tahlil qilish, shuningdek ularning to'g'riligini isbotlashdan iborat. Statik tahlil hayot tsiklining barcha bosqichlarida ishlab chiqilgan hujjatlarni tahlil qilishga qaratilgan bo'lib, dastlabki kodni tekshirish va dasturni oxirigacha nazorat qilishdan iborat.
Dasturiy ta'minotni tekshirish - bu hayot tsikli jarayonlarida dizayn natijalarining turli ko'rinishlarini (hujjatlar, talablar, spetsifikatsiyalar, diagrammalar yoki dasturning manba kodi) tahlil qilish orqali amalga oshiriladigan dasturning berilgan spetsifikatsiyalarga muvofiqligini statik tekshirish. Dizayn natijalarini ko'rib chiqish va tekshirish va ularning mijozlar talablariga muvofiqligi ko'proq narsani ta'minlaydi yuqori sifatli yaratilgan dasturiy tizimlar.
2. Dinamik test usullari
Qora quti usuli. Ushbu usuldan foydalanganda hal qilinayotgan muammo haqidagi ma'lumotlardan foydalaniladi, lekin dasturning tuzilishi haqida hech narsa ma'lum emas. Ushbu printsip bo'yicha testdan maqsad, mumkin bo'lgan kirish ma'lumotlarining kichik to'plamidan foydalangan holda bitta test bilan maksimal xatolar sonini aniqlashdir.
Ushbu printsip bo'yicha test usullari dasturda amalga oshirilgan funktsiyalarni talablarning spetsifikatsiyalarini hisobga olgan holda funktsiyalarning haqiqiy harakati va kutilgan xatti-harakatlar o'rtasidagi nomuvofiqlikni tekshirish orqali sinash uchun ishlatiladi. Ushbu testga tayyorgarlik jarayonida shartlar jadvallari, sabab-ta'sir grafiklari 1 va buzilish joylari quriladi. Bundan tashqari, funktsiyalarning harakatiga ta'sir qiluvchi parametrlar va atrof-muhit sharoitlarini hisobga olgan holda test to'plamlari tayyorlanadi.
Oq quti usuli.
Ushbu usul dasturning ichki tuzilishini o'rganishga imkon beradi va dasturdagi barcha xatolarni aniqlash boshqaruv oqimi yo'nalishlarini to'liq sinovdan o'tkazish mezoni bo'lib, ular orasida quyidagilar ko'rib chiqiladi:
Operatorni qamrab olish mezoni - agregatdagi testlar to'plami har bir operator kamida bir marta o'tishini ta'minlashi kerak;
Filialni sinovdan o'tkazish mezoni (aka qarorni qoplash yoki o'tishni qoplash) - agregatdagi testlar to'plami har bir filial yoki chiqish kamida bir marta o'tkazilishini ta'minlashi kerak.
3. Funktsional test
Funktsional testning maqsadi spetsifikatsiya va dastlabki talablarga muvofiq amalga oshirilgan funktsiyalarning haqiqiy harakati va kutilgan xatti-harakatlar o'rtasidagi nomuvofiqlikni aniqlashdir. Funktsional testlar barcha amalga oshirilgan funktsiyalarni qamrab olishi kerak, bunda xatolarning eng ko'p turlarini hisobga olish kerak. Shaxsiy testlarni birlashtirgan test stsenariylari funktsional muammolarni hal qilish sifatini tekshirishga qaratilgan.
Funktsional testlar dasturlash tilidagi funktsiyalar, dizayn ma'lumotlari va matnlarning spetsifikatsiyalariga muvofiq yaratiladi va funktsional vazifalarni bajarishning to'liqligini va ularning dastlabki talablarga muvofiqligini aniqlash uchun ishlatiladi.
Funktsional test vazifalariga quyidagilar kiradi:
Funktsional talablar to'plamini aniqlash;
Tashqi funksiyalarni aniqlash va ularning dasturiy ta’minot tizimida qo‘llanilishiga muvofiq funksiyalar ketma-ketligini qurish;
Har bir funktsiyaning kirish ma'lumotlari to'plamini aniqlash va ularni o'zgartirish sohalarini aniqlash;
Sinov funktsiyalari uchun test to'plamlari va stsenariylarini qurish;
Sinov holatlari va dasturdagi test xatolaridan foydalangan holda va atrof-muhit bilan o'zaro aloqada bo'lgan barcha funktsional talablarni aniqlash va taqdim etish.
Dizayn ma'lumotlaridan yaratilgan testlar ma'lumotlar tuzilmalari, algoritmlar, alohida komponentlar orasidagi interfeyslar bilan bog'liq bo'lib, komponentlar va ularning interfeyslarini sinash uchun ishlatiladi. Asosiy maqsad - amalga oshirilgan funktsiyalar va ular orasidagi interfeyslarning to'liqligi va izchilligini ta'minlash.
5. ANSI/IEEE xato turlari-7 29 -8 3
Xato (xato) - noto'g'ri natijalar ishlab chiqarilgan dasturning holati, uning sababi dastur bayonotlarida yoki matndagi kamchiliklar (kamchiliklar)dir. texnologik jarayon uning rivojlanishi, bu noto'g'ri talqin qilinishiga olib keladi fon ma'lumotlari, shuning uchun noto'g'ri yechimga olib keladi.
Dasturdagi nuqson (nosozlik) - ishlab chiqishning har qanday bosqichida ishlab chiquvchining xatolarining oqibati, ular asl yoki dizayn spetsifikatsiyalarida, dastur kodlari matnlarida, operatsion hujjatlarda va boshqalarda bo'lishi mumkin. Dasturni bajarish jarayonida nuqson yoki nosozlik aniqlanishi mumkin.
Muvaffaqiyatsizlik (muvaffaqiyatsizlik) - dasturning ishlashidan chetga chiqishi yoki dasturning talablar va cheklovlar bilan belgilangan funktsiyalarni bajara olmasligi, bu dasturning xatolar tufayli ishlamaydigan holatga o'tishiga yordam beradigan hodisa sifatida qaraladi. , undagi yashirin nuqsonlar yoki ishlaydigan muhitdagi nosozliklar. Muvaffaqiyatsizlik quyidagi sabablarga ko'ra bo'lishi mumkin:
Noto'g'ri spetsifikatsiya yoki o'tkazib yuborilgan talab, ya'ni spetsifikatsiya foydalanuvchi niyatini to'g'ri aks ettirmaydi;
Spetsifikatsiyada ushbu apparat va dasturiy ta'minotda bajarilmaydigan talab bo'lishi mumkin;
Dastur dizayni xatolarni o'z ichiga olishi mumkin (masalan, ma'lumotlar bazasi foydalanuvchining ruxsatsiz kirishidan himoya vositalarisiz ishlab chiqilgan, ammo himoya talab qilinadi);
Dastur noto'g'ri bo'lishi mumkin, ya'ni. u noodatiy algoritmni bajaradi yoki u to'liq amalga oshirilmaydi.
Xulosa
Dasturiy ta'minotni tekshirish va sinovdan o'tkazish bilan bog'liq rus GOSTlari ISO 12207, ANSI / IEEE-729-83 va boshqalar kabi "burjua" standartlarining tarjimalari (ularning ko'pi bor). Muammo shundaki, ushbu xalqaro standartlar sinov va tekshirish masalalariga boshqacha munosabatda bo'ladi. Ular bir-biriga mutlaqo zid deb aytmaslik kerak, lekin ular hayratga tushishi mumkin.
Ushbu standartlarning barchasi o'tgan asrning 80-yillarida AQSh kosmik sanoati uchun ishlab chiqilgan. Keyingi yillarda ular tuzatilib, qayta nashr etildi, lekin hujjatlardagi kelishmovchilik va qarama-qarshiliklar saqlanib qoldi.
Xulosa: tekshirish, tekshirish va sinov usullarining tuzilishi shartli sifatida qabul qilinishi kerak.
Bibliografiya
1. Wikipedia.org bepul ensiklopediyasi
2. Kulyamin V.V. Dasturiy ta'minotni tekshirish usullari M.: Tizim dasturlash instituti, 2008 y
3. Lavrishcheva E., Petruxin V. "Dasturlar va tizimlarni tekshirish va sinovdan o'tkazish usullari" ma'ruzasi: NOU "INTUIT" http://www.intuit.ru/studies/professional_retraining/944/courses/237/print_lecture/6130
Allbest.ru saytida joylashgan
...Shunga o'xshash hujjatlar
Dasturiy ta'minotning hayot aylanishi - bu dasturiy ta'minotni yaratish zarurligi to'g'risida qaror qabul qilish bilan boshlanib, uning ishlashdan butunlay voz kechishi bilan yakunlanadigan uzluksiz jarayon. Riley, Leman va Boemning dasturiy ta'minotning hayot aylanishini aniqlashga yondashuvi.
referat, 01/11/2009 qo'shilgan
Dastur ishlab chiqish texnologiyasi tushunchasi. Dasturiy ta'minotni loyihalash asoslari. Dasturiy ta'minotni loyihalash nazariyasini ishlab chiqish jarayonida tarixan paydo bo'lgan hayot tsikli modellari. Spiral (spiral), kaskad va iterativ modellar.
taqdimot, 05/11/2015 qo'shilgan
Rivojlanish tarixi va dasturiy ta'minotni sinovdan o'tkazish turlari. O'rnatish, regressiya, konfiguratsiya, integratsiya, lokalizatsiya, birlik testi. Ishlab chiqilgan dasturni birlik sinovidan o'tkazishning murakkabligini kamaytirish usullari.
muddatli ish, 12/16/2015 qo'shilgan
Dasturiy ta'minotni sinovdan o'tkazish muammosining hal qilinmasligi. Sinov turlari va darajalari. Yuqori va quyi oqim sinov strategiyalari. "Oq" va "qora" quti usullari. Avtomatlashtirilgan va qo'lda sinov. Sinov orqali rivojlanish.
muddatli ish, 2015-03-22 qo'shilgan
Dasturiy ta'minotni loyihalash texnologiyasiga qo'yiladigan talablar (SW). To'liq dasturiy ta'minotning hayot aylanishi bosqichlarining tarkibi va tavsifi. Dasturiy ta'minotning hayot tsikli modellarining tasnifi, ularning xususiyatlari. Dasturiy ta'minotni ishlab chiqish metodologiyasi, ekstremal dasturlash texnikasi.
taqdimot, 19/09/2016 qo'shilgan
Dasturiy ta'minotni sinovdan o'tkazish tarixi, uni amalga oshirishning asosiy maqsadlari va xususiyatlari. Sinov turlari va turlari, uni avtomatlashtirish darajalari. Foydalanish va tadqiqot zarur texnologiyalar. To'liq tsikl butun monitoring tizimini boshqaradi.
dissertatsiya, 05/03/2018 qo'shilgan
Sohadagi asosiy xalqaro standartlar axborot texnologiyalari. xalqaro standart ISO/IEC 9126 Sifat va hayot aylanishi. Sifatning ichki va tashqi atributlarini tavsiflash. Dasturiy ta'minotning funksionalligini tahlil qilish.
hisobot, 06/13/2017 qo'shilgan
Dasturiy injiniringning maqsad va vazifalari. Dasturiy ta'minot tushunchasi. Olti tamoyil samarali foydalanish dasturiy ta'minot. Dasturiy ta'minot turlari: umumiy tizimli, tarmoqli va amaliy. Dasturiy ta'minotni qurish tamoyillari.
muddatli ish, 29.06.2010 qo'shilgan
Hayotiy tsiklning asosiy modellarining umumiy xususiyatlari: kaskad, bosqichma-bosqich, spiral. Dasturiy ta'minotni ishlab chiqish jarayonining bir qismi sifatida, ma'lum bir vaqt oralig'ida cheklangan va ma'lum bir mahsulotni chiqarish bilan yakunlangan bosqich.
taqdimot, 27/12/2013 qo'shilgan
Rossiyani axborotlashtirish. Bozor dasturiy vositalar. Axborotlashtirish sohasida standartlashtirish, sertifikatlashtirish va litsenziyalashning asosiy vazifalari. Dasturiy ta'minotni yaratish uchun muhandislik usullari va vositalari to'plami. Dasturiy ta'minotning hayot aylanishi.
Tasdiqlash va tekshirish dasturiy ta'minotning uning spetsifikatsiyasi va mijozlar talablariga muvofiqligini tasdiqlovchi tekshirish va ko'rib chiqish jarayonlarini anglatadi. Tekshirish va tekshirish dasturiy ta'minotning to'liq hayot tsiklini qamrab oladi - ular talablarni tahlil qilish bosqichida boshlanadi va tayyor dasturiy ta'minot tizimini sinovdan o'tkazish bosqichida dastur kodini tekshirish bilan yakunlanadi.
Tekshirish va attestatsiya bir xil narsa emas, garchi ularni chalkashtirib yuborish oson. Qisqacha aytganda, ular orasidagi farqni quyidagicha aniqlash mumkin:
Tekshirish tizim to'g'ri ishlab chiqilganmi degan savolga javob beradi;
Sertifikatlash tizim to'g'ri ishlaydimi degan savolga javob beradi.
Ushbu ta'riflarga ko'ra, tekshirish dasturiy ta'minotning tizim spetsifikatsiyasiga, xususan, funktsional va funktsional bo'lmagan talablarga muvofiqligini tekshiradi. Sertifikatlash umumiyroq jarayondir. Tasdiqlash vaqtida dasturiy mahsulot mijozning talablariga javob berishiga ishonch hosil qilishingiz kerak. Tasdiqlash tizim nafaqat spetsifikatsiyaga, balki mijozning kutganlariga ham qanday javob berishini aniqlash uchun tekshirishdan so'ng amalga oshiriladi.
Yuqorida aytib o'tilganidek, tizim talablarini tekshirish dasturiy ta'minotni ishlab chiqishning dastlabki bosqichlarida juda muhimdir. Ko'pincha talablarda xato va kamchiliklar mavjud; bunday hollarda, yakuniy mahsulot, ehtimol, mijozning taxminlarini qondirmaydi. Lekin, albatta, talablarni tekshirish talablar spetsifikatsiyasidagi barcha muammolarni ochib bera olmaydi. Ba'zida talablardagi bo'shliqlar va xatolar tizimni amalga oshirish tugallangandan keyingina aniqlanadi.
Tekshirish va tasdiqlash jarayonlari tizimlarni tekshirish va tahlil qilishning ikkita asosiy usulidan foydalanadi.
1. Dasturiy ta'minotni tekshirish. Tizimning turli ko'rinishlarini tahlil qilish va tekshirish, masalan, talablar spetsifikatsiyasi hujjatlari, me'moriy diagrammalar yoki dasturning manba kodi. Tekshiruv dasturiy ta'minot tizimini ishlab chiqish jarayonining barcha bosqichlarida amalga oshiriladi. Tekshiruvga parallel ravishda dasturlarning manba kodini va tegishli hujjatlarni avtomatik tahlil qilish mumkin. Tekshiruv va avtomatlashtirilgan tahlil statik tekshirish va tekshirish usullari hisoblanadi, chunki ular bajariladigan tizimni talab qilmaydi.
2. Dasturiy ta'minot sinovi. Sinov ma'lumotlari bilan bajariladigan kodni ishga tushirish va tizimning to'g'ri ishlashini tekshirish uchun dasturiy mahsulotning chiqishi va ishlashini tekshirish. Sinov - tekshirish va tekshirishning dinamik usuli, chunki u ishlaydigan tizimga qo'llaniladi.
Shaklda. 20.1-rasmda dasturiy ta'minotni ishlab chiqish jarayonida tekshirish va test o'tkazish joyi ko'rsatilgan. Oklar ushbu usullarni qo'llash mumkin bo'lgan rivojlanish jarayonining bosqichlarini ko'rsatadi. Ushbu sxema bo'yicha tekshirish tizimni ishlab chiqish jarayonining barcha bosqichlarida, sinov esa - prototip yoki bajariladigan dastur yaratilganda amalga oshirilishi mumkin.
Tekshiruv usullariga quyidagilar kiradi: dasturni tekshirish, avtomatik manba kodini tahlil qilish va rasmiy tekshirish. Ammo statik usullar faqat dasturlarning spetsifikatsiyaga muvofiqligini tekshirishi mumkin, ulardan tizimning to'g'ri ishlashini tekshirish uchun foydalanish mumkin emas. Bundan tashqari, ishlash va ishonchlilik kabi funktsional bo'lmagan xususiyatlarni statik usullar bilan sinab ko'rish mumkin emas. Shuning uchun, funktsional bo'lmagan xususiyatlarni baholash uchun tizim sinovlari o'tkaziladi.
Guruch. 20.1. Statik va dinamik tekshirish va attestatsiya
Dasturiy ta'minotni tekshirishning keng qo'llanilishiga qaramay, sinov hali ham tekshirish va sertifikatlashning asosiy usuli hisoblanadi. Test - bu tizimning ishlashi davomida qayta ishlanadigan real ma'lumotlarga o'xshash ma'lumotlar bilan dasturlarning ishlashini tekshirish. Dasturda nuqsonlar va talablarga nomuvofiqliklar mavjudligi chiqish ma'lumotlarini o'rganish va ular orasida anomaliyalarni aniqlash orqali aniqlanadi. Sinov tizimni amalga oshirish bosqichida (tizim ishlab chiquvchilarning kutganiga mos kelishini tekshirish uchun) va uni amalga oshirish tugagandan so'ng amalga oshiriladi.
Dasturiy ta'minotni ishlab chiqish jarayonining turli bosqichlarida testning har xil turlari qo'llaniladi.
1. Kamchiliklarni tekshirish dastur va uning spetsifikatsiyasi o'rtasidagi nomuvofiqliklarni aniqlash uchun o'tkaziladi, ular dasturlardagi xatolar yoki nuqsonlar tufayli yuzaga keladi. Bunday testlar tizimdagi xatolarni aniqlash uchun mo'ljallangan, lekin uning ishlashini simulyatsiya qilish uchun emas.
2. Statistik test dasturlarning ishlashi va ishonchliligini, shuningdek tizimning turli ish rejimlarida ishlashini baholaydi. Sinovlar tizimning haqiqiy ishlashini haqiqiy kirish ma'lumotlari bilan taqlid qilish uchun mo'ljallangan. Tizimning ishonchliligi dasturlar ishida qayd etilgan nosozliklar soni bilan baholanadi. Ishlash test ma'lumotlarini qayta ishlashda umumiy ish vaqtini va tizimning javob berish vaqtini o'lchash orqali baholanadi.
asosiy maqsad Tekshirish va malaka - tizimning "maqsadga muvofiqligini" ta'minlash. Dasturiy ta'minot tizimining o'z maqsadiga muvofiqligi uning xatolardan mutlaqo xoli bo'lishi kerakligini anglatmaydi. Aksincha, tizim o'zi mo'ljallangan maqsadlarga juda mos kelishi kerak. Majburiy muvofiqlikning haqiqiyligi tizimning maqsadiga, foydalanuvchi kutishlariga va dasturiy mahsulotlar uchun bozor sharoitlariga bog'liq.
1. Dasturiy ta'minotning maqsadi. Muvofiqlik ishonchliligi darajasi ishlab chiqilgan dasturiy ta'minotning ma'lum mezonlar bo'yicha qanchalik muhimligiga bog'liq. Masalan, xavfsizlik nuqtai nazaridan muhim tizimlar uchun ishonch darajasi ba'zi yangi g'oyalarni namoyish qilish uchun ishlab chiqilayotgan prototip dasturiy ta'minot tizimlariga nisbatan ancha yuqori bo'lishi kerak.
2. Foydalanuvchi taxminlari. Afsuski, hozirgi vaqtda ko'pchilik foydalanuvchilarning dasturiy ta'minotga nisbatan past talablari borligini afsus bilan ta'kidlash kerak. Foydalanuvchilar dasturlar ishlayotgan paytda yuz beradigan nosozliklarga shunchalik ko'nikib qolganki, bundan hayratlanmaydi. Agar ulardan foydalanishning foydasi kamchiliklardan ko'p bo'lsa, ular tizimdagi nosozliklarga toqat qilishga tayyor. Biroq, 1990-yillarning boshidan boshlab, foydalanuvchilarning dasturiy ta'minot tizimlaridagi nosozliklarga tolerantligi asta-sekin pasayib bordi. So'nggi paytlarda ishonchsiz tizimlarni yaratish deyarli qabul qilinishi mumkin emas, shuning uchun dasturiy ta'minotni ishlab chiqish kompaniyalari dasturiy ta'minotni tekshirish va tekshirishga ko'proq e'tibor berishlari kerak.
3. Dasturiy ta'minot bozori sharoitlari. Dasturiy ta'minot tizimini baholashda sotuvchi raqobatdosh tizimlarni, xaridor tizim uchun to'lashga tayyor bo'lgan narxni va ushbu tizim uchun bozorga kutilayotgan vaqtni bilishi kerak. Agar ishlab chiquvchi kompaniyaning bir nechta raqobatchilari bo'lsa, to'liq sinov va disk raskadrovka tugagunga qadar tizimning bozorga kirish sanasini aniqlash kerak, aks holda raqobatchilar bozorga birinchi bo'lib kirishlari mumkin. Agar mijozlar dasturiy ta'minotni yuqori narxda sotib olishni istamasalar, ular ko'proq tizim nosozliklariga toqat qilishga tayyor bo'lishi mumkin. Tekshirish va malakaviy jarayonning xarajatlarini aniqlashda ushbu omillarning barchasini hisobga olish kerak.
Qoida tariqasida, tekshirish va attestatsiya paytida tizimda xatolar topiladi. Xatolarni tuzatish uchun tizimga o'zgartirishlar kiritiladi. Bu disk raskadrovka jarayoni odatda boshqa tekshirish va attestatsiya jarayonlari bilan birlashtiriladi. Biroq, test (yoki umuman olganda, tekshirish va tekshirish) va disk raskadrovka turli maqsadlarga ega bo'lgan turli jarayonlardir.
1. Tekshirish va tekshirish - bu dasturiy tizimdagi nuqsonlarni aniqlash jarayoni.
2. Nosozliklarni tuzatish - nuqsonlarni (xatolarni) lokalizatsiya qilish va ularni tuzatish jarayoni (20.2-rasm).
Guruch. 20.2. Nosozliklarni tuzatish jarayoni
Dasturlarni disk raskadrovka qilishning oddiy usullari mavjud emas. Tajribali tuzatuvchilar test chiqish namunalarini sinovdan o'tayotgan tizimlarning chiqishi bilan solishtirish orqali xatolarni topadilar. Xatoni topish uchun xato turlarini, chiqish naqshlarini, dasturlash tilini va dasturlash jarayonini bilish kerak. Dasturiy ta'minotni ishlab chiqish jarayonini bilish juda muhimdir. Nosozliklarni tuzatuvchilar eng keng tarqalgan dasturlash xatolaridan xabardor (masalan, hisoblagichni oshirish). Shuningdek, u ba'zi dasturlash tillari uchun xos bo'lgan xatolarni, masalan, C tilida ko'rsatgichlardan foydalanish bilan bog'liq xatolarni hisobga oladi.
Dastur kodidagi xatolarni aniqlash har doim ham oddiy jarayon emas, chunki xato dastur kodidagi nosozlik sodir bo'lgan nuqtaga yaqin joylashgan bo'lishi shart emas. Xatolarni ajratish uchun tuzatuvchi dasturdagi xato manbasini aniqlashga yordam beradigan qo'shimcha dasturiy ta'minot testlarini ishlab chiqadi. Dasturning bajarilishini qo'lda kuzatishingiz kerak bo'lishi mumkin.
Interaktiv disk raskadrovka vositalari kodlarni kompilyatsiya qilish tizimi bilan birlashtirilgan tilni qo'llab-quvvatlash vositalari to'plamining bir qismidir. Ular maxsus dasturni bajarish muhitini ta'minlaydi, bu orqali siz identifikatorlar jadvaliga va u erdan o'zgaruvchilar qiymatlariga kirishingiz mumkin. Foydalanuvchilar ko'pincha dasturning bajarilishini bosqichma-bosqich, ketma-ketlikda bayonotdan bayonotga qadam bosgan holda nazorat qiladilar. Har bir bayonot bajarilgandan so'ng, o'zgaruvchilarning qiymatlari tekshiriladi va mumkin bo'lgan xatolar aniqlanadi.
Dasturda topilgan xatolik tuzatiladi, shundan so'ng dasturni qayta tekshirish kerak bo'ladi. Buning uchun dasturni qayta tekshirishingiz yoki oldingi testni takrorlashingiz mumkin. Qayta sinovdan o'tkazish dasturga kiritilgan o'zgartirishlar tizimga yangi xatolar kiritmasligiga ishonch hosil qilish uchun qo'llaniladi, chunki amalda "xatolarni tuzatish" ning yuqori foizi to'liq bajarilmaydi yoki dasturga yangi xatolar kiritiladi.
Asosan, har bir tuzatishdan so'ng qayta sinovdan o'tkazish paytida barcha testlarni qayta o'tkazish kerak, ammo amalda bu yondashuv juda qimmat. Shuning uchun, test jarayonini rejalashtirishda tizimning qismlari o'rtasidagi bog'liqliklar aniqlanadi va har bir qism uchun testlar tayinlanadi. Keyin ushbu elementlar uchun tanlangan maxsus test holatlari (nazorat ma'lumotlari) yordamida dastur elementlarini kuzatish mumkin. Agar kuzatuv natijalari hujjatlashtirilgan bo'lsa, u holda o'zgartirilgan dastur elementini va unga bog'liq komponentlarni sinab ko'rish uchun test ma'lumotlarining umumiy to'plamining faqat bir qismidan foydalanish mumkin.
Tekshirish va attestatsiyani rejalashtirish
Tasdiqlash va tekshirish qimmat jarayondir. Murakkab funktsional bo'lmagan cheklovlarga ega real vaqt tizimlari kabi yirik tizimlar uchun tizimni ishlab chiqish byudjetining yarmi tekshirish va tasdiqlash jarayoniga sarflanadi. Shuning uchun bu jarayonni puxta rejalashtirish zarurati aniq.
Dasturiy ta'minot tizimlarini ishlab chiqishning bir qismi sifatida tekshirish va tekshirishni rejalashtirish imkon qadar erta boshlanishi kerak. Shaklda. 20.3-rasmda testni rejalashtirish jarayonini hisobga olgan dasturiy ta'minotni ishlab chiqish modeli ko'rsatilgan. Bu erda rejalashtirish spetsifikatsiya va tizimni loyihalash bosqichlaridayoq boshlanadi. Ushbu model ba'zan V-model deb ataladi (V ni ko'rish uchun 20.3-rasmni 90 ° ga aylantiring). Ushbu diagramma, shuningdek, tekshirish va attestatsiya jarayonining har bir bosqichda o'tkaziladigan tegishli testlar bilan bir necha bosqichlarga bo'linishini ko'rsatadi.
Guruch. 20.3. Rivojlanish va sinov paytida testlarni rejalashtirish
Tekshirish va sertifikatlashni rejalashtirish jarayonida tizimni tekshirishning statik va dinamik usullari o'rtasidagi bog'liqlikni aniqlash, dasturiy ta'minotni tekshirish va sinovdan o'tkazish standartlari va tartiblarini aniqlash, tasdiqlash kerak. texnologik xarita dasturiy ta'minotni ko'rib chiqish (19.2-bo'limga qarang) va dasturiy ta'minotni sinovdan o'tkazish rejasini ishlab chiqish. Tekshiruv yoki sinov muhimroq bo'ladimi, ishlab chiqilayotgan tizim turiga va tashkilot tajribasiga bog'liq. Tizim qanchalik tanqidiy bo'lsa, statik tekshirish usullariga ko'proq e'tibor qaratish lozim.
Tekshirish va tasdiqlash rejasi maxsus testlarni tavsiflashdan ko'ra sinov jarayoni standartlariga qaratilgan. Ushbu reja nafaqat yo'l-yo'riq, balki tizimni ishlab chiqish va sinovdan o'tkazish bo'yicha mutaxassislar uchun mo'ljallangan. Reja texnik xodimlarga tizim sinovlari haqida to'liq tasavvurga ega bo'lish va shu nuqtai nazardan o'z ishlarini rejalashtirish imkonini beradi. Bundan tashqari, reja test guruhining barcha zarur apparat va dasturiy ta'minotga ega bo'lishini ta'minlash uchun mas'ul bo'lgan menejerlarga ma'lumot beradi.
Sinov rejasi qat'iy hujjat emas. Uni muntazam ravishda ko'rib chiqish kerak, chunki test tizimni amalga oshirish jarayoniga bog'liq. Misol uchun, agar tizimning ba'zi bir qismini amalga oshirish tugallanmagan bo'lsa, unda tizimni yig'ishni sinab ko'rish mumkin emas. Shuning uchun, rejani vaqti-vaqti bilan ko'rib chiqish kerak, shunda test xodimlari boshqa ishlarda foydalanishlari mumkin.
Tasdiqlash va tekshirishning ikkita tushunchasi ko'pincha chalkashib ketadi. Bundan tashqari, tizim talablarini tekshirish ko'pincha tizimni tekshirish bilan aralashtiriladi. Men bu masalani ko'rib chiqishni taklif qilaman.
Maqolada men ob'ektni modellashtirishning ikkita yondashuvini ko'rib chiqdim: yaxlit va tuzilma sifatida. Hozirgi maqolada bizga ushbu bo'linish kerak bo'ladi.
Aytaylik, bizda ishlab chiqilgan funktsional ob'ekt bor. Ushbu ob'ektni biz boshqa funktsional Ob'ektni qurishning bir qismi sifatida ko'rib chiqaylik. Ob'ektning konstruktsiyasining tavsifi bo'lsin, unda ob'ektning tavsifi mavjud bo'lsin. Bunday tavsifda ob'ekt bir butun sifatida tavsifga ega, ya'ni uning boshqa ob'ektlar bilan o'zaro ta'sir qilish interfeyslari Ob'ektni qurish doirasida tasvirlangan. Ob'ektning struktura sifatida tavsifi berilsin. Ob'ektning struktura sifatida tavsifini loyihalash uchun talablarni o'z ichiga olgan axborot ob'ekti bo'lsin. Xulosa qilish qoidalarini o'z ichiga olgan bilimlar to'plami mavjud bo'lsin, ular asosida ob'ektning struktura sifatida tavsifi ob'ektni bir butun sifatida tavsiflashdan olinadi. Bilimlar to'plami dizaynerlarga institutlarda o'rgatilgan narsa - juda ko'p, ko'p bilim. Ular ob'ekt haqidagi bilimlar asosida uning tuzilishini loyihalash imkonini beradi.
Demak, boshlashingiz mumkin. Biz shuni ta'kidlashimiz mumkinki, agar ob'ekt bir butun sifatida to'g'ri tasvirlangan bo'lsa, bilimlar to'plami to'g'ri bo'lsa va xulosa qilish qoidalariga rioya qilingan bo'lsa, u holda ob'ekt qurilishining natijaviy tavsifi to'g'ri bo'ladi. Ya'ni, ushbu tavsif asosida mos keladigan funktsional ob'ekt real sharoitlar operatsiya. Qanday xavflar paydo bo'lishi mumkin:
1. Ob'ekt haqida noto'g'ri bilimlardan foydalanish. Odamlar ongidagi Ob'ekt modeli haqiqatga mos kelmasligi mumkin. Ular, masalan, zilzilalarning haqiqiy xavfini bilishmagan. Shunga ko'ra, ob'ektga qo'yiladigan talablar noto'g'ri tuzilgan bo'lishi mumkin.
2. Ob'ekt haqidagi bilimlarning to'liq bo'lmaganligi - nimadir o'tkazib yuborilgan, xatolarga yo'l qo'yilgan. Misol uchun, ular shamollar haqida bilishgan, lekin uni eslatishni unutishgan. Bu ob'ektga qo'yiladigan talablarning etarli darajada to'liq tavsiflanmaganligiga olib kelishi mumkin.
3. Noto'g'ri bilimlar to'plami. Bizga massaning boshqa parametrlardan ustunligi o'rgatilgan, ammo biz tezlikni oshirishimiz kerak edi.
4. Ob'ekt tavsifiga xulosa chiqarish qoidalarini noto'g'ri qo'llash. Mantiqiy xatolar, ob'ekt dizayniga qo'yiladigan talablarda biror narsa etishmayapti, talablar izi buzilgan.
5. Tizimni loyihalash bo'yicha olingan xulosalarni to'liq qayd etmaslik. Hamma narsa hisobga olindi, hamma narsa hisoblandi, lekin ular yozishni unutishdi.
6. Yaratilgan tizim tavsifga mos kelmaydi.
Ko'rinib turibdiki, barcha loyiha artefaktlari, qoida tariqasida, to'ldirilgan shaklda faqat loyiha oxirida paydo bo'ladi va hatto har doim ham emas. Ammo, agar biz rivojlanishni sharshara deb hisoblasak, unda xavflar men ta'riflaganimdek. Har bir xavfni tekshirish - bu nom berilishi mumkin bo'lgan maxsus operatsiya. Agar kimdir qiziqsa, siz ushbu shartlarni o'ylab topishga harakat qilishingiz mumkin.
Tekshirish nima? Rus tilida tekshirish - bu qoidalarga muvofiqligini tekshirish. Qoidalar hujjat shaklida. Ya'ni, hujjatlar talablari bilan hujjat bo'lishi kerak. Agar hujjatlar ushbu hujjat talablariga javob bersa, u tekshiruvdan o'tgan.
Tasdiqlash nima? Rus tilida tasdiqlash - bu xulosalarning to'g'riligini tekshirish. Ya'ni, ob'ekt ma'lumotlari asosida dizayn tavsifini qanday olishni tavsiflovchi bilimlar to'plami bo'lishi kerak. Ushbu xulosalarni qo'llashning to'g'riligini tekshirish validatsiya hisoblanadi. Tasdiqlash, boshqa narsalar qatori, tavsifning izchilligi, to'liqligi va tushunarliligini tekshirish.
Talablarni tekshirish ko'pincha ushbu talablar asosida yaratilgan mahsulotni tekshirish bilan aralashtiriladi. Buni qilishga arzimaydi.
