Yazar
Sözer, Hasan
Basım Tarihi
2015-10
Basım Yeri
-
Wiley
Konu
Yazılım doğrulama, Çalışma zamanı doğrulama, Statik kod analizi, Model dönüşümleri, Araç entegrasyonu
Tür
Süreli Yayın
Dil
İngilizce
Dijital
Evet
Yazma
Hayır
Kütüphane
Özyeğin Üniversitesi
Demirbaş Numarası
1097-024X
Kayıt Numarası
3148c4b7-ec38-41e5-95da-9391124210a5
Lokasyon
Bilgisayar Bilimi
Tarih
2015-10
Notlar
Telif hakkı kısıtlamaları nedeniyle bu makalenin tam metnine erişim yalnızca abonelik yoluyla mümkündür.
Örnek Metin
Statik kod analiz araçları, arızalara yol açabilecek olası yazılım hatalarına ilişkin otomatik olarak uyarılar oluşturur. Ancak bu araçlar genellikle çok fazla sayıda uyarı oluşturur ve bunların bazıları hatalı pozitif sonuçlara neden olabilir. Sınırlı kaynaklar nedeniyle tüm uyarıları incelemek genellikle zordur. Tamamlayıcı bir yaklaşım olarak çalışma zamanı doğrulama teknikleri, bir dizi spesifikasyona göre dinamik sistem davranışını doğrular. Ancak bu spesifikasyonlar genellikle sistem gereksinimlerine ve kısıtlamalarına göre manuel olarak oluşturulur. Bu yazıda, entegre statik kod analizi ve çalışma zamanı doğrulaması için yeni bir yaklaşım ve bir araç zinciri tanıtıyoruz. Statik kod analizi araçları tarafından oluşturulan uyarılar, çalışma zamanı doğrulama spesifikasyonlarının otomatik olarak oluşturulması için kullanılır. Öte yandan, çalışma zamanı doğrulama sonuçları, hatalı pozitifleri ortadan kaldırmak amacıyla statik kod analiz araçlarına yönelik filtrelerin otomatik olarak oluşturulması için kullanılır. Yaklaşım, açık kaynaklı bir bibliyografya referans yöneticisi yazılımının statik analizi ve çalışma zamanı doğrulaması için gösterilmiştir.
DOI
10.1002/spe.2287
Cilt
45
