Correlating automatic static analysis and mutation testing: towards incremental strategies

Authors

  • Cláudio A. Araújo Instituto de Informática, UFG, Alameda Palmeiras, Quadra D, Campus II, Goiânia, GO, 74690-900, Brazil
  • Marcio E. Delamaro Instituto de Ciências Matemáticas e de Computação, USP, Av. Trabalhador São Carlense, 400, São Carlos, SP, 13566-590, Brazil
  • José C. Maldonado Instituto de Ciências Matemáticas e de Computação, USP, Av. Trabalhador São Carlense, 400, São Carlos, SP, 13566-590, Brazil
  • Auri M. R. Vincenzi Departamento de Computação, UFSCar, Rod. Washington Luís, Km 235, São Carlos, SP, 13565-905, Brazil

Keywords:

Software testing, Warnings, Mutants, Static analysis, Mutation testing, Static analyzer evaluation

Abstract

Background

Traditionally, mutation testing is used as test set generation and/or test evaluation criteria once it is considered a good fault model. This paper uses mutation testing for evaluating an automated static analyzer. Since static analyzers, in general, report a substantial number of false positive warnings, the intention of this study is to define a prioritization approach of static warnings based on their correspondence with mutations. On the other hand, knowing that Mutation Test has a high application cost, another possibility is to try to identify mutations of some specific mutation operators, which an automatic static analyzer is not adequate to detect. Therefore, this information can be used to prioritize the order of incrementally applying mutation operators considering, firstly, those with no correspondence with static warnings. In both cases, contributing to the establishment of incremental strategies on using automatic static analysis or mutation testing or even a combination of them.;

Methods

We used mutation operators as a fault model to evaluate the direct correspondence between mutations and static warnings. The main advantage of using mutation operators is that they generate a large number of programs containing faults of different types, which can be used to decide the ones most probable to be detected by static analyzers.;

 

Downloads

Download data is not yet available.

Downloads

Published

2016-10-03

How to Cite

Araújo, C. A., Delamaro, M. E., Maldonado, J. C., & Vincenzi, A. M. R. (2016). Correlating automatic static analysis and mutation testing: towards incremental strategies. Journal of Software Engineering Research and Development, 4, 5:1 – 5:32. Retrieved from https://journals-sol.sbc.org.br/index.php/jserd/article/view/425

Issue

Section

Research Article