Yazar
Çıracı, S., Sözer, Hasan, Tekinerdogan, B.
Basım Tarihi
2012
Basım Yeri
-
IEEE
Konu
Yazılım mimarileri, Çalışma zamanı doğrulaması, Tutarsızlık tespiti
Tür
Belge
Dil
İngilizce
Dijital
Evet
Yazma
Hayır
Kütüphane
Özyeğin Üniversitesi
Demirbaş Numarası
0730-3157
Kayıt Numarası
4ffdd38b-32b0-4ebc-8949-4b4c8a1b38b1
Lokasyon
Bilgisayar Bilimi
Tarih
2012
Notlar
Telif hakkı kısıtlamaları nedeniyle bu makalenin tam metnine erişim yalnızca abonelik yoluyla mümkündür.
Örnek Metin
Uygulamada, mimarinin yanlış uygulanması veya kodun ayrı, kontrolsüz gelişimi nedeniyle mimari dokümantasyon ile kod arasında tutarsızlıklar ortaya çıkabilir. Mimari ve kod arasındaki tutarsızlıkları tespit etmek için çeşitli yaklaşımlar önerilmiştir ancak bunlar çalışma zamanında meydana gelebilecek tutarsızlıkların yakalanması açısından sınırlı olma eğilimindedir. Belgelenen mimarinin dinamik davranışı ile sistemin gerçek çalışma zamanı davranışı arasındaki tutarsızlıkları tespit etmek için bir çalışma zamanı doğrulama yaklaşımı sunuyoruz. Yaklaşım, Prolog'daki mimariyi ve kod modellerini uygulayan ve tutarsızlıkları tespit etmek için otomatik olarak çalışma zamanı monitörleri oluşturan bir dizi araç tarafından desteklenir. Kriz Yönetim Sistemi örnek olay incelemesine yönelik yaklaşımı ve araç setini gösteriyoruz.
DOI
10.1109/COMPSAC.2012.36