Differential testing of simulation-based VM generators

Misse-Chanabier, Pierre; Polito, Guillermo; Ducasse, Stephane; Bouraqadi, Noury; Fabresse, Luc; Tesone, Pablo

Document type :

Communication dans un congrès avec actes

DOI :

10.1145/3477314.3507171

Title :

Differential testing of simulation-based VM generators

Author(s) :

Misse-Chanabier, Pierre [Auteur]
Analyses and Languages Constructs for Object-Oriented Application Evolution [RMOD]
Polito, Guillermo [Auteur]

Analyses and Languages Constructs for Object-Oriented Application Evolution [RMOD]
Ducasse, Stephane [Auteur]

Analyses and Languages Constructs for Object-Oriented Application Evolution [RMOD]
Bouraqadi, Noury [Auteur]
Ecole nationale supérieure Mines-Télécom Lille Douai [IMT Nord Europe]
Centre for Digital Systems [CERI SN - IMT Nord Europe]
Fabresse, Luc [Auteur]
Centre for Digital Systems [CERI SN - IMT Nord Europe]
Tesone, Pablo [Auteur]
Analyses and Languages Constructs for Object-Oriented Application Evolution [RMOD]

Conference title :

SAC '22: Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing

City :

Virtual Event

Country :

France

Start date of the conference :

2022-04

Publication date :

2022-04-25

English keyword(s) :

Testing
Virtual Machine
Code Mutation
Simulation

HAL domain(s) :

Informatique [cs]/Langage de programmation [cs.PL]

English abstract : [en]

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 ...
Show more >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.Show less >

Language :

Anglais

Peer reviewed article :

Oui

Audience :

Internationale

Popular science :

Non

Collections :

Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189

Source :

Harvested from HAL

Files

https://hal.inria.fr/hal-03783301/document
Open access
Access the document

https://hal.inria.fr/hal-03783301/document
Open access
Access the document

https://hal.inria.fr/hal-03783301/document
Open access
Access the document

document
Open access
Access the document

SAC_Misse.pdf
Open access
Access the document

document
Open access
Access the document

SAC_Misse.pdf
Open access
Access the document

Differential testing of simulation-based ... BibTeX CSV Excel RIS

Files

Differential testing of simulation-based ...

BibTeX

CSV

Excel

RIS