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.

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