Yazar
Yüksel, U., Sözer, Hasan
Basım Tarihi
2021
Basım Yeri
-
IEEE
Konu
Kod incelemeleri, Alarmların/uyarıların/uyarıların işlenmesi, Program analizi, Prolog, Statik kod analizi
Tür
Belge
Dil
İngilizce
Dijital
Evet
Yazma
Hayır
Kütüphane
Özyeğin Üniversitesi
Demirbaş Numarası
978-1-6654-2604-6
Kayıt Numarası
71fa9abc-7c2a-4549-bbe2-2289ab50c500
Lokasyon
Bilgisayar Bilimi
Tarih
2021
Örnek Metin
Bu uyarılar geliştirici tarafından incelenirken statik kod analizi uyarılarının filtrelenmesi ve önceliklendirilmesi için bir yaklaşım öneriyoruz. Kaynak kodundaki veri akışı bilgilerinin yanı sıra raporlanan uyarıları, bunların özelliklerini ve veri akışıyla ilişkilerini yakalayan bir Prolog bilgi tabanı oluşturuyoruz. Geliştirici listelenen uyarıları inceleyip bunların gerçek bir arızaya işaret edip etmediğine karar verdikçe bilgi tabanı güncellenir. Bu güncellemeler, aynı türdeki bazı uyarıların temel nedenleri açısından ilişkilendirilebilmesi nedeniyle yararlı bilgiler sağlar. Bu nedenle, dinamik olarak güncellenen bilgi tabanı, gözden geçirme listesinde kalan uyarıları ortadan kaldırmak veya önceliklendirmek için sorgulanabilir. Bir takım araçları entegre ederek yaklaşımı ve otomasyonunu göstermek için motive edici bir örnek sunuyoruz.
DOI
10.1109/ISSREW53611.2021.00086
