首页> 外文期刊>ACM Computing Surveys >A Classification and Survey of Analysis Strategies for Software Product Lines
【24h】

A Classification and Survey of Analysis Strategies for Software Product Lines

机译:软件产品线分析策略的分类与调查

获取原文
获取原文并翻译 | 示例
           

摘要

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.
机译:近年来,软件产品线工程在工业界和学术界都获得了可观的发展势头。软件产品线是具有共同功能集的一系列软件产品。为了确保软件的正确性和可靠性,软件产品线挑战传统的分析技术,例如类型检查,模型检查和定理证明。由于有效特征组合的数量可能呈指数形式,因此简单地创建和分析产品线的所有产品通常是不可行的。最近,研究人员开始开发分析技术,这些技术将软件产品线的独特特性考虑在内,例如,通过单独检查与功能相关的代码或在分析过程中利用可变性信息来进行分析。产品线分析的新兴领域广泛而多样,因此研究人员和从业人员很难理解它们的异同。我们建议对产品线分析进行分类,以实现系统的研究和应用。基于对123篇研究文章的分类和比较的见解,我们制定了研究议程,以指导未来有关产品线分析的研究。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号