Dastur effektivligi. Dasturni optimallashtirish. Dastur modifikatsiyasi

Dastur effektivligi. Dasturni optimallashtirish. Dastur modifikatsiyasi Reja: 1. Dastur vositasini kuzatib borishni ta'minlash. 2. Dastur vositasini kuzatib borishni ta'minlash. 3. DT ishonchliligi.Xatolar.himoyalangan dasturlar 4. DT testlash. Testlash pritsiplari va usullari. Testlash bosqichlari. Testlash aksiomalari. 5. DT ishlatish.Tegishli hujjatlar.Ishlatishga ko'rsatmalar 6. Ichki spetsifikatsiya hujjati Foydalanishning engilligi, malum darajada, fodalanilayotgan hujjatlarning tarkibi va sifati bilan, shu bilan birga dasturlash yo'li bilan amalga oshiriladigan bazi xossalari orqali aniklanadi. Foydalanilayotgan hujjatlashtirish, DV larning, P-hujjatlanganlik va axborotlanganlik deb ataluvchi, sifat primitivlari bilan bog'liqdir. Uning sifatini ta'minlash bilan texnik yozuvchilar shugullanadilar. Bu masala keyingi ma'ruzada muxokama kilinadi. Shu bilan bog'liq, hozirgi vaqtda keng qo'llaniladigan foydalanuvchini interaktiv rejimda axborotlashtirish, yo'liga ahamiyat berishimiz kerak, yondashuviga (DV dasturlarini qo'llash jarayonida). Bunday axborotlashtirish ko'p xollarda, foydalanuvchi uchun avtonom hujjatlashtirishga Karaganda kulay bo'ladi, chunki foydalanuvchiga xech qanday kidiruvsiz, kontekstini chakirib, zarur ; axborotni chakirishga imkon beradi. Foydalanuvchini bunday axborotlashtirish, juda perspektiv hisoblanadi. DV sining kommunakabellik, mustahkamlilik va himoyalanganlik sifat primitivlari dasturlash yo'li bilan amalga oshiriladi. mustahkamlik va himoyalanganlikni ta'minlash, oldingi ma'ruzada ko'rib chiqilgan. Maxsus vaziyatlarni qayta ishlashni mos amalga oshirish va mos foydalanadigan interfeys yaratish yo'llari bilan kommunakabellik ta'minlanadi. ko'p xollarda maxsus vaziyatlarni qayta tiklashning manosi, foydalanuvchini, dastur bajarilayotganliligi to'g'risida, axborotlashtirish zaruriyati paydo bo'lganligini bildiradi. Bunda foydalanuvchiga berilayotgan axborotni tushunish uchun sodda bo'lishi kerak. Ammo, maxsus vaziyatlar, dasturning modul tarkibini etarli past darajasida namoyon bo'ladi, foydalanuvchiga tushunarli bo'lgan xabarni shu maxsus holat paydo bo'lishiga olib kelgan, harakatlar aktivlashtirilgan, kontekst malum bo'lgan, tarkibning yuqori darajalarida tuzish mumkin. boshqa modulda paydo buladigan maxsus holatlarni qayta ishlash uchun sodda bo'lmagan yechimlarni kabul qilish kerak. Paydo bo'lgan maxsus vaziyat haqidagi axborotni dastur modullariga uzatishning murojat tizimlari bo'yicha ko'p kullanadigan usuli juda dagaldir: u moduldan kaytishda qo'shimcha tekshirishlarni talab qiladi va shu modulga murojatni, qo'shimcha parametrlar hisobiga qiyinlashtiradi. Dastur bajarilish operatsiyasi muhitiga shu axborotni, maxsus xollarni qayta ishlovchilariga, shunday qayta ishlovchilardan dinamik tuzilgan navbat bo'yicha to'g'ri uzatish esa xotiraning umumiy sarfiga jiddiy ta'sir kursatadilar, bunda ular DV sining ish vaqtiga kuzga kurinarli ta'sir kilmaydi. Bundan tashqari, bu ta'sirni(eng avval, vaqt effektivlikka nisbatan) oldindan (DV sini amalga oshirish tugaguncha) doim to'g'ri baholay olmaymiz. TTu aytilganlarni hisobga olib DVsi effektivligini ta'minlash uchun quyidagi prinsiplarga amal qilish tavsiya kilinadi : Oldin ishonchli DV sini ishlab chiqish kerak, keyin esa uning sifat spetsifikatsiyasiga mos talab darajasiga, uning effektivligini oshirish bilan shugullanish kerak. DV si effektivligini oshirish uchun eng avval, optimallashtiruvchi kompilyatordan foydalanish kerak, bu talab kilinayotgan effektivlikni ta'minlashi mumkin. Agar DV si effektivligi uning spetsifikatsiyasini kanoatlantirmasa, talab ...