检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:张力生[1] 周亚博 Zhang Lisheng;Zhou Yabo(School of Software Engineering,Chongqing University of Posts and Telecommunications,Chongqing 400065)
出 处:《现代计算机》2021年第25期20-25,共6页Modern Computer
摘 要:软件产品线的规模较大时,由人工从领域特征模型演化出满足多个目标的有效应用特征模型,不仅需要判断领域特征模型的约束条件找出所有的有效应用特征模型,还需要对比所有的有效应用特征模型对多个演化目标的满足度,工作效率低且极易出错。为了解决这个问题,通过描述逻辑形式化方法将领域特征模型到应用特征模型的演化问题转化为多目标优化问题并使用多目标优化算法自动化求解,最后通过实验验证了方法的有效性。When the scale of software product line is large,the effective application feature model that satisfies multiple objectives is evolved from the domain feature model manually.It not only needs to judge the constraints of the domain feature model,find out all the effective application feature models,but also needs to compare the satisfaction of all the effective application feature models to multiple evolutionary objectives,which is inefficient and prone to errors.In order to solve this problem,the evolution problem from domain feature model to application feature model is transformed into a multi-objective optimization problem by formal description logic method,and the multi-objective optimization algorithm is used to solve the problem automatically.Finally,the effectiveness of the method is verified by experiments.
分 类 号:TP311.52[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:18.222.213.240