| 基于二分决策图的特征模型验证方法 |
| |
| 作者姓名： | 闫华 张伟 赵海燕 梅宏 |
| |
| 作者单位： | 高可信软件技术教育部重点实验室,北京大学,北京,100871;北京大学,信息科学技术学院,软件研究所,北京,100871;高可信软件技术教育部重点实验室,北京大学,北京,100871;北京大学,信息科学技术学院,软件研究所,北京,100871;高可信软件技术教育部重点实验室,北京大学,北京,100871;北京大学,信息科学技术学院,软件研究所,北京,100871;高可信软件技术教育部重点实验室,北京大学,北京,100871;北京大学,信息科学技术学院,软件研究所,北京,100871 |
| |
| 基金项目： | Supported by the National Natural Science Foundation of China under Grant Nos.60528006, 60703065, 60873059 (国家自然科学基金); the National High-Tech Research and Development Plan of China under Grant Nos.2006AA01Z156, 2007AA01Z123 (国家高技术研究发展计划(863)); the National Basic Research Program of China under Grant No.2005CB321805 (国家重点基础研究发展计划(973)) |
| |
| 摘 要： | 特征模型是领域分析活动产生的具有复用价值的软件需求模型.对特征模型的复用通常采用定制的方式.特征模型定制中的一个重要问题是验证问题.该问题的存在是因为特征之间往往具有一定的约束关系,而一个合法的定制结果必须保证特征之间所有约束关系的被满足性.由于特征模型验证问题NP-hard所具有的性质,如何高效地进行特征模型的验证就成为一件相对困难的事情.在深入挖掘特征模型验证问题特殊性的基础上,将这种特殊性和二分决策图的结构特点进行了有效的结合,提出了一种通过对二分决策图的一次遍历即能实现特征模型验证的方法.需要指出的是,该方法并非试图在一般意义上解决特征模型验证问题中NP-hard的困难性,而是尽可能地利用该问题的特殊性,以提高处理特征模型定制问题的规模和效率.实验数据表明,相比较以前采用的验证方法,基于BDD(binary decision diagram)的方法在处理特征模型验证问题的规模和效率上都具有显著的提高.
|
| 关 键 词： | 特征模型 验证 BDD(binary decision diagram) 领域工程 软件复用 |
| 收稿时间： | 2008-05-16 |
| 修稿时间： | 2008-10-28 |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载免费的PDF全文 |
|
