BİLGİSAYAR PROGRAMLARININ TASARIMLARINDAKİ VE KODLARINDAKİ SORUNLARIN BELİRLENMESİ ALPER FİLİZ MEHMET ALİ SERT

Transkript

1 BİLGİSAYAR PROGRAMLARININ TASARIMLARINDAKİ VE KODLARINDAKİ SORUNLARIN BELİRLENMESİ ALPER FİLİZ MEHMET ALİ SERT

2 SUNUM İÇERİĞİ Problem Tanımı Tespit Edilen Sorunlar Problemin Sonuçları Çözüm Tasarım Sonuç

3 PROBLEM NEDİR? Derlenen fakat birim testlerinden geçemeyen kodlar Koşma anı hataları Yazılım tasarımı hataları Etkin olmayan kodların oluşturduğu performans sorunu Düşük kaliteli yazılımlar

4 TESPİT EDİLEN SORUNLAR Kritik Bölgenin «typeof» İle Kilitlenmesi «typeof» içine aldığını değişkene göre aynı bellek gözünü döndürebilir. Kilitlenen alanda hata oluşması ve bu bellek gözünün serbest bırakılamaması Ölümcül kilitlenme riskleri

5 TESPİT EDİLEN SORUNLAR Kritik Bölgenin «this» İle Kilitlenmesi «this» kilitlenen alanı kontrol eden nesnenin kendisidir. Nesnenin kilitlenmesi sonucu dış çağrılara cevap veremez hale gelmesi Kilitlenen alanda hata oluşması ve bu bellek gözünün serbest bırakılamaması Ölümcül kilitlenme riskleri

6 TESPİT EDİLEN SORUNLAR Catch Bloğunda Spesifik Hatanın Yakalanmaması Catch bloğunda yakalanması gereken spesifik hata tipi belirtilmemesi Her türlü hatanın aynı prosedürle ele alınması

7 TESPİT EDİLEN SORUNLAR Yakalanan Hatanın Fırlatılması Catch bloğunda yakalanan hatanın direkt olarak fırlatılması Hata izini taşıyan stack trace bilgisinin kaybolması Hataların nereden geldiğinin anlaşılamaması

8 TESPİT EDİLEN SORUNLAR Karakter Dizilerinin Bitiştirilmesi Art arda karakter dizilerinin + operatörü ile bitiştirilmesi Her bir bitiştirme işleminde yeni bir bellek gözünün alınması ve sonrasında yok edilmesi Sisteme gereksiz yük oluşturulması

9 TESPİT EDİLEN SORUNLAR Dairesel Bağımlılık Birbirini referans eden sınıflar Bağımlılık artar Çöp toplayıcıların işini zorlaştırır. Yöneten-yönetilen ilişkisi karmaşası

10 TESPİT EDİLEN SORUNLAR Boş Değer(Null) Kontrolü Metottan dönen bir değerin değişkene atanması Her zaman için dönen değerin anlamlı değer olamayabileceği Bu değişkenin metodunun çağırılması veya elemanlarına ulaşılması anında sistemin hata oluşturması

11 TESPİT EDİLEN SORUNLAR Zincirleme Metot Çağrıları Metottan dönen nesnenin metotlarının doğrudan çağrılması Sınıflar arası bağımlılıkların artması Testlerin zorlaşması Nesnede saklanılan durum bilgilerinden yararlanılamaması

12 TESPİT EDİLEN SORUNLAR İç İçe Çoklu If Kullanımı İç içe üç ve daha fazlası if kullanılması Test senaryolarının artması Testlerin zorlaşması Kodun okunmasının ve takip edilmesinin zorlaşması

13 TESPİT EDİLEN SORUNLAR Sıfıra Bölme Bölen sayının koşma anı değerinin sıfır olması Fırlatılan hatadan dolayı sistemde yük oluşması Hesaplanması gereken değerlerin hesaplanamaması

14 PROBLEMİN SONUÇLARI Testlere harcanan sürenin artması Proje bitiş tarihinde gecikmeler Bakım zorlukları Kullanıcı memnuniyetsizliği İtibarın azalması

15 Visual Studio Eklentisi C# ÇÖZÜM Kaynak kod analizi Semantik ve sözdizim çözümlemeleri Konumsal arama Kod bloklarına göre taramalar Genişletilebilir XML tarama kuralları Değişimlerin anlık analizi Kod üzerinde eş zamanlı uyarılar

16 ÇÖZÜM Semantik ve Sözdizim Çözümlemeleri Sözdizim ağacı üzerinde dolaşma Sözdizim ağacında düğüm eşleştirmeleri Tip bilgileri analizi

17 ÇÖZÜM Konumsal Arama Kodların birbirlerine göre konumları Altında, üstünde ya da içinde bulunma durumları

18 ÇÖZÜM Kod Bloklarına Göre Taramalar Kardeş bloklar Alt bloklar Ebeveyn bloklar

