Applied Sciences· 2026Q2
Enzimatik Sayısal P Sistemlerine Dayalı Robot Kontrolcülerinin Vekil Destekli Arama Tabanlı Test Edilmesi
Surrogate-Assisted Search-Based Testing of Robot Controllers Based on Enzymatic Numerical P Systems
- 0atıf
- Q2SCImago
- 2026yıl
Kısa özet
Robot kontrolcüsünün dahili kurallarından yeniden yapılandırılan yeni bir gri kutu vekil modeli, reaktif kapalı döngü ortamlarında güvenlik açısından kritik arızaları geleneksel kara kutu vekillerden daha etkili bir şekilde tahmin etmektedir.
Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.
Ana noktalar
- ENPS tabanlı robot kontrolcülerinin SA-SBT'si için iki vekil stratejisi geliştirilmiş ve değerlendirilmiştir.
- Yol geometrisi ve ENPS model tanımlayıcısını kullanan bir kara kutu sınıflandırıcı, simülasyonları azaltırken gerçek arızaların neredeyse tamamını korumuştur.
- Kontrolcünün dahili kurallarından yeniden yapılandırılan yeni bir gri kutu vekil, reaktif, kapalı döngü ortamlarında sürekli uygunluk tahmini için değerlendirilmiştir.
Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.
Özet (abstract)
Surrogate-assisted search-based testing (SA-SBT) reduces simulation cost by replacing expensive runs with lightweight mathematical or data-driven approximations to efficiently guide metaheuristic search toward safety-critical system failures. While existing SA-SBT techniques predominantly employ black-box surrogates evaluated on short, static scenarios, they rarely exploit internal controller specifications or assess transferability to reactive closed-loop environments. In this paper, we aim to investigate how SA-SBT can be applied to a robot controller based on Enzymatic Numerical P systems (ENPS). We build and evaluate two surrogate strategies: a black-box classifier using road geometry and ENPS model identifier and a gray-box surrogate reconstructed directly from the controller internal rules. The classifier substantially reduces the number of required simulations while retaining nearly all true failures on independently generated test roads. In addition, we present and evaluate the gray-box surrogate, examining whether continuous fitness prediction, the mechanism underlying prior SA-SBT surrogates from the literature, transfers to a controller governed by a long, reactive control loop.
Yazarların özeti; kaynağından alınmıştır. Applied Sciences, 2026 · DOI ↗
Ücretsiz hesapla devam et
Makaleye Sor ile bu makaleye günde 3 soru ücretsiz; makaleyi kaydet, kaynakçasını al, ilgi alanına göre her gün yeni özetler. Çıkarımlar Premium.
Web'de ücretsiz devam etGoogle ya da Apple hesabınla giriş; kart istemez. Bu makaleye geri dönersin.
Telefonda:
Alan: Yazılım
SoftwareComputer Science