形式概念分析在软件维护中的应用综述

doi:10.3969/j.issn.0372-2112.2015.07.023

电子学报 ›› 2015, Vol. 43 ›› Issue (7): 1399-1406.DOI: 10.3969/j.issn.0372-2112.2015.07.023

形式概念分析在软件维护中的应用综述

孙小兵^1,2, 李云¹, 李必信³, 文万志⁴

1. 扬州大学信息工程学院, 江苏扬州 225127;
2. 南京大学计算机软件新技术国家重点实验室, 江苏南京 210023;
3. 东南大学计算机科学与工程学院, 江苏南京 211189;
4. 南通大学计算机科学与技术学院, 江苏南通 226019

收稿日期:2014-01-10 修回日期:2014-06-22 出版日期:2015-07-25
- 作者简介:
- 孙小兵 男,1985出生,江苏姜堰人,博士、讲师、硕士生导师,主要研究领域为软件维护与演化.李云男,1965出生,安徽合肥人,博士、教授,主要研究领域为数据挖掘、概念格、机器学习.李必信男,1969出生,安徽庐江人,博士、教授、博士生导师,主要研究领域为软件建模、分析、测试与验证.文万志男,1982出生,安徽桐城人,博士,主要研究领域为软件错误定位、软件演化与维护.
- 基金资助:
- 国家自然科学基金 (No.61402396); 江苏省教育厅自然科学基金 (No.13KJB520027); 江苏省产学研联合创新资金 (前瞻性联合研究)项目 (No.BY2013063-10); 南京大学计算机软件新技术国家重点实验室开放基金 (No.KFKT2014B13); 扬州大学科技创新培育基金 (No.2013CXJ025); 扬州大学新世纪人才工程项目

A Survey of Using Formal Concept Analysis for Software Maintenance

SUN Xiao-bing^1,2, LI Yun¹, LI Bi-xin³, WEN Wan-zhi⁴

1. School of Information Engineering, Yangzhou University, Yangzhou, Jiangsu 225127, China;
2. State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, Jiangsu 210023, China;
3. School of Computer Science and Engineering, Southeast University, Nanjing, Jiangsu 211189, China;
4. School of Computer Science and Technology, Nantong University, Nantong, Jiangsu 226019, China

Received:2014-01-10 Revised:2014-06-22 Online:2015-07-25 Published:2015-07-25

摘要/Abstract

摘要：

形式概念分析是一种层次化的形式对象分析方法,能够从二元关系中挖掘出具有共同形式属性的一组形式对象的聚集.近十几年来,形式概念分析技术已在软件工程领域,特别是软件维护的各项活动中得到了广泛的应用,并取得成功.本文从软件维护的角度,如软件理解、修改影响分析、重构、调试与测试等方面总结了从2000~2013年形式概念分析在这些领域的研究进展.这些研究成果的分类方法是基于一种软件维护活动框架进行论述,最后文章给出了形式概念分析在软件维护领域的研究趋势与展望.

关键词: 形式概念分析, 软件维护

Abstract:

Formal concept analysis(FCA)is an approach to identify conceptual structures among data sets.It is a very useful clustering technique providing a formal framework to explore the binary relationship among the entities and recognize groups of entities that exhibit common properties.This paper tries to survey the studies of the FCA applications in software maintenance field from 2000 to 2013.These research results are categorized according to a simple framework of software maintenance activities,such as software comprehension,change impact analysis,refactoring,debugging and testing.Finally,the potential research directions in the related field are discussed.

Key words: formal concept analysis(FCA), software maintenance

中图分类号:

TP311

孙小兵, 李云, 李必信, 文万志. 形式概念分析在软件维护中的应用综述[J]. 电子学报, 2015, 43(7): 1399-1406.

SUN Xiao-bing, LI Yun, LI Bi-xin, WEN Wan-zhi. A Survey of Using Formal Concept Analysis for Software Maintenance[J]. Acta Electronica Sinica, 2015, 43(7): 1399-1406.

参考文献

