Yazar
Kılıç, Yunus, Sözer, Hasan
Basım Tarihi
2017
Basım Yeri
-
ACM
Konu
Yazılım doğrulama, Çalışma zamanı doğrulama, Statik kod analizi, Model dönüşümleri, Araç entegrasyonu
Tür
Belge
Dil
İngilizce
Dijital
Evet
Yazma
Hayır
Kütüphane
Özyeğin Üniversitesi
Demirbaş Numarası
978-1-4503-4486-9
Kayıt Numarası
ed1899ad-f832-4a24-bfa2-383d44af8980
Lokasyon
Bilgisayar Bilimi
Tarih
2017
Notlar
Telif hakkı kısıtlamaları nedeniyle bu makalenin tam metnine erişim yalnızca abonelik yoluyla mümkündür.
Örnek Metin
Çalışma zamanı doğrulama teknikleri, bir dizi spesifikasyona göre dinamik sistem davranışını doğrular. Bu spesifikasyonlar genellikle sistem gereksinimlerine ve kısıtlamalarına göre manuel olarak oluşturulur. Bu yazıda, statik kod analizi araçları tarafından bildirilen uyarılara dayalı olarak çalışma zamanı doğrulama spesifikasyonlarının otomatik olarak oluşturulmasına yönelik kural tabanlı bir yaklaşım sunuyoruz. Bir uyarı türü için kontrol edilecek bir dizi kural tanımlarız. Bu kuralların ihlali, söz konusu uyarı türünün örnekleri tarafından belirlenen gerçek bir hatanın yokluğunu veya varlığını gösterir. Tanımlanan kurallara göre bildirilen her uyarı örneği için resmi doğrulama özellikleri otomatik olarak oluşturulur. Daha sonra çalışma zamanı monitörleri otomatik olarak sentezlenir ve sisteme entegre edilir. Bu monitörler, yazılımın yürütülmesi sırasında tespit edilen hataları veya hatalı pozitif uyarıları bildirir. Yaklaşım iki açık kaynaklı yazılım sistemine uygulanmıştır.
DOI
10.1145/3019612.3019822
