Bajardi: Tolliboyev o tekshirdi

Muammoni hal qilish uchun vaqtni nazorat qilish va chiqish natijalarining chastotasi, hisoblash jarayonining to'g'riligini aniqlash tamoyillaridan biridir. Yechim muddatining haddan tashqari ko'payishi dasturning "velosipedini" ko'rsatadi. Xuddi shu maqsadga real vaqt tizimlarida ishlatiladigan marker impulslari (yoki vaqt belgilari) xizmat qiladi. Marker impulslari ko'rsatmalar ketma-ketligidagi xato tufayli protsessorning to'xtab qolishi yoki noto'g'ri hisoblash davrlarini bajarishining oldini olish uchun ishlatiladi. Ular butun algoritm uchun ham, alohida bo'limlar uchun ham qo'llaniladi.
Ushbu usullarni amalga oshirish boshqa dasturlarning uzilishlarini hisobga olgan holda eng uzun buyruq marshrutini aniqlashdan iborat. Protsessorning bir qismi sifatida dastur vaqtini hisoblagich ishlatiladi, unda dasturni amalga oshirish uchun ruxsat etilgan maksimal vaqt o'rnatiladi. Hisoblagich nolga yetganda, ruxsat etilgan nazorat vaqtidan oshib ketish uchun signal hosil bo'ladi, bu dasturning uzilishini ta'minlaydi. Buyruqlarni bajarish ketma-ketligini nazorat qilish va ikki usulda amalga oshiriladi. Dastur bo'limlarga bo'lingan va har bir bo'lim uchun konvolyutsiya hisoblab chiqiladi (operatorlar sonini hisoblash, imzoni tahlil qilish usuli bilan, kodlar yordamida). Keyin dasturning izi olinadi va buning uchun konvolyutsiya hisoblab chiqiladi va oldindan hisoblangan bilan solishtiriladi. Yana bir usul - har bir bo'limga ma'lum bir kod so'zi (sayt kaliti) tayinlangan. Ushbu kalit tanlangan operativ xotira katakchasiga bo'limning bajarilishi boshlanishidan oldin yoziladi, bo'limning oxirgi buyruqlaridan biri "uning" kalitining mavjudligini tekshiradi. Agar kod so'zi bo'limga mos kelmasa, unda xatolik mavjud. Tarmoqli dasturlarning tugunlari takroriy hisoblash yo'li bilan tekshiriladi va faqat bitta filialni tanlash tugmalar yordamida tekshiriladi. Dasturning tsiklik bo'limlarini boshqarish qo'shimcha dastur hisoblagichini tashkil etish tufayli tsiklning takrorlanish sonini tekshirishdan iborat.
Da sinov nazorati tugunlarni, qurilmalarni va umuman tizimni tekshirish maxsus jihozlar - sinov effektlari generatorlari va chiqish reaktsiyalari analizatorlari yordamida amalga oshiriladi. Qo'shimcha jihozlarga bo'lgan ehtiyoj va vaqt xarajatlari (muntazam (sinov paytida ishlash) mumkin emasligi) sinov usullaridan foydalanishni cheklaydi.