基于特征切片的软件产品线模型检测

• 作者: 刘玉梅 魏欧 黄鸣宇
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 软件产品线 特征切片 三值模型 模型检测
• 年，卷（期）: 2016,（4）
• 所属期刊栏目: 软件与数据库技术
• 页码范围: 167-172
• 页数: 6页
• 分类号: TP311
• 字数: 7791字
• 语种: 中文
• DOI: 10.11896/j.issn.1002-137X.2016.4.034

摘要

特征模型是一种描述软件产品线中共性和可变性特征的通用形式.特征模型象征着所有可能的应用程序配置空间,是实现个性化产品定制的基础.随着软件产品线的规模和复杂程度的增加,如何有效支持以用户需求为基础以及根据特定需求和利益相关者的目标进行个性定制开发是亟待解决的实际问题.提出一种根据用户需求对特征模型进行切片,进一步结合三值逻辑对行为模型进行抽象,最后利用模型检测技术对软件产品线进行验证的方法.实验结果证实了该方法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	魏欧	南京航空航天大学计算机科学与技术学院	31	153	7.0	11.0
2	刘玉梅	南京航空航天大学计算机科学与技术学院	8	12	3.0	3.0
3	黄鸣宇	南京航空航天大学计算机科学与技术学院	9	37	4.0	5.0