Rasmiy usullar Statik tahlil vositalari
Qopqoqlik
lint va lock_lint Sun Studio bilan kiritilgan
T-SQL Analyzer ko'rish mumkin bo'lgan vositadir dasturiy modullar Microsoft SQL Server 2005 yoki 2008 bilan ishlaydigan ma'lumotlar bazalarida va kod sifati pastligi bilan bog'liq potentsial muammolarni aniqlang.
AK-VS
Shuningdek qarang
PL ning rasmiy semantikasi
Dasturiy ta'minot tahlili
Sekin-asta degradatsiya
SPARK - JAP
Eslatmalar Havolalar
Wikimedia fondi. 2010 yil.
Boshqa lug'atlarda "Statik kod tahlili" nima ekanligini ko'ring:
- (English Dynamic program analysis) dasturlarni real yoki virtual protsessorda ishga tushirish orqali amalga oshiriladigan dasturiy tahlil (dasturlarni ishga tushirmasdan bajariladigan tahlil statik kod tahlili deb ataladi). Utilitalar ...... Vikipediya
Boshqarish oqimini tahlil qilish - bu dasturni bajarish tartibini aniqlash uchun statik kod tahlili. Amalga oshirish tartibi boshqaruv oqimi grafigi sifatida ifodalanadi. Ko'pgina tillar uchun boshqaruv oqimi grafigi manba kodida aniq ko'rinadi ... ... Vikipediya
Bu atamaning boshqa maʼnolari ham bor, qarang: BLAST (maʼnolari). BLAST tipidagi statik tahlil vositalari Dirk Beyer, Tomas Xenzinger, Ranjit Jala, Rupak Majumdar, Berkli tomonidan yaratilgan. Operatsion tizim Linux, Microsoft Windows ... ... Vikipediya
Quyidagi jadvallar birlashtirilgan ishlab chiqish vositalari bo'lgan dasturiy ta'minot paketlarini o'z ichiga oladi. Alohida kompilyatorlar va tuzatuvchilar haqida gapirilmagan. Ehtimol, ingliz bo'limida eng so'nggi ma'lumotlar mavjud. Mundarija 1 ActionScript 2 Ada 3 ... Vikipediya
Nosozliklarni tuzatish - bu kompyuter dasturini ishlab chiqish bosqichi bo'lib, unda xatolar aniqlanadi, mahalliylashtiriladi va yo'q qilinadi. Xato qaerda sodir bo'lganligini tushunish uchun siz: o'zgaruvchilarning joriy qiymatlarini bilib olishingiz kerak; qaysi yo'ldan yurganini bilib oling ... ... Vikipediya
Turi Statik kod analizatori Developer lab BiPro C++ da yozilgan Operatsion tizim Platformalararo interfeys tillari Inglizcha ... Vikipediya
Asl maqolani Wayback Machine - Internet Archive: Static Code Analysis yordamida topish mumkin.
Chunki bizning saytimizdagi barcha maqolalar rus tilida va Ingliz tili, keyin biz "Statik kod tahlili" maqolasini rus tiliga tarjima qildik. Shu bilan birga, biz uni Habré-da nashr etishga qaror qildik. Ushbu maqolaning qayta hikoyasi allaqachon bu erda nashr etilgan. Lekin ishonchim komilki, ko‘pchilik tarjimani o‘qishga qiziqadi.
Menimcha, dasturchi sifatida so‘nggi yillarda erishgan eng muhim yutug‘im statik kod tahlili usuli va uni faol qo‘llash bilan tanishganimdir. Gap uning sharofati bilan koddan tashqarida qoldirilgan yuzlab jiddiy xatolar haqida emas, balki bu tajriba mening dasturchimning dunyoqarashida ishonchlilik va dasturiy ta'minot sifati masalalariga olib kelgan o'zgarishlar haqida.
Darhol ta'kidlash kerakki, hamma narsani sifatga tushirish mumkin emas va buni tan olish sizning axloqiy tamoyillaringizga xiyonat qilishni anglatmaydi. Qiymat siz yaratgan mahsulotga ega va kodning sifati uning tarkibiy qismlaridan faqat bittasi va narxi, funksionallik va boshqa xususiyatlar. Dunyo xatolar bilan to'ldirilgan va cheksiz tushib ketadigan juda ko'p muvaffaqiyatli va hurmatli o'yin loyihalarini biladi; va ular kosmik kemalar uchun dasturiy ta'minot yaratgandek jiddiylik bilan o'yin yozishga yondashish ahmoqlik bo'lardi. Shunga qaramay, sifat, shubhasiz, muhim komponent hisoblanadi.
Men har doim yaxshi kod yozishga harakat qilganman. Tabiatan men hunarmandga o'xshayman, u doimo biror narsani yaxshilash istagi bilan boshqariladi. Men Strategiyalar, Standartlar va Sifat rejalari kabi zerikarli bo'limlar sarlavhalari bilan kitoblarni o'qidim va Armadillo Aerospace-da ishlash xavfsizlik talablari ortib borayotgan dasturiy ta'minotni ishlab chiqishning butunlay boshqa dunyosiga eshikni ochdi.
O'n yildan ko'proq vaqt oldin, biz Quake 3-ni ishlab chiqayotganimizda, men PC-Lint uchun litsenziya sotib oldim va uni o'z ishimda ishlatishga harakat qildim: koddagi nuqsonlarni avtomatik aniqlash g'oyasi meni o'ziga tortdi. Biroq, buyruq satridan ishga tushirish va diagnostika xabarlarining uzun ro'yxatini ko'rib chiqish zarurati meni ushbu vositadan foydalanishdan qaytardi va men tez orada undan voz kechdim.
O'shandan beri dasturchilar soni ham, kodlar bazasining hajmi ham kattalik darajasida o'sdi va dasturlashga urg'u C dan C ++ ga o'tdi. Bularning barchasi dasturiy xatolar uchun ancha qulay zamin tayyorladi. Bir necha yil oldin, zamonaviy statik kod tahlili bo'yicha ilmiy maqolalar to'plamini o'qib chiqqanimdan so'ng, men PC-Lint bilan ishlashga urinib ko'rganimdan so'ng, so'nggi o'n yil ichida bu sohada qanday o'zgarishlar bo'lganini tekshirishga qaror qildim.
O'sha paytda bizning kodimiz ogohlantirishlarning 4-darajasida tuzilgan edi, biz esa faqat bir nechta yuqori ixtisoslashtirilgan diagnostikani o'chirib qo'ydik. Ushbu yondashuv bilan - har bir ogohlantirishni bila turib xato deb hisoblash - dasturchilar ushbu siyosatga qat'iy rioya qilishga majbur bo'lishdi. Garchi bizning kodimiz yillar davomida har xil "axlat" to'plangan bir nechta changli burchaklarni topa olgan bo'lsa-da, umuman olganda, u juda zamonaviy edi. Bizda juda yaxshi kod bazasi bor deb o'yladik.
Do'stlaringiz bilan baham: |