19 ÇÖZÜM Genişletilebilir XML Tarama Kuralları Tarama kuralları için XML dosyaları Anahtar sözcüklerinin yapısı ile eşleşen veri yapıları Yeni kurallar ekleme kapasitesi Kaynak koddan bağımsız kural değişiklikleri

20 ÇÖZÜM Değişimlerin Anlık Analizi Değişiklik anında kod analizi Yeni kod dosyası eklendiğinde kod analizi Yeni proje eklendiğinde kod analizi Dış proje eklendiğinde kod analizi

21 ÇÖZÜM Kod Üzerinde Eş Zamanlı Uyarılar Metin düzenleyicisi üzerinde bildirim Bildirimlere ait detaylı açıklama Anlık analiz sonucunda oluşturulma

22 TASARIM Katmanlı, Modüler Yapı Dört katmanlı yapı Sorumlulukların ayrılması prensibi Katmanlar arası düşük bağımlılık

23 TASARIM Katmanlar Kullanıcı arayüzü katmanı Veri katmanı Mantıksal işleyici katman Ortak katman

24 TASARIM

25 TASARIM Kod Analizi Nasıl Yapılıyor? İki temel analiz yöntemi var Düğüm eşleştirme Düğüm çözümleme

26 TASARIM Düğüm Eşleştirme Kodda aranmak istenen kod kalıbı belirlenir. Bu kalıp kullanılarak sözdizim ağacındaki düğümlerle aynı sınıfta olan bir nesne yaratılır. Yaratılan bu düğüm ağaçtaki düğümlerle karşılaştırılır.

27 TASARIM Düğüm Eşleştirme Koddaki parça Eşleştirilen kalıp

28 TASARIM Kod Kalıpları Oluşturma Kod kalıpları, XML dosyalarında saklanır XML yapısında veritabanı tablo mantığı Birbirlerine referans verebilen parçalar Ufak parçaların farklı şekilde bir araya getirilerek farklı kombinasyonlar oluşturulması

29 TASARIM

30 TASARIM XML Veriyapısından Düğüm Oluşturma

31 TASARIM Neden Kod Kalıpları? XML dosyasında bulunan veri yapılarını mantıksal birimde işlenebilecek nesnelere dönüştürmek gerekir. Bu nesneler sözdizim ağaçlarında, düğüm eşleştirme işleminde kullanılır. Düğüm eşleştirmelerde esnekliğin sağlanması için belli kodlar yerine bu kod kalıpları kullanılır. Aynı zamanda düğüm ile eşleşen kalıbın, dinamik içeriğinin doldurulması ve sonradan bu bilgilerin kullanılması da esneklik sağlamaktadır.

32 TASARIM Düğüm Çözümleme Eşleşme ile bulunan düğümlerin semantik analizi Projedeki bütün dosyalar taranır Projedeki bütün tip bilgileri saklanır Düğümlerin tip bilgileri de bu bilgiler eşliğinde bulunur.

33 TASARIM

34 TASARIM Kural Zincirleri Esnekliğin sağlanması için ayrıca kurallar bir zincir şeklinde gerçeklenmiştir. Kod kalıpları ve semantik kural kalıpları bir araya gelerek bir alt kuralı, alt kurallarda bir araya gelerek bir bütün kuralı oluşturur.

35 TASARIM

36 TASARIM Esneklik ve Geliştirilebilirlik Kod değişikliğine gerek kalmadan kural ekleyebilme Tasarım kalıplarının aktif ve etkin kullanımı Gevşek bağımlılık sayesinde bir sınıftaki değişikliğin çevreye etkisinin az olması Kalıtım yerine arayüz tasarımının tercih edilmesi Yeni.NET versiyonlarında da çalışabilme (tak-çıkar modüller) Yeni analiz teknikleri geliştirilmek istendiğinde uygun arayüzlerin gerçeklenmesi yeterli Yeni kurallar eklenmek istediğinde yeni versiyon çıkartmaya gerek yoktur.

37 TASARIM Ölçeklenebilirlik Bahsedilen XML yapısı ve kod kalıplarından dolayı sayısız kural yazılabilir. Kurallar koda doğrudan yazılmak yerine, XML dosyaları üzerinden oluşturulduğu için, eklenecek kuralların hiçbiri projenin kaynak kodlarını artırmaz.

38 Bakım Kolaylığı TASARIM

39 SONUÇ Proje, başarıyla ve beklenen sürede gerçeklenmiştir. Toplam on adet tasarım veya kod kusuru bulan kural gerçeklenmiştir. Esnek ve geliştirilebilir bir yapı sağlanmıştır. Projenin kaynak kodundan bağımsız olarak kural eklenebildiği için, her yeni kural için yeni bir versiyon çıkarma gerekliliği ortadan kaldırılmıştır.

40 SONUÇ Test sonuçlarına göre, bütün kurallar başarılı bir şekilde istenen kusurları tespit etmektedir. Yapılan ölçümlerde kullanıcıya verilen tepki süresi bir saniyenin üzerine çıkmamıştır.

41 TEŞEKKÜRLER