Differential testing of simulation-based VM generators - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2022

Differential testing of simulation-based VM generators

Résumé

Testing and debugging language Virtual Machines (VMs) is a laborious task without the proper tooling. This complexity is aggravated when the VM targets multiple architectures. Simulation-based VM generator frameworks allow one to write test cases on the simulation, however they do not ensure the correctness of the generated artifact due to the semantic gap between the environments. In this article we propose Test Transmutation. It extends simulationbased VM generator frameworks to also generate simulation test cases and execute them on the generated VMs. It extends such frameworks to translate test cases and applies differential testing and non-semantic-preserving mutations. Test Transmutation detects bugs that are representative of typical VM modifications. Moreover, we apply it to a set of real test cases of the Pharo VM and find several issues. Our approach shows promising results to test simulation-based VM generator frameworks.
Fichier principal
Vignette du fichier
SAC_Misse.pdf (817.53 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03783301 , version 1 (22-09-2022)

Licence

Identifiants

Citer

Pierre Misse-Chanabier, Guillermo Polito, Stéphane Ducasse, Noury Bouraqadi, Luc Fabresse, et al.. Differential testing of simulation-based VM generators. SAC '22: Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, Apr 2022, Virtual Event, France. ⟨10.1145/3477314.3507171⟩. ⟨hal-03783301⟩
62 Consultations
61 Téléchargements

Altmetric

Partager

More