基于二分决策图的特征模型验证方法

• 作者: 张伟 梅宏 赵海燕 闫华
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 特征模型 验证 BDD(binary decision diagram) 领域工程 软件复用
• 年，卷（期）: 2010,（1）
• 所属期刊栏目: 系统软件与软件工程
• 页码范围: 84-97
• 页数: 14页
• 分类号: TP311
• 字数: 10297字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2010.03525

摘要

特征模型是领域分析活动产生的具有复用价值的软件需求模型.对特征模型的复用通常采用定制的方式.特征模型定制中的一个重要问题是验证问题.该问题的存在是因为特征之间往往具有一定的约束关系,而一个合法的定制结果必须保证特征之间所有约束关系的被满足性.由于特征模型验证问题NP-hard所具有的性质,如何高效地进行特征模型的验证就成为一件相对困难的事情.在深入挖掘特征模型验证问题特殊性的基础上,将这种特殊性和二分决策图的结构特点进行了有效的结合,提出了一种通过对二分决策图的一次遍历即能实现特征模型验证的方法.需要指出的是,该方法并非试图在一般意义上解决特征模型验证问题中NP-hard的困难性,而是尽可能地利用该问题的特殊性,以提高处理特征模型定制问题的规模和效率.实验数据表明,相比较以前采用的验证方法,基于BDD(binary decision diagram)的方法在处理特征模型验证问题的规模和效率上都具有显著的提高.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张伟		61	784	13.0	27.0
3	赵海燕		42	297	8.0	16.0
5	闫华		17	261	9.0	16.0