SUN Xiaobing, LI Bixin, LI Bin, et al., “SE-FCA: A Model of Software Evolution with Formal Concept Analysis,” Chinese Journal of Electronics, vol. 24, no. 1, pp. 13-19, 2015,
Citation: SUN Xiaobing, LI Bixin, LI Bin, et al., “SE-FCA: A Model of Software Evolution with Formal Concept Analysis,” Chinese Journal of Electronics, vol. 24, no. 1, pp. 13-19, 2015,

SE-FCA: A Model of Software Evolution with Formal Concept Analysis

Funds:  This work is supported partially by the Natural Science Foundation of the Jiangsu Higher Education Institutions of China (No.13KJB520027), the Open Funds of State Key Laboratory for Novel Software Technology of Nanjing University (No. KFKT2014B13), the Natural Science Foundation of China (No.61070133), and the Jiangsu Province Natural Science Fund (No.BK2010134).
  • Received Date: 2013-06-01
  • Rev Recd Date: 2013-07-01
  • Publish Date: 2015-01-10
  • Softwares are naturally evolved to cope with various changing system requirements. Software evolution includes a series of activities to analyze, assess, and validate the changes. This paper proposes an integrated software evolution model, namely SE-FCA, to support four core software evolution activities: program comprehension, change impact analysis, regression testing, and fault localization. These four activities are integrated and supported under the formal concept analysis technique, which is efficient to deal with the relation between entities and entity properties to provide a remarkable insight into the structure of the original relation. These activities are evaluated in a unified empirical environment. The empirical study shows the effectiveness of these activities under the SE-FCA model.
  • loading
  • M. Weiser, "Program slicing", IEEE Transactions on Software Engineering, Vol.10, No.4, pp.352-357, 1984.
    M. Gethers, B. Dit, H. Kagdi and D. Poshyvanyk, "Integrated impact analysis for managing software changes", Proceedings of the 2012 International Conference on Software Engineering, Zurich, pp.430-440, 2012.
    S. Yoo and M. Harman, "Regression testing minimization, selection and prioritization: A survey", Software Testing, Verification and Reliability, Vol.22, No.2, pp.67-120, 2012.
    J. A. Jones, M. J. Harrold and J. Stasko, "Visualization of test information to assist fault localization", Proceedings of the International Conference on Software Engineering, FL, USA, pp.467-477, 2002.
    B. Ganter and R. Wille, Formal Concept Analysis: Mathematical Foundations, Springer-Verlag, Berlin, 1986.
    B. Li, X. Sun and J. Keung, "Fca-cia: An approach of using fca to support cross-level change impact analysis for object oriented java programs", Information & Software Technology, Vol.55, No.8, pp.1437-1449, 2013.
    S. Bohner and R. Arnold, Software Change Impact Analysis, IEEE Computer Society Press, USA, 1996.
    X. Sun, B. Li, S. Zhang and C. Tao, "HSM-based change impact analysis of object-oriented java programs", Chinese of Journal Electronics, Vol.20, No.2, pp.247-251, 2011.
    S. G. Elbaum, A. G. Malishevsky and G. Rothermel, "Prioritizing test cases for regression testing", Proceedings of the International Symposium on Software Testing and Analysis, USA, pp.102-112, 2000.
    R. Abreu, P. Zoeteweij and A. van Gemund, "Spectrum-based multiple fault localization", Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, Belgium, pp.88-99, 2009.
    T. Eisenbarth, R. Koschke and D. Simon, "Locating features in source code", IEEE Transactions on Software Engineering, Vol.29, No.3, pp.195-209, 2003.
    P. Tonella, "Concept analysis for module restructuring", IEEE Transactions on Software Engineering, Vol.27, No.4, pp.351- 363, 2001.
    G. Arvalo, S. Ducasse, S. Gordillo and O. Nierstrasz, "Generating a catalog of unanticipated schemas in class hierarchies using formal concept analysis", Information and Software Technology, Vol.52, No.11, pp.1167-1187, 2010.
    J. Viljamaa, "Reverse engineering framework reuse interfaces", Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Finland, pp.217-226, 2003.
    P. Tonella, "Using a concept lattice of decomposition slices for program understanding and impact analysis", IEEE Transactions on Software Engineering, Vol.29, No.6, pp.495-509, 2003.
    G. Ammons, D. Mandelin, R. Bodik and J. Larus, "Debugging temporal specifications with concept analysis", Proceedings of the Conference on Programming Language Design and Implementation, USA, pp.182-195, 2003.
    S. Khor and P. Grogono, "Using a genetic algorithm and formal concept analysis to generate branch coverage test data automatically", Proceedings of the International Conference on Automated Software Engineering, USA, pp.346-349, 2004.
    H. H. Kim and D. H. Bae, "Object-oriented concept analysis for software modularization", IET Software, Vol.2, No.2, pp.134- 148, 2008.
    A. Elkharraz, P. Valtchev and H. Mili, "Concept analysis as a framework for mining functional features from legacy code", Proceedings of the International Conference on Formal Concept Analysis, Morocco, pp.267-282, 2010.
  • 加载中

Catalog

    通讯作者: 陈斌, bchen63@163.com
    • 1. 

      沈阳化工大学材料科学与工程学院 沈阳 110142

    1. 本站搜索
    2. 百度学术搜索
    3. 万方数据库搜索
    4. CNKI搜索

    Article Metrics

    Article views (544) PDF downloads(1047) Cited by()
    Proportional views
    Related

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return