Model-Driven Fault Injection in Java Source Code

Autor(es)

Rodrigues Jr, Elder ; Montecchi, Leonardo ; Ceccarelli, Andrea ; Vieira, M ; Madeira, H ; Antunes, N ; Zheng, Z

• Tipo de documento: Artigo Científico
• Fonte: 2020 IEEE 31ST INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE 2020); v. N/A, p. 12-pg., 2020-01-01.

Resumo

The injection of software faults in source code requires accurate knowledge of the programming language, both to craft faults and to identify injection locations. As such, fault injection and code mutation tools are typically tailored for a specific language and have limited extensibility. In this paper we present a model-driven approach to craft and inject software faults in source code. While its concrete application is presented for Java, the workflow we propose does not depend on a specific programming language. Following Model-Driven Engineering principles, the faults and the criteria to select injection locations are described using structured, machine-readable specifications based on a domain-specific language. Then, automated transformations craft artifacts based on OCL and Java, which represent the faults to be injected and are able to select the candidate injection locations. Finally, artifacts are executed against the target source code, performing the injection in the desired locations. We devise a supporting tool and exercise the approach injecting 13 different kinds of software faults in the Java source code of six different projects. (AU)

• Processo FAPESP: 18/11129-8 - Um metamodelo para apoiar a formalização de convenções de codificação
• Beneficiário: Elder de Oliveira Rodrigues Júnior
• Modalidade de apoio: Bolsas no Brasil - Mestrado
• Processo FAPESP: 19/06799-7 - Formalização de convenções de codificação para sistemas críticos
• Beneficiário: Elder de Oliveira Rodrigues Júnior
• Modalidade de apoio: Bolsas no Exterior - Estágio de Pesquisa - Mestrado