软件产品线中的特征组合失效问题研究

摘要

基于特征的软件产品线开发方法已经得到广泛应用。同时，如何正确并合理地处理特征对应用实现的影响也值得深入研究。一方面，软件产品线的特征之间存在依赖关系，这使得实现特征的代码模块之间同样具有密切关联。另一方面，具有可变性的特征在应用系统中的绑定决策会对特征依赖所指示的模块组装产生重要影响，甚至引发错误。例如，在特征选择时，如果某个具有可变性的特征未被绑定，并且该特征被其它必选特征或者已绑定的特征所依赖，这将使得最终的应用系统在模块组装过程中因为遗漏了部分实现代码，从而引起应用系统在编译过程中出现类型错误。本文将这类由特征可变性绑定决策所引起的特征模块组装问题称为特征组合失效问题。
　　以软件构件技术和面向特征编程(FOP)技术为基础形成了两种对应的软件产品线开发过程。针对软件产品线开发过程中存在的特征组合失效问题，本文通过使用依赖、修改依赖和激活依赖这三种特征依赖分类，以及结合可选、多选一和多选多这三种可变性类型对该问题进行了系统、全面的分析，同时针对基于FOP的软件产品线开发过程中可能出现的特征组合失效问题及其发生场景进行了详细描述。
　　在软件产品线中的特征组合失效问题的详细分析基础上，本文提出一种特征模块的垂直分解模式，其核心机制在于将可变性引入至特征模块内部。基于该模式，本文提出一种基于可变性绑定的特征模块组装过程。通过将特征模块的垂直分解模式与基于可变性绑定的特征模块组装过程相结合，本文提出一种可以有效地解决基于FOP的软件产品线开发过程中的特征组合失效问题的方法，并对基于构件的软件产品线开发过程中该问题的解决提供指导。通过对本文方法的应用，软件产品线组织能够有效提高产品线核心资产的可适应性、可伸缩性和可配置性。

目录

摘要

第一章 引言

1．1 研究背景

1．2 相关研究工作

1．3 本文主要贡献

1．4 本文篇章结构

第二章 背景知识

2．1 软件产品线

2．1．1 软件产品线概述

2．1．2 软件产品线工程

2．1．3 面向特征的软件产品线研究方法

2．1．4 基于构件的软件产品线开发过程

2．2 面向特征编程FOP

2．2．1 FOP的基本介绍

2．2．2 FOP的特征组装机制

2．2．3 FOP的模块分解机制

2．2．4 FOP的开发模型

2．2．5 基于FOP的软件产品线开发过程

2．3 特征依赖

2．3．1 使用依赖

2．3．2 修改依赖

2．3．3 激活依赖

2．4 本章小结

第三章 特征组合失效问题

3．1 特征组合失效问题的定义

3．2 特征组合失效问题分析的意义

3．3 FOP中的特征组合失效问题

3．3．1 使用依赖场景

3．3．2 修改依赖场景

3．3．3 激活依赖场景

3．4 CB-SPL中的特征组合失效问题

3．5 特征组合失效与特征交互

3．6 本章小结

第四章 特征模块的垂直分解模式及其应用

4．1 特征模块的垂直分解模式

4．2 基于可变性绑定的模块组装过程

4．3 FOP中的特征组合失效问题的解决方法

4．3．1 使用依赖场景的处理方式

4．3．2 修改依赖场景的处理方式

4．3．3 激活依赖场景的处理方式

4．4 方法评估

4．4．1 方法适用性的讨论

4．4．2 与CB-SPL中相关方法的对比评估

4．5 本章小结

第五章 案例研究

5．1 案例研究

5．2 本章小结

第六章 总结与展望

6．1 工作总结

6．2 工作展望

参考文献

攻读硕士期间发表的学术论文

致谢

声明