Automated Test Case Generation for Airborne Software Using a VAE–Transformer Model
Cet article propose un cadre basé sur un VAE-Transformer qui combine des représentations de matrices champ-événement structurées avec des vecteurs sémantiques d'état pour générer des cas de test diversifiés et de haute qualité, améliorant considérablement la couverture et l'efficacité du fuzzing de logiciels de bord critiques pour la sécurité par rapport aux méthodes conventionnelles.