Aktör tabanlı sistemler için test kapsama kriterleri

Abstract

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.