Support for correct evolution of software product lines

支持软件产品线的正确演进

• 批准号: 221712533
• 负责人: Professor Dr. Rainer Koschke
• 金额: --
• 依托单位: Arbeitsgruppe Software Systems Engineering
• 依托单位国家: 德国
• 项目类别: Priority Programmes
• 财政年份: 2012
• 资助国家: 德国
• 起止时间: 2011-12-31 至 2016-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/221712533?language=en
• 关键词: Support; correct; evolution; software; product

Today software is often developed as a set of related products that are derived from a common infrastructure, a so-called software product line. A major issue in product line engineering is the continuous evolution of the product line as all products are intimately connected and the total lifetime of a product line is longer than that of any of its derived products. In this project, we will study long-living software product lines and their continuous evolution with a specific focus on embedded systems and in particular industry automation systems. In these domains, variability is often implemented statically through preprocessor directives or dynamically through setting configuration variables at initialization time or later at runtime. Despite their relevance, these variability techniques are still only insufficiently researched. We will develop techniques to check the integrity of a product line implementationwhenever it is changed during its evolution. That is, as opposed to most other work on the analysis of product lines, the focus will not be on the analysis of one particular version of a product line, but on the difference introduced when modifying a product line. The project will combine reverse engineering, program analysis, and formal product line analysis to discover the introduction of flaws through evolutionary changes. These flaws often arise from unintended side effects of evolution activities related to a feature. The project will take a comprehensive approach, taking into account maintenance actions related to the variability model as well as implementation changes and also from combinations of both.

如今，软件通常被开发为一组相关产品，这些产品源自公共基础设施，即所谓的软件产品线。产品线工程的一个主要问题是产品线的不断发展，因为所有产品都紧密相连，并且产品线的总生命周期比其任何派生产品的生命周期都要长。在这个项目中，我们将研究长期存在的软件产品线及其不断发展，特别关注嵌入式系统，特别是工业自动化系统。在这些领域中，可变性通常通过预处理器指令静态实现，或者通过在初始化时或稍后在运行时设置配置变量动态实现。尽管它们具有相关性，但这些可变性技术仍然没有得到充分的研究。我们将开发技术来检查产品线实施的完整性，无论何时产品线在其发展过程中发生变化。也就是说，与大多数其他产品线分析工作不同，重点不是分析产品线的一个特定版本，而是分析修改产品线时引入的差异。该项目将结合逆向工程、程序分析和正式产品线分析，以发现通过演化变化引入的缺陷。这些缺陷通常是由与某个特征相关的进化活动的意外副作用引起的。该项目将采取综合方法，考虑与可变性模型相关的维护行动以及实施变更以及两者的组合。