面向软件产品线中特征选择的多目标优化算法
作者:
基金项目:

国家自然科学基金(61370058)


Multi-Objective Optimization Algorithm for Feature Selection in Software Product Lines
Author:
Fund Project:

National Natural Science Foundation of China (61370058)

  • 摘要
  • | |
  • 访问统计
  • |
  • 参考文献 [31]
  • |
  • 相似文献
  • | | |
  • 文章评论
    摘要:

    软件产品线中,产品定制的核心是选择合适的特征集.由于多个非功能需求间往往相互制约甚至发生冲突,特征选择的本质是多目标优化过程.优化过程的搜索空间被特征间错综复杂的依赖和约束关系以及明确的功能需求大大限制.另外,有些非功能需求有明确的数值约束,而有些则仅要求尽可能地得到优化.多样的非功能需求约束类型也给优化选择过程带来极大的挑战.提出一种含修正算子的多目标优化算法MOOFs.首先,设计特征间依赖和约束关系描述语言DL-DCF来统一规范特征选择过程中必须遵守的规则,所有的非功能需求都转化为优化目标,相关的数值约束则作为优化过程中特征选择方案的过滤器.另外,设计了修正算子用于保证选择出的特征配置方案必满足产品线的特征规则约束.通过与4种常用的多目标优化算法在4个不同规模的特征模型上的运行结果进行对比,表明该方法能够更快地产生满足约束的优化解,且优化解具备更好的收敛性与多样性.

    Abstract:

    In software product lines, the core of product customization is to select appropriate features.Due to the various competing and even conflicting non-functional requirements (NFRs), feature selection, in essential, is a multi-objective optimization process.What's more, the search space in optimization is constrained largely by the relationships between features and the definitive functional requirements (FRs).Besides, some NFRs are with clear numerical limits, while others are not.These varied types of NFRs also present challenges for feature selection.To solve these problems, a novel multi-objective optimization algorithm with a feature selection reviser is proposed.Firstly, description language for the dependency and constraints relationships between features (DL-DCF) are designed to format different types of relationships between features uniformly, which stipulates the coexistence of two or more features.Next, during selection, all NFRs are transformed to optimization goals, and the quantified constraints on NFRs are used as filters to exclude invalid solutions.Furthermore, a reviser is designed to repair the configuration which violates any relation between features or FRs.Finally, the reviser is planted into the multi-objective optimization framework to form the proposed algorithm, MOOFs, to perform feature selection.Comparing with four popular baselines running on four feature models with different scales, empirical results show notable performance improvement of the algorithm on efficiency of valid solution generation and on the multiple NFRs balancing, especially when the feature models are large and complex.

    参考文献
    [1] Clements P, Northrop L.Software Product Lines: Practices and Patterns.3rd ed., Boston: Addison-Wesley Professional, 2001.
    [2] Clements P, Northrop L, Wrote; Zhang L, Wang L, Trans.Software Product Lines: Practices and Patterns.Beijing: Tsinghua University Press, 2004 (in Chinese).
    [3] Bosch J.Design and Use of Software Architectures: Adopting and Evolving a Product-Line Approach.New York: ACM Press/Addison-Wesley Publishing Co., 2000.
    [4] Kang K, Cohen S, Hess J, Novak W, Peterson S.Feature-Oriented domain analysis (FODA) feasibility study.CMU/SEI-90-TR-21.Pittsburgh: Carnegie-Mellon University Pittsburgh Pa Software Engineering Inst, 1990.1-161.
    [5] Benavides D, Ruiz-Cortés A, Trinidad P.Automated reasoning on feature models.In: Pastor O, et al, eds.Proc.of the 17th Int'l Conf.on Advanced Information Systems Engineering (CaiSE 2005).Berlin, Heidelberg: Springer-Verlag, 2005.491-503.[doi: 10.1007/11431855_34]
    [6] Siegmund N, Kuhlemann M, Rosenmüller M, Kästner C, Saake G.Integrated product line model for semi-automated product derivation using non-functional properties.In: Heymans P, Yang KC, Metzger A, Pohl K, eds.Proc.of the Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS 2008).2008.25-32.http://www.cs.cmu.edu/~ckaestne/pdf/tmp/vamos08.pdf
    [7] Siegmund N, Rosenmüller M, Kuhlemann M, Kästner C, Apel S, Saake G.SPL conqueror: Toward optimization of non-functional properties in software product lines.Software Quality Journal, 2012,20(3-4):487-517.[doi: 10.1007/s11219-011-9152-9]
    [8] Sayyad AS, Menzies T, Ammar H.On the value of user preferences in search-based software engineering: A case study in software product lines.In: Notkin D, Cheng BHC, Pohk K, eds.Proc.of the 2013 Int'l Conf.on Software Engineering (ICSE 2013).Piscataway: IEEE Press, 2013.492-501.[doi: 10.1109/ICSE.2013.6606595]
    [9] White J, Dougherty B, Schmidt DC.Automated reasoning for multi-step feature model configuration problems.In: Proc.of the 13th Int'l Software Product Line Conf.(SPLC 2009).2009.11-20.http://dl.acm.org/citation.cfm?id=1753238
    [10] Guo J, White J, Wang G, Li J, Wang Y.A genetic algorithm for optimized feature selection with resource constraints in software product lines.Journal of Systems and Software, 2011,84(12):2208-2221.[doi: 10.1016/j.jss.2011.06.026]
    [11] Mendonca M, Branco M, Cowan D.S.P.L.O.T.-Software product lines online tools.In: Proc.of the 24th ACM SIGPLAN Int'l Conf.on Object-Oriented Programming, Systems Languages and Applications (OOPSLA 2009).New York: ACM Press, 2009.761-762.http://www.splot-research.org/[doi: 10.1145/1639950.1640002]
    [12] Benavides D, Segura S, Ruiz-Cortés A.Automated analysis of feature models 20 years later: A literature review.Information Systems, 2010,35(6):615-636.[doi: 10.1016/j.is.2010.01.001]
    [13] Mendonca M, Wasowski A, Czarnecki K.SAT-Based analysis of feature model is easy.In: Proc.of the 13th Int'l Software Product Line Conf.(SPLC 2009).Pittsburgh: Carnegie Mellon University, 2009.231-240.http://dl.acm.org/citation.cfm?id=1753267
    [14] Bakar NH, Kasirun ZM, Salleh N.Feature extraction approaches from natural language requirements for reuse in software product lines: A systematic literature review.Journal of Systems and Software, 2015,106:132-149.[doi: 10.1016/j.jss.2015.05.006]
    [15] Nie KM, Zhang L.A software product line domain requirement model construction method based on model difference and model composition.Chinese Journal of Computers, 2014,37(3):539-550 (in Chinese with English abstract).[doi: 10.3724/SP.J.1016.2014.00539]
    [16] Zitzler E, Kunzli S.Indicator-Based selection in multiobjective search.In: Yao X, Burke EK, et al., eds.Proc.of the Parallel Problem Solving from Nature (PPSN VⅢ).Berlin, Heidelberg: Springer-Verlag, 2004.832-842.[doi: 10.1007/978-3-540-30217-9_84]
    [17] Sayyad AS, Ingram J, Menzies T, Ammar H.Scalable product line configuration: A straw to break the camel's back.In: Proc.of the 28th Int'l Conf.on Automated Software Engineering (ASE 2013).IEEE, 2013.465-474.[doi: 10.1109/ASE.2013.6693104]
    [18] Sayyad AS, Ammar H.Pareto-Optimal search-based software engineering (POSBSE): A literature survey.In: Harrison R, Mernik M, et al., eds.Proc.of the 2nd Int'l Workshop on Realizing Artificial Intelligence Synergies in Software Engineering (RAISE).IEEE, 2013.21-27.[doi: 10.1109/RAISE.2013.6615200]
    [19] Deb K, Pratap A, Agarwal S, Meyarivan T.A fast and elitist multiobjective genetic algorithm: NSGA-Ⅱ.IEEE Trans.on Evolutionary Computation, 2002,6(2):182-197.[doi: 10.1109/4235.996017]
    [20] Zitzler E, Laumanns M, Thiele L.SPEA2: Improving the strength Pareto evolutionary algorithm.In: Giannakoglou KC, ed.Evolutionary Methods for Design, Optimisation and Control with Application to Industrial Problems (Eurogen).2001,3242(103): 95-100.
    [21] Durillo JJ, Nebro AJ.jMetal: A framework for multi-objective optimization.Advances in Engineering Software, 2011,42(10): 760-771.[doi: 10.1016/j.advengsoft.2011.05.014]
    [22] Durillo JJ, Nebro AJ.jMetal 4.4 User Manual.2013.
    [23] Zitzler E, Thiele L.Multiobjective evolutionary algorithms: A comparative case study and the strength Pareto approach.IEEE Trans.on Evolutionary Computation, 1999,3(4):257-271.[doi: 10.1109/4235.797969]
    [24] Van Veldhuizen DA, Lamont GB.Multiobjective evolutionary algorithm research: A history and analysis.Technical Report, TR-98-03, Wright-Patterson: Dept.Elec.Comput.Eng., Graduate School of Eng., Air Force Inst.Technol., 1998.
    [25] Arcuri A, Briand L.A practical guide for using statistical tests to assess randomized algorithms in software engineering.In: Proc.of the 33rd Int'l Conf.on Software Engineering (ICSE 2011).New York: ACM Press, 2011.1-10.[doi: 10.1145/1985793.1985795]
    [26] Soltani S, Asadi M, Gašević D, Hatala M, Bagheri E.Automated planning for feature model configuration based on functional and non-functional requirements.In: Proc.of the 16th Int'l Software Product Line Conf.(SPLC 2012).New York: ACM Press, 2012.56-65.[doi: 10.1145/2362536.2362548]
    [27] Asadi M, Soltani S, Gasevic D, Hatala M, Bagheri E.Toward automated feature model configuration with optimizing non-functional requirements.Information and Software Technology, 2014,56(9):1144-1156.[doi: 10.1016/j.infsof.2014.03.005]
    [28] White J, Dougherty B, Schmidt DC.Selecting highly optimal architectural feature sets with filtered cartesian flattening.Journal of Systems and Software, 1999,82(8):1268-1284.[doi: 10.1016/j.jss.2009.02.011]
    [29] Berger T, She S, Lotufo R, Wasowski A, Czarnecki K.Variability modeling in the real: A perspective from the operating systems domain.In: Raskin JF, ed.Proc.of the IEEE/ACM Int'l Conf.on Automated Software Engineering (ASE 2010).New York: ACM Press, 2010.73-82.[doi: 10.1145/1858996.1859010]
    [2] Clements P,Northrop L,著;张莉,王雷,译.软件产品线实践与模式.北京:清华大学出版社,2004.
    [15] 聂坤明,张莉.基于模型对比和组合的软件产品线领域需求建模.计算机学报,2014,37(3):539-550. [doi: 10.3724/SP.J.1016.2014.00539]
    相似文献
    引证文献
    网友评论
    网友评论
    分享到微博
    发 布
引用本文

连小利,张莉.面向软件产品线中特征选择的多目标优化算法.软件学报,2017,28(10):2548-2563

复制
分享
文章指标
  • 点击次数:3005
  • 下载次数: 3982
  • HTML阅读次数: 1515
  • 引用次数: 0
历史
  • 收稿日期:2015-07-13
  • 最后修改日期:2015-11-18
  • 在线发布日期: 2016-10-19
文章二维码
您是第19754391位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号