Test suite reduction for mutation testing based on formal concept analysis

Abstract

Formal concept analysis (FCA) is a method used for deriving implicit relationships between objects by attributes. Aim at the expensive cost problem in mutation testing caused by the large number of mutants and large number of test cases generated to kill these mutants. This paper proposed a test suite reduce method for mutation testing based on FCA. In order to reduce the number of test cases, a test generation algorithm and three reduction rules were presented to reduce the set of test suite based on concept lattice. Results showed this approach can help to reduce the redundancy of test cases for mutation testing.

DOI: 10.1109/SNPD.2015.7176239

4 Figures and Tables

Cite this paper

@article{Li2015TestSR, title={Test suite reduction for mutation testing based on formal concept analysis}, author={Liping Li and Honghao Gao}, journal={2015 IEEE/ACIS 16th International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD)}, year={2015}, pages={1-5} }