亚历山大·冯·莱恩;托马斯·图姆;伊娜·谢弗;约格·利比希;斯文·阿佩尔 可变编码:从编译时到加载时的可变。 (英语) Zbl 1346.68057号 J.日志。阿尔盖布。方法计划。 85,第1号,第2部分,125-145(2016). 概要:现在许多软件系统都是可配置的。分析可配置系统具有挑战性,尤其是因为(1)系统变体的数量可能随着配置选项的数量呈指数级增长,以及(2)现有的分析工具通常无法用于可配置系统。最近的工作建议自动将编译时可变性转换为加载时可变性(称为可变性编码),目的是重用现有分析工具来分析可配置系统,并与以强制方式分析所有系统变体相比,提高分析性能。然而,对于任何给定的编译时可配置系统,是否可以自动找到有效的可分析加载时可配置的系统尚不清楚。此外,对于许多分析,我们需要确保加载时可配置系统精确地编码所有可以静态导出的系统变量的行为。我们通过开发基于轻量级Java,(2)通过证明变异性编码保留了关于一组核心语言机制的变异行为,(3)通过讨论我们的工作如何扩展到更复杂的语言机制,而这些机制避开了我们的形式模型,以及(4)通过分享我们在实际应用中实现和使用变异性编码的经验。 引用于1文件 MSC公司: 68N20型 编译与解释理论 68甲15 编程语言理论 关键词:可配置系统;可变性编码;轻量级Java 软件:TLA公司;SPLLIFT公司;轻量级Java PDF格式BibTeX公司 XML格式引用 \textit{A.von Rhein}等人,J.Log。阿尔盖布。方法计划。85,第1号,第2部分,125--145(2016;Zbl 1346.68057) 全文: 内政部 参考文献: [1] 阿佩尔,S。;Batory,D。;卡斯特纳,C。;Saake,G.,《面向功能的软件产品线-概念和实施》(2013年10月),Springer [2] 阿佩尔,S。;卡斯特纳,C。;格伦格,A。;Lengauer,C.,面向功能的产品线的类型安全,Autom。柔和。工程师,17,3,251-300(2010) [3] 阿佩尔,S。;卡斯特纳,C。;Lengauer,C.,《语言依赖性和自动化软件组合:FeatureHouse网站经验,IEEE Trans。柔和。工程,39,1,63-79(2013) [4] 阿佩尔,S。;施皮德尔,H。;温德勒,P。;冯·莱因,A。;Beyer,D.,使用特征软件验证检测特征交互,(Proc.ASE(2011),IEEE),372-375 [5] 阿佩尔,S。;冯·莱因,A。;温德勒,P。;格伦格,A。;Beyer,D.,《产品线验证策略:案例研究和实验》(Proc.ICSE(2013),IEEE),482-491 [6] 阿西雷利,P。;贝克,M。;Fantechi,A。;Gnesi,S.,《处理可变性的逻辑框架》(Proc.iFM(2010),Springer),43-58 [7] Batory,D。;Sarvela,J。;Rauschmayer,A.,缩放逐步细化,IEEE Trans。柔和。工程,30,6,355-371(2004) [8] 贝蒂尼,L。;达米亚尼,F。;Schaefer,I.,面向增量的软件产品线的组合类型检查,Acta Inform。,50, 2, 77-122 (2013) ·兹比尔1448.68212 [9] 博登,E。;Mezini,M。;布拉布兰德,C。;托利多,T。;里贝罗,M。;Borba,P.,(SPL^{LIFT}):静态分析软件产品线的时间是几分钟而不是几年,(Proc.PLDI(2013),ACM),355-364 [10] 布拉布兰德,C。;里贝罗,M。;托利多,T。;Winther,J。;Borba,P.,软件产品线的程序内数据流分析,(TAOSD,第10卷(2013)),73-108 [11] 陈,S。;埃尔维格,M。;Walkingshaw,E.,变分lambda演算的容错型系统,(Proc.ICFP(2012),ACM),29-40·Zbl 1291.68111号 [12] Classen,A。;科迪,M。;肖本斯,P.-Y。;海曼斯,P。;Legay,A。;Raskin,J.-F.,《特征转换系统:验证可变密集型系统的基础及其在LTL模型检查中的应用》,IEEE Trans。柔和。工程师,39、8、1069-1089(2013) [13] Classen,A。;海曼斯,P。;肖本斯,P.-Y。;Legay,A.,《软件产品线的符号模型检查》(Proc.ICSE(2011),ACM),第321-330页 [14] Czarnecki,K。;Antkiewicz,M.,《将特征映射到模型:基于叠加变体的模板方法》(Proc.GPCE(2005),Springer),422-437 [15] Czarnecki,K。;艾森内克,U.,《生成性编程:方法、工具和应用》(2000),艾迪生-韦斯利出版社 [16] 特拉华州,B。;库克·W·。;Batory,D.,《将碎片装配在一起:安全合成的机器检查模型》(Proc.FSE(2009),ACM),243-252 [17] Dubslaff,C。;Klüppelholz,S。;Baier,C.,软件产品线中能量分析的概率模型检查,(Proc.MODULARITY(2014),ACM),169-180 [18] 埃尔维格,M。;Walkingshaw,E.,《选择演算:软件变化的表示》,ACM Trans。柔和。工程方法。,21, 1, 1-27 (2011) [19] Fantechi,A。;Gnesi,S.,《产品系列的行为模型》(Proc.ESEC/FSE:Companion Papers(2007),ACM),521-524 [20] Fischbein,D。;乌奇特尔,S。;Braberman,V.,《软件产品线架构中行为一致性的基础》(Proc.ROSATEA(2006),ACM),39-48 [21] 格内西,S。;Petrocchi,M.,《面向产品线的可执行代数》(Proc.SPLC(2012),ACM),66-73 [22] Gruler,A。;Leucker,M。;Scheitemann,K.,《建模和模型检查软件产品线》(Proc.FMOODS(2008),Springer),113-131 [23] Heymans,P.,《大众的形式方法》(SPLC(2012),ACM),第4页 [24] Igarashi,A。;皮尔斯,B。;Wadler,P.,《Featherweight Java:Java和GJ的最小核心演算》,ACM Trans。程序。语言系统。,23, 3, 396-450 (2001) [25] Kapus,T.,《用TLA+指定系统族》,(WSEAS(2012),世界科学与工程学会),98-103 [26] 卡斯特纳,C。;Apel,S.,《面向特性的软件开发》(Proc.GTTSE(2013),Springer),346-382 [27] 卡斯特纳,C。;阿佩尔,S。;Kuhlemann,M.,重构物理和虚拟分离特征的模型(Proc.GPCE(2009),ACM),157-166 [28] 卡斯特纳,C。;阿佩尔,S。;图姆,T。;Saake,G.,基于注释的类型检查产品线,ACM Trans。柔和。工程方法。,21, 3, 14:1-14:39 (2012) [29] 卡斯特纳,C。;贾鲁索,P。;伦德尔,T。;Erdweg,S。;奥斯特曼,K。;Berger,T.,《存在词汇宏和条件编译的变量感知解析》(Proc.OOPSLA(2011),ACM),805-824 [30] 卡斯特纳,C。;冯·莱因,A。;Erdweg,S。;普施,J。;阿佩尔,S。;伦德尔,T。;Ostermann,K.,《面向变量感知测试》(Proc.FOSD(2012),ACM),1-8 [31] 劳恩罗斯,K。;托宁,S。;Pohl,K.,《产品线工程中领域工件的模型检查》(Proc.ASE(2009),IEEE),269-280 [32] 李比希,J。;阿佩尔,S。;Lengauer,C。;卡斯特纳,C。;Schulze,M.,《四十种基于预处理器的软件产品线的可变性分析》(Proc.ICSE(2010),ACM),105-114 [33] 利比希,J。;卡斯特纳,C。;Apel,S.,分析3000万行C代码中的预处理器注释的规律,(Proc.AAOSD(2011),ACM),191-202 [34] 利比希,J。;冯·莱因,A。;卡斯特纳,C。;阿佩尔,S。;Dörre,J。;Lengauer,C.,可变软件的可扩展分析,(Proc.ESEC/FSE(2013),ACM),81-91 [35] Lochau,M.,软件产品线的基于模型的一致性测试(2012年),TU Braunschweig,博士论文 [36] Midtgaard,J。;布拉布兰德,C。;Wąsowski,A.,软件产品线静态分析的系统推导,(Proc.MODULARITY(2014),ACM),181-192 [37] Milner,R.,《通信和移动系统:Pi-Calculus》(1999),剑桥大学出版社·Zbl 0942.68002号 [38] Nguyen,H。;卡斯特纳,C。;Nguyen,T.,《探索基于插件的web应用程序测试的可变感知执行》(Proc.ICSE(2014)),907-918 [39] Pierce,B.,类型和编程语言(2002),麻省理工出版社 [40] 普拉斯,M。;Ryan,M.,《使用特征构造的特征集成》,科学。计算。程序。,41, 1, 53-84 (2001) ·Zbl 0983.68236号 [41] 邮政,H。;Sinz,C.,《配置提升:验证符合软件配置》(Proc.ASE(2008),IEEE),347-350 [42] 谢弗,I。;Hähnle,R.,《软件产品线工程中的形式化方法》,《计算机》,44,2,82-85(2011) [43] 谢弗,I。;Rabiser,R。;克拉克,D。;贝蒂尼,L。;Benavides,D。;Botterweck,G。;帕塔克,A。;特鲁希略,S。;Villela,K.,《软件多样性:最新技术和视角》,Int.J.Softw。技术工具。传输。,14, 5, 477-495 (2012) [44] Siegmund,N。;冯·莱因,A。;Apel,S.,《基于家庭的绩效测量》(Proc.GPCE(2013),ACM),95-104 [45] 图姆,T。;阿佩尔,S。;卡斯特纳,C。;谢弗,I。;Saake,G.,《软件产品线分析策略的分类和调查》,ACM Compute。调查。,47, 1, 6:1-6:45 (2014) [46] 图姆,T。;谢弗,I。;阿佩尔,S。;Hentschel,M.,软件产品线的基于家族的演绎验证,(Proc.GPCE(2012),ACM),11-20 [47] 托马斯·图姆;Jens Meinike;费比安·本杜恩;马丁·亨切尔(Martin Hentschel);亚历山大·冯·莱恩;Saake,Gunter,《软件产品线的定理证明和模型检查的潜在协同效应》(Proc.SPLC(2014),ACM) [48] 冯·莱因,A。;阿佩尔,S。;卡斯特纳,C。;托马斯·图姆;Schaefer,I.,《PLA模型:产品线分析的组合》(Proc.VaMoS(2013),ACM),73-80 [49] Walkingshaw,E。;卡斯特纳,C。;埃尔维格,M。;阿佩尔,S。;Bodden,E.,《变化数据结构:探索计算中的权衡与变化》(Proc.ONWARD(2014)),213-226 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。