摘要

软件产品线的规模较大时,由人工从领域特征模型演化出满足多个目标的有效应用特征模型,不仅需要判断领域特征模型的约束条件找出所有的有效应用特征模型,还需要对比所有的有效应用特征模型对多个演化目标的满足度,工作效率低且极易出错。为了解决这个问题,通过描述逻辑形式化方法将领域特征模型到应用特征模型的演化问题转化为多目标优化问题并使用多目标优化算法自动化求解,最后通过实验验证了方法的有效性。