Yazar
İnçki, Koray, Arı, İsmail
Basım Tarihi
2018
Basım Yeri
-
Springer Doğası
Konu
Nesnelerin interneti, Model tabanlı test, Kısıtlı uygulama protokolü, Çalışma zamanı doğrulaması, Karmaşık olay işleme
Tür
Belge
Dil
İngilizce
Dijital
Evet
Yazma
Hayır
Kütüphane
Özyeğin Üniversitesi
Demirbaş Numarası
978-331993796-0
Kayıt Numarası
05db9e22-cb94-4103-9f7f-7aa0f17e4c14
Lokasyon
Bilgisayar Bilimi
Tarih
2018
Örnek Metin
Nesnelerin İnterneti (IoT), otonom makineler arası etkileşimler yoluyla sağlanan endüstriyel hizmetleri büyük ölçüde değiştirdi. Bu tür sistemler çeşitli tedarikçiler tarafından üretilen cihazlardan oluşur. Doğrulama, oluşturma cihazlarının yüksek heterojenliği nedeniyle zorlu bir iştir. Bu yazıda, otomatik test senaryosu oluşturulmasını kolaylaştırmak amacıyla IoT sistemleri için model tabanlı birlikte çalışabilirlik testinin ilk sonuçlarını sunuyoruz. Katılımcı cihazlar arasındaki karmaşık ilişkileri ortaya çıkarmak için Kısıtlı Uygulama Protokolünün mesajlaşma modelini kullanıyoruz. Sıra diyagramlarından uygun çalışma zamanı monitörlerini oluşturduktan sonra doğrulama sürecini kolaylaştırmak için Karmaşık Olay İşleme (CEP) tekniklerini kullanıyoruz. Çözümümüzü hayali bir sağlık sistemi üzerinde gösteriyoruz.
Editör
Fortino, G., Palau, C. E., Guerrieri, A., Cuppens, N., Cuppens, F., Cuppens, H., Gabillon, A.
DOI
10.1007/978-3-319-93797-7_8
Cilt
242
