| 一种验证特征模型和软件架构可追溯性的方法 |
| |
| 引用本文： | 周望平,贾霓云.一种验证特征模型和软件架构可追溯性的方法[J].长沙航空职业技术学院学报,2014,14(3):72-77. |
| |
| 作者姓名： | 周望平 贾霓云 |
| |
| 作者单位： | 1. 长沙航空职业技术学院,湖南长沙,410124
2. 湖南大学信息科学与工程学院,湖南长沙,410082 |
| |
| 摘 要： | 基于形式概念分析技术,提出了一种验证特征模型和软件架构之间具有可追溯性的方法。该方法分析了特征的组成,定义了特征模型和软件架构的功能表达式,构造了概念格并提出了两个模型之间的映射规则。与一般的模型可追溯性验证方法相比,该方法更适用于复杂度高的模型,最后通过实例研究说明了方法的有效性。
|
| 关 键 词： | 软件产品线 可追溯性 特征模型 软件架构 形式概念分析 |
A Method for Verifying Traceability between Feature Model and Software Architecture |
| |
| ZHOU Wangping,JIA Niyun.A Method for Verifying Traceability between Feature Model and Software Architecture[J].JOurnal of Changsha Aeronautical Vocational and Technical College,2014,14(3):72-77. |
| |
| Authors: | ZHOU Wangping JIA Niyun |
| |
| Institution: | ZHOU Wangping ,JIA Niyun ( 1. Changsha Aeronautical Vocational and Technical College, Changsha Hunan 410124 ; 2. College of Computer Science and Electronic Engineering, Hunan University, Changsha Hunan 410082 ) |
| |
| Abstract: | Feature modeling is a main stream technology in domain requirement analysis of software product line engineering. Establishing the traceability between feature model and software architecture plays an essential role in improving software quality. Based on Formal Concept Analysis technology,the paper proposed a method to verify traceability between feature model and software architecture. The method analyzed the constitution of the feature,defined feature model and software architecture function expression,and constructed a concept lattice and presented several mapping criteria to analysis it. It is more applicable for higher complexity model,comparing to the other model traceability method. A case study is used to demonstrate the feasibility of the method. |
| |
| Keywords: | software product line traceability feature model software architecture formal concept analysis |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
