Yazar
Sözer, Hasan, Gürler, O., Yılmaz, O.
Basım Tarihi
2018
Basım Yeri
-
CEUR-WS
Konu
Aktör modeli, Eşzamanlı programlama, Dağıtık sistemler, Asenkron haberleşme, Test kapsama kriterleri, Actor model, Concurrent programming, Distributed systems, Asynchronous communication, Test coverage metrics
Tür
Belge
Dil
Türkçe
Dijital
Evet
Yazma
Hayır
Kütüphane
Özyeğin Üniversitesi
Demirbaş Numarası
1613-0073
Kayıt Numarası
cd91d8b6-e104-46e9-89d9-cd992d955455
Lokasyon
Computer Science
Tarih
2018
Örnek Metin
Aktör tabanlı sistemler, eşzamanlı çalışan ve birbirleri ile asenkron bir şekilde haberleşen aktör isimli otonom elemanlardan oluşmaktadırlar. Asenkron haberleşme sebebiyle aktörler arasında paylaşılan mesajların sıralaması farklılık gösterebilmektedir. Diğer eşzamanlı çalışan sistemlerde olduğu gibi, determinizm yokluğu, aktör tabanlı sistemlerde test ve hata ayıklama süreçlerini zorlaştırmaktadır. Geleneksel test kapsama kriterleri de bu sistemler için etkin olmamaktadır. Bu bildiride, aktör tabanlı sistemler için kullanılabilecek test kapsama kriterleri irdelenmektedir. Literatürde önerilmiş mevcut kriterlere ek olarak yeni kriterler ile, ayrık matematik alanında son zamanlarda yayınlanmış olan çalışmaların aktör tabanlı sistemler için test kapsama kriterleri belirlemek ve değerlendirmek üzere uygulamaları ilk defa bu bildiride ele alınmaktadır. Önerilen kapsama kriterlerine göre değerlendirme yapabilen ve bu kriterleri sağlayacak şekilde test durumlarını otomatik olarak oluşturan bir test altyapısı şu an geliştirme aşamasındadır., Actor-based systems are composed of autonomous entities called actors that work concurrently and communicate with each other asynchronously. The ordering of messages exchanged among actors can vary due to asynchronous communication. Lack of determinism, as it is also the case for other concurrent systems, makes it harder to test and debug actor-based systems. Traditional test coverage criteria are not effective for these systems. In this paper, we elaborate on test coverage metrics and criteria for actor-based systems. We review the existing metrics in the literature and propose new metrics. In addition, we discuss, for the first time in this paper, application of recent studies in the discrete mathematics domain on evaluating test coverage criteria for actorbased systems. A test framework that can evaluate these criteria and that can
automatically generate test cases to satisfy them is currently under development.
Editör
Tarhan, A., Erten, M.
Cilt
2201