Abstract
Recent work in fault localization crosschecks traces of correct and failing execution traces. The implicit underlying technique is to search for association rules which indicate that executing a particular source line will cause the whole execution to fail. This technique, however, has limitations. In this article, we first propose to consider more expressive association rules where several lines imply failure. We then propose to use Formal Concept Analysis (FCA) to analyze the resulting numerous rules in order to improve the readability of the information contained in the rules. The main contribution of this article is to show that applying two data mining techniques, association rules and FCA, produces better results than existing fault localization techniques.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Arévalo, G., et al.: Building abstractions in class models: Formal concept analysis in a model-driven approach. In: Nierstrasz, O., et al. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 513–527. Springer, Heidelberg (2006)
Agrawal, R., Imielinski, T., Swami, A.N.: Mining association rules between sets of items in large databases. In: Buneman, P., Jajodia, S. (eds.) Int. Conf. on Management of Data, ACM Press, New York (1993)
Agrawal, R., Srikant, R.: Fast algorithms for mining association rules. In: Bocca, J.B., Jarke, M., Zaniolo, C. (eds.) Int. Conf. Very Large Data Bases, pp. 487–499. Morgan Kaufmann, San Francisco (1994)
Brin, S., et al.: Dynamic itemset counting and implication rules for market basket data. In: Peckham, J. (ed.) Proc. Int. Conf. on Management of Data, pp. 255–264. ACM Press, New York (1997)
Cellier, P., et al.: A parameterized algorithm for exploring concept lattices. In: Kuznetsov, S.O., Schmidt, S. (eds.) ICFCA 2007. LNCS (LNAI), vol. 4390, Springer, Heidelberg (2007)
Cleve, H., Zeller, A.: Locating causes of program failures. In: Int. Conf. on Software Engineering, pp. 342–351. ACM Press, New York (2005)
Denmat, T., Ducassé, M., Ridoux, O.: Data mining and cross-checking of execution traces: a re-interpretation of jones, harrold and stasko test information. In: Int. Conf. on Automated Software Engineering, ACM, New York (2005)
Godin, R., Valtchev, P.: Formal concept analysis-based class hierarchy design in object-oriented software development. In: Ganter, B., Stumme, G., Wille, R. (eds.) Formal Concept Analysis. LNCS (LNAI), vol. 3626, pp. 304–323. Springer, Heidelberg (2005)
Ganter, B., Wille, R.: Formal Concept Analysis: Mathematical Foundations. Springer, Heidelberg (1999)
Harrold, M.J., et al.: An empirical investigation of the relationship between spectra differences and regression faults. Softw. Test., Verif. Reliab. 10(3), 171–194 (2000)
Jones, J.A., Harrold, M.J., Stasko, J.T.: Visualization of test information to assist fault localization. In: Int. Conf. on Software Engineering, pp. 467–477. ACM, New York (2002)
Liblit, B., et al.: Scalable statistical bug isolation. In: Conf. on Programming Language Design and Implementation, pp. 15–26. ACM Press, New York (2005)
Liu, C., et al.: Sober: statistical model-based bug localization. In: European Software Engineering Conf. held jointly with Int. Symp. on Foundations of Software Engineering, ACM Press, New York (2005)
Pasquier, N., et al.: Discovering frequent closed itemsets for association rules. In: Int. Conf. on Database Theory, pp. 398–416. Springer, Heidelberg (1999)
Pfaltz, J.L.: Using concept lattices to uncover causal dependencies in software. In: Missaoui, R., Schmidt, J. (eds.) Formal Concept Analysis. LNCS (LNAI), vol. 3874, pp. 233–247. Springer, Heidelberg (2006)
Petit, M., Gotlieb, A.: Uniform selection of feasible paths as a stochastic constraint problem. In: Int. Conf. on Quality Software, October 2007, IEEE, Los Alamitos (2007)
Renieris, M., Reiss, S.P.: Fault localization with nearest neighbor queries. In: Int. Conf. on Automated Software Engineering, IEEE, Los Alamitos (2003)
Snelting, G.: Concept lattices in software analysis. In: Ganter, B., Stumme, G., Wille, R. (eds.) Formal Concept Analysis. LNCS (LNAI), vol. 3626, pp. 272–287. Springer, Heidelberg (2005)
Tilley, T., et al.: A survey of formal concept analysis support for software engineering activities. In: Ganter, B., Stumme, G., Wille, R. (eds.) Formal Concept Analysis. LNCS (LNAI), vol. 3626, Springer, Heidelberg (2005)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cellier, P., Ducassé, M., Ferré, S., Ridoux, O. (2008). Formal Concept Analysis Enhances Fault Localization in Software. In: Medina, R., Obiedkov, S. (eds) Formal Concept Analysis. ICFCA 2008. Lecture Notes in Computer Science(), vol 4933. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-78137-0_20
Download citation
DOI: https://doi.org/10.1007/978-3-540-78137-0_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-78136-3
Online ISBN: 978-3-540-78137-0
eBook Packages: Computer ScienceComputer Science (R0)