Yazar
Ersoy, Ersin
Basım Tarihi
2016-07
Konu
Bilgisayar Mühendisliği ve Bilgisayar Bilimi ve Kontrolü, Bilgisayar yazılım dilleri, Bilgisayar yazılımları, Uygulama yazılımı, Statik kod analizi
Tür
Belge
Dil
İngilizce
Dijital
Evet
Yazma
Hayır
Kütüphane
Özyeğin Üniversitesi
Kayıt Numarası
f33a9eeb-7ca7-4a01-9f5b-5222df73c3da
Lokasyon
Elektrik-Elektronik Mühendisliği Bölümü
Tarih
2016-07
Örnek Metin
Statik kod analizi araçları, yalnızca başlatılmamış değişkenler gibi genel sorunlara ilişkin uyarılar oluşturabilir. Uygulamaya özel kuralların ihlallerini tespit edemezler. Araçlar, bu kuralların doğrulanmasını uygulayan özel denetleyicilerle genişletilebilir. Ancak bu tür kurallar genellikle açıkça belgelenmez. Üstelik uzmanlaşmış denetleyicilerin uygulanması uzmanlık gerektiren manuel bir süreçtir. Bu tezde bu uzantıların otomatik olarak sağlanmasına yönelik yeni bir yaklaşım sunuyoruz. Bizim yaklaşımımızda uygulamaya özel programlama kuralları, çalışma zamanında toplanan yürütme izlerinden otomatik olarak çıkarılır. Bu izler, ihlal edilmesinin hatalara yol açtığı programlama kurallarını belirlemek için tek başına analiz edilir. Daha sonra, bu kurallara yönelik özel denetleyiciler, statik analiz aracının uzantıları olarak tanıtılır, böylece bunların ihlalleri kaynak kodun tamamında kontrol edilebilir. Yaklaşımımızı telekomünikasyon alanından iki endüstriyel vaka çalışmasıyla değerlendirdik. Yürütme günlüklerinin analizine göre otomatik olarak oluşturulan denetleyiciler ile gerçek hataları tespit edebildik. Statik kod analiz araçları genel olarak hata türleri için gösterilebilmektedir. İlk değerler atanmamış olan değişkenlere ilişkin hata uyarıları örnek olarak verilebilir. Uygulamaya özel kuralların ihlali ise mevcut araçların algılayamamaktadırlar. Bu araçlar, özelleştirilmiş kontrol kuralları ile genişletilebilir ve bu şekilde uygulamaya özel kurallar kontrol edilebilir. Ancak bu kurallar genellikle açık bir şekilde belgelendirilmiş değildir. Kapsamlı özelleştirilmiş kontrol kuralları manuel olarak hazırlanır ve bu şekilde dağıtılır bir iştir. Bu tezde, statik kod analizinin otomatik olarak genişletilmesi için yeni bir yaklaşım sunulmaktadır. Bu ortamda, özel programlama kurallarının uygulanması, uygulama sırasında oluşan kayıtlardan otomatik olarak elde edilmektedir. Bu kayıtlar çevrimdışı olarak analiz edilirken hataya neden olan programlama protokolü mevcuttur. Daha sonra kaydedilen hataya uygun olan özelleştirilmiş kontrol kuralı kullanılarak statik kod analiz aracı genişletilmekte ve genişletilen araç ile analiz edilmektedir. Bu yaklaşım telekomünikasyon alanında iki vaka analizi ile değerlendirilmiştir. Uygulamaların çalışması sırasında kayıtların analizi sonucunda özelleştirilmiş kontrol kuralları ile gerçek hatalar bulunabiliyordu.
