Yazar
Ersoy, E., Sözer, Hasan
Basım Tarihi
2016
Basım Yeri
-
Springer Uluslararası Yayıncılık
Tür
Süreli Yayın
Dil
İngilizce
Dijital
Evet
Yazma
Hayır
Kütüphane
Özyeğin Üniversitesi
Demirbaş Numarası
1865-0929
Kayıt Numarası
3e09db48-6724-4a8e-a1c0-51a0848bfb63
Lokasyon
Bilgisayar Bilimi
Tarih
2016
Notlar
TÜBİTAK
Örnek Metin
Statik analiz araçları uygulamaya özel kuralların ihlallerini tespit edemez. Bu kuralların doğrulanmasını uygulayan özel denetleyicilerle genişletilebilirler. Ancak bu tür kurallar genellikle açıkça belgelenmez. Üstelik uzmanlaşmış denetleyicilerin uygulanması uzmanlık gerektiren manuel bir süreçtir. Bu çalışmada, uygulamaya özel programlama kuralları, çalışma zamanında toplanan yürütme izlerinden otomatik olarak çıkarılmaktadır. Bu izler, programlama kurallarını tanımlamak için çevrimdışı olarak 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ı Java programları için 3 tür hatayı dikkate alarak uyguladık. Telekomünikasyon alanından endüstriyel bir vaka çalışmasıyla değerlendirme yaptık. Yürütme günlüklerinin analizine dayanarak oluşturulan denetleyiciler ile gerçek hataları tespit edebildik.
DOI
10.1007/978-3-319-47217-1_4
Cilt
659
