形式概念分析在软件工程中的应用综述  

A Survey on Application of FCA in Software Engineering

作　　者：臧国轻[1] 李瑞光[1] 郑珂[1] ZANG Guoqing;LI Ruiguang;ZHENG Ke(School of Computer and Information Engineering, Henan University, Henan Kaifeng 475004, Chin)

机构地区：[1]河南大学计算机与信息工程学院,河南开封475004

出　　处：《河南大学学报（自然科学版）》2018年第3期309-317,共9页Journal of Henan University:Natural Science

基　　金：国家自然科学基金项目(61402149)

摘　　要：传统软件开发过分地依赖于文档,导致其开发效率不高及灵活性不强的问题.形式概念分析(Formal Concept Analysis,FCA)理论通过对数据集中对象和属性之间的二元关系建立概念层次结构,生动简洁地体现了概念之间的泛化和特化关系,再运用格代数理论对数据进行分析.为此,将FCA与概念格技术引入软件工程领域,比如软件维护和面向对象中的类识别任务等,能够提取出有效的信息以便开发人员读取,从而提高了软件的开发效率和灵活性.根据软件开发的不同阶段,介绍FCA与概念格技术在该环节的具体应用方式及优缺点,并在此基础上分析出在软件完整性、合格检测及大规模软件开发应用中等进一步需要研究的内容.Traditional software development depends on the documents excessively,which reduces the development efficiency and lowers the development flexibility.We observe that Formal Concept Analysis（FCA）theory has the characteristics that can build concept hierarchy between binary relation of objects and attributes in the dataset,and embody the generalization and specialization relationship among concepts vividly and succinctly.Then,the lattice algebra theory can be used to analyze the characteristics of the data.Therefore,researchers introduces FCA and Concept lattice technology into software engineering,such as software maintenance or classes recognition task in object-oriented programming.The technology can extract the effective information in documents for easy reading,thus improving the development efficiency and flexibility of the software.According to the different stages of software development,this paper introduced the specific applications with FCA and concept lattice technology and their advantages and disadvantages,which has also given analysis of software integrity,qualified test and the application of large-scale software development on the basis of the applications and contents that need to research in the future.

关 键 词：形式概念分析 软件工程 概念格 软件完整性 格代数理论 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]