Integrated Model-based Testing of Continously Evolving Software Product Lines (IMoTEP)

自动化工程师经常面临的问题，以维持长期生活的安全关键过程控制软件的家庭。有效地开发这种类型的软件的一个有前途的范例是（动态）软件产品线（SPL）工程，它支持类似应用程序的软件产品系列的系统开发。然而，现有的SPL方法提供的集成质量保证和软件的演变随着时间的推移，只有很少的支持。特别是，只有几种方法，没有简洁的方法来测试不断发展的SPL及其应用程序，直到现在。对于自动化系统来说，特别需要这样的支持，因为这里的修改通常必须在严格的安全约束下进行-有时甚至在运行的系统中。因此，我们提出了一种方法，管理动态SPL的自动化工程领域的发展，特别注重高效的基于模型的测试技术。SPL测试套件需要（1）系统离线测试的代表性的产品集在其开发环境和（2）在线测试的重新配置产品在其运行时环境中的生成和增量更新使用模型检查，约束求解和模型转换技术的混合。集成的通用功能建模和特定领域（测试）建模语言与标准模型和新的功能模型/基于交互的覆盖标准一起使用。所涉及的模型及其元模型以及相关的模型处理算法在设计和运行时都要使用。总体目标是支持产品的预定义重新配置和完整产品线的不可预见的演变，特别关注其测试套件的适应。

Automation engineers are regularly faced with the problem to maintain long living safety critical process control software families. A promising paradigm for developing this type of software efficiently is (dynamic) software product line (SPL) engineering; it supports the systematic development of software product families of similar applications. However, existing SPL approaches offer only little support for integrated quality assurance and evolution of software over time. In particular, there exist only few approaches and no concise methodology for testing evolving SPLs and their applications until now. For automation systems, there is a particular need for such a support, since here modifications often have to be conducted under hard safety constraints—sometimes even in a running system. We hence propose an approach for managed dynamic SPL evolution in the automation engineering domain with a particular focus on efficient model-based testing techniques. SPL test suites needed for (1) systematic offline testing of representative sets of products in their development environments and (2) online testing of reconfigurating products in their runtime environments are generated and incrementally updated using a mixture of model checking, constraint solving, and model transformation techniques. Integrated general purpose feature modeling and domain-specific (test) modeling languages are used together with standard model- and new feature model/interaction-based coverage criteria for that purpose. The involved models and their metamodels as well as the associated model processing algorithms are used both at design and runtime. The overall aim is to support both predefined reconfigurations of products and unforeseen evolution of full product lines with a specific focus on the adaptation of their test suites.