A Classification and Survey of Analysis Strategies for Software Product Lines

A Classification and Survey of Analysis Strategies for Software Product Lines
复制标题

DOI:
10.1145/2580950
复制
发表时间:
2014-07-01
影响因子:
16.6
通讯作者:
Saake, Gunter
Saake, Gunter
中科院分区:
计算机科学1区
文献类型:
--
作者:
Thuem, Thomas;Apel, Sven;Saake, Gunter

文献摘要

被引文献

相似文献

近年来,无论是在行业还是学术界,软件产品线工程都取得了巨大的势头。软件产品线是共享一组通用功能的软件产品系列。软件产品线挑战传统分析技术,例如类型检查,模型检查和定理,以确保软件的正确性和可靠性。由于有效的功能组合数量可能是指数级的,因此通常不可行创建和分析产品线的所有产品。最近,研究人员开始开发分析技术,这些技术将软件产品线的显着特性(例如,通过孤立地检查与特征相关的代码)进行了考虑或通过在分析过程中利用可变性信息来考虑。产品线分析的新兴领域既广泛又多样,因此研究人员和从业者很难理解其相似性和差异。我们建议对产品线分析进行分类,以实现系统的研究和应用。基于我们对123篇研究文章的分类和比较语料库进行分类和比较的见解,我们制定了一个研究议程,以指导未来的产品线分析研究。
Software-product-line engineering has gained considerable momentum in recent years, both in industry and in academia. A software product line is a family of software products that share a common set of features. Software product lines challenge traditional analysis techniques, such as type checking, model checking, and theorem proving, in their quest of ensuring correctness and reliability of software. Simply creating and analyzing all products of a product line is usually not feasible, due to the potentially exponential number of valid feature combinations. Recently, researchers began to develop analysis techniques that take the distinguishing properties of software product lines into account, for example, by checking feature-related code in isolation or by exploiting variability information during analysis. The emerging field of product-line analyses is both broad and diverse, so it is difficult for researchers and practitioners to understand their similarities and differences. We propose a classification of product-line analyses to enable systematic research and application. Based on our insights with classifying and comparing a corpus of 123 research articles, we develop a research agenda to guide future research on product-line analyses.