Tekshirish, sinov

Маршруты Birinchi turdagi marshrutlar odatda mantiqan sodda va ikkinchisidan qisqartiriladi­va ma'lum bir uzluksiz jismoniy xususiyatlarni (doimiy o'zgaruvchilar) o'lchash natijalari bilan Kvan bo'lgan miqdorlarni konvertatsiya qilish uchun mo'ljallangan. Bunday o'zgaruvchining qiymatlariYumshoqlikning shartlari bilan bog'liq, ya'ni­.ushbu o'zgaruvchining ishlab chiqarishidagi kichik o'zgarishlar shartlari vaqt yoki boshqa parametrlar bo'yicha. Hisoblash marshrutlarining murakkabligini baholashda hisoblash bilan shug'ullanadigan operandlar sonini hisobga olish kerak. Bundan tashqari, sinov paytida dastlabki va­natija beruvchi ma'lumotlar bir nechta qiymatlarni qabul qilishi kerak­. Dastlabki o'zgaruvchilar butun oralig'ida­bir necha xarakterli nuqtalarni (marginal qiymatlar va bir nechta­oraliq) tanlashingiz kerak, unda dastur tekshiriladi. Insonlardax qiymatlari va o'zgaruvchining kombinatsiyasi va funktsiyaning buzilish nuqtalarida­planiro qo'shimcha tekshiruvlarni kiritish kerak. Shunday qilib,­grammnogo moduli haqida tekshirish murakkabligiМ_х исполнения программы и числом обрабатываемых , bu yo'nalishda har bir boshlang'ich y-chi qiymati uchun qadriyatlar soni ko'paytiriladi har z-m marshr te kuni, m x dastur bajarish va qayta operand soni yo'nalishlar soni bilan belgilanadi­:
M_x ^li
^Sx=2^E^sij- (13.2)
/=1 7=1
Ushbu sxema bo'yicha dasturiy modulni sinovdan o'tkazishning murakkabligi indikatorini hisoblash неопределенsinovdagi­dastlabki_{ma'lumotlarni o'zgartirganda s/7 qiymatlari} (asosan maxsus nuqtalar)sonining ko'pligi tufayli sezilarli darajada aniqlanmagan. Shu bilan birga, ko'plab murakkab PSLARDA hisoblash qismining ulushi nisbatan kichikdir.
Marshrutlarning ikkinchi turi является результатом функционироqaror qabul qilish sxemalarini ishlab chiqish va mantiqiy o'zgaruvchilarni o'zgartirish natijasidir. Mantiqiy o'zgaruvchilar uchun qo'shni qadriyatlar o'rtasida kuchli korrelyatsiya aloqasi yo'q va o'zgaruvchining har bir o'zgarishi­natijada paydo bo'lgan qiymatlarning turli sohalarini aniqlashi mumkin.O'zgaruvchilar bu aylantirish murakkab mantiqiy struk turi bilan algoritmlarni tomonidan taqdim­etiladi, mantiqiy sharoitlar tekshirishlar bir qator o'z ichiga olgan, o'zgaruvchilar qidirish va tanlash uchun ko'chadan, shuningdek, o'zgaruvchilar mantiqiy o'zgarishlar. Natijada, dastur dastlabki ma'lumotlarni qayta ishlash uchun ko'plab marshrutlarni tashkil etadi, bu dastur strukturasining murakkabligini aniqlaydi.