Modul 07 / 8
Avtomatik sübut və statik analiz
İnsan diqqəti tükənir, yoxlama tükənmir. Çətinliklə öyrənilən hər dərs bir yoxlamaya çevrilir və AI nə qədər sürətli yazsa da, köhnə xəta səssizcə geri qayıda bilmir.
0/3
Modula başlaDərslər
Yanlış inanclar
Bunlara çox adam inanır. Hər biri oxunmuş bir qaydanın tətbiq olunmasına mane olur.
«Test yazmağa vaxt yoxdur.»
Vaxt onsuz da xərclənir — hər dəfə eyni şeyi əllə yoxlayarkən. Fərq odur ki, əl yoxlaması yorulanda dayanır, yoxlama isə yox.
«Build keçdi, deməli işləyir.»
Build kompilyasiyanı sübut edir, davranışı yox. Əvvəl uğursuz olub sonra keçən bir yoxlama — dəlil budur.
«Testləri AI yazdı, iş bitdi.»
Uğursuz ola bildiyini görmədiyin test nəyi qoruduğunu bilmir. Qaydanı qəsdən poz və qırmızı olduğunu gör.
Əməliyyat kartı
Nə vaxt: Xəta düzəldəndə
Düzəliş kartı
- 1Xətanı təkrarla: hansı addımlar, hansı məlumat?
- 2Onu tutan yoxlama yaz və uğursuz olduğunu gör.
- 3Düzəlt.
- 4Eyni yoxlamanın keçdiyini gör.
- 5Qonşu yolları axtar: ehtiyat yollar, digər endpoint-lər, digər çağıranlar.
- 6Commit mesajında nəyin necə sübut olunduğunu yaz.
Ən çox rast gəlinən səhv: düzəlişdən sonra yoxlama yazmaq. Onda yoxlamanın xətanı tutub-tutmadığını heç vaxt bilmirsən.
Bu modulun təhqiqatı
Audit siyahısı
Bu sahədə AI-ın yazdığı hər diff-i oxuyanda soruş.
- Düzəlişdən əvvəl uğursuz olan bir yoxlama varmı?
- Qonşu yollar da yoxlanılıb?
- Yoxlama exit code ilə hökm verir, çap olunan sətirlərlə yox?
- Qayda qəsdən pozulanda yoxlama qırmızı olurmu?
- CI hər push-da işləyirmi?
Oxu
- Beyond Vibe Coding: From Coder to AI-Era DeveloperAddy Osmani, 2025AI ilə işləməyə keçən təcrübəli proqramçı üçün praktik bələdçi. Bu kursun ən yaxın qohumu.
- Vibe Coding: Building Production-Grade Software With GenAI, Chat, Agents, and BeyondGene Kim, Steve Yegge, 2025İcraçı yox, orkestrator olmaq haqqında. Agentlərlə işləmə axınına fokuslanır.