Bridging the Gap: A Focused DSL for RV-Oriented Instrumentation with BISM
Résumé
We present a novel instrumentation language for BISM, a lightweight bytecode-level instrumentation tool for JVM languages. The new DSL aims to simplify the instrumentation process, making it more accessible to a wider user base. It employs an intuitive syntax, directly mapping to the key requirements of program instrumentation for runtime verification. It enhances productivity by eliminating boilerplate code and low-level details, while also supporting code generation and collaboration. The DSL balances expressiveness, and abstraction, bridging the gap between domain experts and the complexities of instrumentation specification.
Domaines
Informatique [cs]Origine | Fichiers produits par l'(les) auteur(s) |
---|