Amaliy ish 1 Mavzu: Loyixaviy takliflar va jamoalar. Biznes ilovalarni ulashish buyicha misollar. Ishdan maqsad: topshiriq

Yakuniy izohlar

Statik tahlil vositalari dasturlash xatolarini kod bajarilishidan oldin ham aniqlay oladi. Hatto bloklarni sinovdan o'tkazish, tizimni sinovdan o'tkazish bosqichlarida, shuningdek, integratsiya bosqichida aniqlanmaydigan xatolar ham topiladi, chunki murakkab ilovalar uchun kodni to'liq qamrab olish juda qiyin va bu katta xarajatlarni talab qiladi. Bundan tashqari, ishlab chiqish guruhlari yangi kodning har bir bo'lagi tahlil qilinishini ta'minlash uchun muntazam tizim qurish paytida statik tahlil vositalaridan foydalanishlari mumkin.
Shu bilan birga, dinamik tahlil vositalari dasturni bajarish jarayonida yuzaga keladigan xatolar (yoki potentsial muammolarni) ishlab chiqish muhitiga hisobot berish orqali integratsiya va sinov bosqichlarini qo'llab-quvvatlaydi. Ushbu vositalar, shuningdek, xato sodir bo'lgan joyni to'liq kuzatish imkonini beradi. Ushbu ma'lumotlardan foydalanib, ishlab chiquvchilar dasturning sirli nosozliklarini yoki tizimdagi nosozliklarni o'limdan keyingi tuzatishni ancha qisqa vaqt ichida amalga oshirishlari mumkin. Stack va o'zgaruvchan izlar orqali dinamik tahlil yordamida muammoning asosiy sabablarini aniqlash mumkin - bu baxtsiz hodisalarning oldini olish va ularni bartaraf etish uchun hamma joyda "if (ptr != NULL)" iboralarini ishlatishdan ko'ra yaxshiroqdir.
Erta aniqlash, yaxshiroq va to'liq kod sinovini qamrab olish va xatolarni tuzatishdan foydalanish ishlab chiquvchilarga qisqa vaqt ichida sifatli dasturiy ta'minotni yaratishga yordam beradi.

Bibliografiya

• 
  Eigler, Frank Ch., "Mudflap: C/C++ uchun ko'rsatgichdan foydalanishni tekshirish", GCC ishlab chiquvchilari sammiti 2003 yil, bet. 57-70. http://www.linux.org.uk/~ajh/gcc/gccsummit-2003-proceedings.pdf
  
• 
  "Uyma tahlili: xotira xatolarini o'tmishdagi narsaga aylantirish", QNX Neutrino RTOS dasturchi qo'llanmasi. http://pegasus.ott.qnx.com/download/download/16853/neutrino_prog.pdf
  

QNX dasturiy ta'minot tizimlari haqida

QNX Software Systems — Harman International sho‘ba korxonasi va o‘rnatilgan tizimlar, jumladan, o‘rta dastur, ishlab chiqish vositalari va operatsion tizimlar uchun innovatsion texnologiyalarni yetkazib beruvchi yetakchi global provayderi. QNX® Neutrino® RTOS, QNX Momentics® Development Kit va QNX Aviage® o'rta ta'minoti modulli arxitekturaga asoslangan bo'lib, yuqori samarali o'rnatilgan tizimlarni yaratish uchun eng ishonchli va kengaytiriladigan dasturiy ta'minot to'plamini tashkil qiladi. Cisco, Daimler, General Electric, Lockheed Martin va Siemens kabi yetakchi global kompaniyalar QNX texnologiyalaridan tarmoq marshrutizatorlari, tibbiy asboblar, avtomobil telematik qurilmalari, xavfsizlik va xavfsizlik tizimlari, sanoat robotlari va boshqa muhim va muhim ilovalarda keng foydalanmoqda. vazifalar. Kompaniyaning bosh ofisi Ottavada (Kanada), mahsulot distribyutorlari esa dunyoning 100 dan ortiq mamlakatlarida joylashgan.