Differential testing of simulation-based VM generators - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2022

Differential testing of simulation-based VM generators

Abstract

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
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

Cite

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⟩
18 View
20 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More