Verifying Code Generation Tools for the B-Method Using Tests: A Case Study

Autor:	João Batista de Souza Neto, Anamaria Martins Moreira, Cleverton Hentz, David Déharbe, Valério Medeiros, Ernesto Cid Brasil de Matos
Rok vydání:	2015
Předmět:	Set (abstract data type) Test strategy Model-based testing Parsing Correctness Computer engineering Computer science Programming language B-Method Code (cryptography) Code generation computer.software_genre computer
Zdroj:	Tests and Proofs ISBN: 9783319212142 TAP@STAF
Popis:	In this paper, we present a case study where two code generators for the B-Method were validated using software testing techniques. Our testing strategy is a combination of Grammar-Based Testing (GBT) and Model-Based Testing (MBT) techniques. The strategy consists of two steps. In the first step, grammar-based coverage criteria are used to generate a wide and meaningful set of test input models to validate the parsing capabilities of the code generators. In the second step, a MBT tool is used to validate the correctness of the output produced by these tools. The MBT tool generates a set of tests based on the same input model used by the code generation tools. The generated code is considered correct (consistent with the input model) if it passes this set of tests. Using this testing strategy, we were able to find problems in both code generation tools with moderate effort.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::1d572122af18bc74bbedb6ec2dfa3ce0 https://doi.org/10.1007/978-3-319-21215-9_5 Zobrazit plný text záznamu