[1] Ganter B,Wille R.Formal Concept Analysis:Mathematical Foundations[M].Berlin:Springer-Verlag,1996.
[2] Birkhoff G.Lattice Theory[M].USA:American Mathematical Society,1940.
[3] Tilley T,Cole R,Becker P,et al.A survey of formal concept analysis support for software engineering activities[A].LNCS 3626:Formal Concept Analysis[C].Berlin:Springer,2005.250-271.
[4] Tonella P.Formal concept analysis in software engineering[A].Proceedings of International Conference on Software Engineering[C].Edinburgh,Scotland:IEEE,2004.743-744.
[5] Poshyvanyk D,Gethers M,Marcus A.Concept location using formal concept analysis and information retrieval[J].ACM Transactions on Software Engineering and Methodnology,2012,21(4):23.
[6] Dit B,Revelle M,Gethers M,Poshyvanyk D.Feature location in source code:a taxonomy and survey[J].Journal of Software:Evolution and Process,2013,25(1):53-95.
[7] Aversano L,Bruno M,Di Penta M,Falanga A,Scognamiglio R.Visualizing the evolution of web services using formal concept analysis[A].Proceedings of the International Workshop on Principles of Software Evolution[C].Lisbon,Portugal:IEEE,2005.57-60.
[8] 姜峰,范玉顺.基于扩展概念格的Web关系挖掘[J].软件学报,2010,21(10):2432-2444. Jiang F,Fan YS.Web relationship mining based on extended concept lattice[J].Journal of Software,2010,21(10):2432-2444.(in Chinese)
[9] Cole R,Becker P.Navigation spaces for the conceptual analysis of software structure[A].Proceedings of the International Conference on Formal Concept Analysis[C].Lens,France:Springer,2005.113-128.
[10] Dekel U,Gil Y.Revealing class structure with concept lattices[A].Proceedings of the 10th Working Conference on Reverse Engineering[C].Victoria,Canada:IEEE,2003.353-365.
[11] Kuipers T,Moonen L.Types and concept analysis for legacy systems[A].Proceedings of the International Workshop on Program Comprehension[C].Limerick,Ireland:IEEE,2000.221-230.
[12] Mens K,Tourwé T.Delving source code with formal concept analysis[J].Journal of Computer Languages,Systems and Structures,2005,31(3-4):183-198.
[13] Arévalo G,Buchli F,Nierstrasz O.Detecting implicit collaboration patterns[A].Proceedings of the Working Conference on Reverse Engineering[C].Delft,Netherlands:IEEE,2004.122-131.
[14] Lienhard A,Ducasse S,Arévalo G.Identifying traits with formal concept analysis[A].Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering[C].Long Beach,CA,USA:ACM,2005.66-75.
[15] Pfaltz JL.Using concept lattices to uncover visual dependencies in software[A].Proceedings of International Conference on Formal Concept Analysis[C].Dresden,Germany:Springer,2006.233-247.
[16] Tonella P,Antoniol G.Inference of object oriented design patterns[J].Journal of Software Maintenance and Evolution,2001,13(5):309-330.
[17] Viljamaa J.Reverse engineering framework reuse interfaces[A].Proceedings of Symposium on the Foundations of Software Engineering[C].Newport Beach,CA:ACM,2003.217-226.
[18] Zhang Z,Yang H,Chu WC.Extracting reusable object-oriented legacy code segments with combined formal concept analysis and slicing techniques for service integration[A].Proceedings of International Conference on Quality Software[C].Beijing,China:IEEE,2006.385-392.
[19] Snelting G,Tip F.Understanding class hierarchies using concept analysis[J].ACM Transactions on Programming Languages and Systems,2000,22(3):540-582.
[20] Arévalo G,Ducasse S,Gordillo S,Nierstrasz O.Generating a catalog of unanticipated schemas in class hierarchies using formal concept analysis[J].Information and Software Technology,2010,52(11):1167-1187.
[21] Sutton P,Maletic I P.Recovering UML class models from C++:A detailed explanation[J].Information and Software Technology,2007,49(3):212-229.
[22] Dekel U,Gil J.Visualizing class interfaces with formal concept analysis[A].Proceedings of the Conference on Object-Oriented Programming,Systems,Languages,and Applications[C].Anaheim,CA,USA:ACM,2003.288-289.
[23] Xue YX,Xing ZC,Jarzabek S.Feature location in a collection of product variants[A].Proceedings of the Working Conference on Reverse Engineering[C].Kingston,ON,Canada:IEEE,2012.145-154.
[24] Eisenbarth T,Koschke R,Simon D.Locating features in source code[J].IEEE Transactions on Software Engineering,2003,29(3):195-209.
[25] Eisenbarth T,Koschke R,Simon D.Aiding program comprehension by static and dynamic feature analysis[A].Proceedings of the International Conference on Software Maintenance[C].Florence,Italy:IEEE,2001.602-611.
[26] Ivkovic I,Kontogiannis K.Towards automatic establishment of model dependencies using formal concept analysis[J].International Journal of Software Engineering and Knowledge Engineering,2006,16(4):499-522.
[27] Niu N,Easterbrook SM.Concept analysis for product line requirements[A].Proceedings of the International Conference on Aspect-Oriented Software Development[C].Virginia,USA:IEEE,2009.137-148.
[28] Shiri M,Hassine J,Rilling J.Feature interaction analysis:a maintenance perspective[A].Proceedings of International Conference on Automated Software Engineering[C].Atlanta,Georgia,USA:ACM,2007.437-440.
[29] Bojic D,Velasevic D.Reverse engineering of use case realizations in UML[A].Proceedings of the ACM Symposium on Applied Computing[C].Villa Olmo,Como,Italy:ACM,2000.741-747.
[30] Loesch F,Ploedereder E.Restructuring variability in software product lines using concept analysis of product configurations[A].Proceedings of European Conference on Software Maintenance and Reengineering[C].Amsterdam,Netherlands:IEEE,2007.159-170.
[31] 许佳卿,彭鑫,赵文耘.一种基于模糊形式概念分析的程序聚类方法[J].计算机研究与发展,2009,46(9):1556-1566. Xu JQ,Peng X,Zhao WY.Program clustering for comprehension based on fuzzy formal concept analysis[J].Journal of Computer Research and Development,2009,46(9):1556-1566.(in Chinese)
[32] Glorie M,Zaidman A,Hofland L,Deursen A.Splitting a large software archive for easing future software evolution-an industrial experience report using formal concept analysis[A].Proceedings of European Conference on Software Maintenance and Reengineering[C].Athens,Greece:IEEE,2008.153-162.
[33] GÎrba T,Ducasse S,Kuhn A,et al.Using concept analysis to detect co-change patterns[A].International Workshop on Principles of Software Evolution[C].Dubrovnik,Croatia:IEEE,2007.83-89.
[34] Li B,Sun XB,Leung H,Zhang S.A survey of code-based change impact analysis techniques[J].Journal of Software Testing,Verification and Reliabiblity,2013,23(8):613-646.
[35] Tonella P.Using a concept lattice of decomposition slices for program understanding and impact analysis[J].IEEE Transactions on Software Engineering,2003,29(6):495-509.
[36] 孙小兵,李必信,陶传奇.基于LoCMD的软件修改分析技术[J].软件学报,2012,23(6):1368-1381. Sun XB,Li BX,Tao CQ.Using formal concept analysis to support change analysis[J].Journal of Software,2012,23(6):1368-1381.(in Chinese)
[37] Sun XB,Li BX,Zhang S,Tao CQ.Using lattice of class and method dependence for change impact analysis of object oriented programs[A].Proceedings of the Symposium on Applied Computing[C].TaiChung,Taiwan:ACM,2011.1439-1444.
[38] Li BX,Sun XB,Leung H.Combining concept lattice with call graph for impact analysis[J].Advances in Engineering Software,2012,53(11):1-13.
[39] Li BX,Sun XB,Keung J.FCA-CIA:An approach of using FCA to support cross-level change impact analysis for object oriented Java programs[J].Information & Software Technology,2013,55(8):1437-1449.
[40] Mens T,Tourw Tom.A survey of software refactoring[J].IEEE Transactions on Software Engineering,2004,30(2):126-139.
[41] Moha N,Hacene AR,Valtchev P,Guéhéneuc YG.Refactorings of design defects using relational concept analysis[A].Proceedings of International Conference on Formal Concept Analysis[C].Montreal,Canada:Springer,2008.289-304.
[42] Moha N,Rezgui J,Guéhéneuc Y,Valtchev P,El-Boussaidi G.Using FCA to suggest refactorings to correct design defects[A].International Conference Concept Lattices and Their Applications[C].Tunis,Tunisia:IEEE,2006.269-275.
[43] Joshi P,Joshi RK.Concept analysis for class cohesion[A].Proceedings of the 2009 European Conference on Software Maintenance and Reengineering[C].Bombay Powai,Mumbai:IEEE,2009.237-240.
[44] Tonella P,Ceccato M.Aspect mining through the formal concept analysis of execution traces[A].Proceedings of the Working Conference on Reverse Engineering[C].Delft,Netherlands:IEEE,2004.112-121.
[45] Al-Ekram R,Kontogiannis K.Source code modularization using lattice of concept slices[A].Proceedings of the European Conference on Software Maintenance and Reengineering[C].Tampere,Finland:IEEE,2004.195-203.
[46] Del Grosso C,Massimiliano,Di Penta I.An approach for mining services in database oriented applications[A].Proceedings of the European Conference on Software Maintenance and Reengineering[C].Amsterdam,Netherlands:IEEE,2007.287-296.
[47] Chen F,Zhang ZP,Li JZ,Kang J,Yang HJ.Service identification via ontology mapping[A].Proceedings of the International Computer Software and Applications Conference[C].Washington,USA:IEEE,2009.486-491.
[48] Snelting G,Tip F.Reengineering class hierarchies using concept analysis[J].ACM Transactions on Programming Languages and Systems,2000,22(3):540-582.
[49] Bhatti MU,Ducasse S,Huchard M.Reconsidering classes in procedural object-oriented code[A].Proceedings of the Working Conference on Reverse Engineering[C].Antwerp,Belgiu:IEEE,2008.257-266.
[50] Tonella P.Concept analysis for module restructuring[J].IEEE Transactions on Software Engineering,2001,27(4):351-363.
[51] Kim HH,Bae DH.Object-oriented concept analysis for software modularization[J].IET Software,2008,2(2):134-148.
[52] Cellier P,Ducasse M,Ferre S,et al.Formal concept analysis enhances fault localization in software[A].LNCS 4933:Proceedings of International Conference on Formal Concept Analysis[C].Berlin:Springer,2008.273-288.
[53] Ammons G,Mandelin D,Bodik R,et al.Debugging temporal specifications with concept analysis[A].Proceedings of the Conference on Programming Language Design and Implementation[C].San Diego,CA:ACM,2003.182-195.
[54] Sun XB,Li BX,Wen WZ.CLPS-MFL:Using concept lattice of program spectrum for effective multi-fault localization[A].Proceedings of the 13th International Conference on Quality Software[C].USA:IEEE,2013.204-207.
[55] Khor S,Grogono P.Using a genetic algorithm and formal concept analysis to generate branch coverage test data automatically[A].Proceedings of the IEEE International Conference on Automated Software Engineering[C].Linz,Austria:IEEE,2004.346-349.
[56] Tallam S,Gupta N.A concept analysis inspired greedy algorithm for test suite minimization[A].Proceedings of the Workshop on Program Analysis for Software Tools and Engineering[C].Lisbon,Portugal:IEEE,2005.35-42.
[57] Sun XB,Li BX,Tao CQ,Zhang QD.Using FCA-based change impact analysis for regression testing[A].Proceedings of International Conference on Software Engineering and Knowledge Engineering[C].Redwood City,San Francisco Bay,USA:KSI,2012.452-457.
[58] Cellier P,Ducassé M,Ferré S,Ridoux O.Multiple fault localization with data mining[A].International Conference on Software Engineering and Knowledge Engineering[C].Miami Beach,USA:KSI,2011.238-243.

形式概念分析在软件维护中的应用综述

A Survey of Using Formal Concept Analysis for Software Maintenance

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 4

编辑推荐

Metrics

[1]	张涛, 任宏雷, 洪文学, 李慧. 基于属性拓扑的可视化形式概念计算[J]. 电子学报, 2014, 42(5): 925-932.
[2]	张磊, 张宏莉, 韩道军, 沈夏炯. 基于概念格的RBAC模型中角色最小化问题的理论与算法[J]. 电子学报, 2014, 42(12): 2371-2378.
[3]	智慧来. 面向异构数据分析的形式概念分析扩展模型[J]. 电子学报, 2013, 41(12): 2451-2455.
[4]	杨彬;徐宝文;许蕾. 基于概念内涵最小生成子的伪内涵计算方法[J]. 电子学报, 2008, 36(11): 2125-2131.