从业务流程到课程管理，变化密集型软件系统（VIS）现在无处不在。可以通过激活选项来配置这些系统的行为，例如，以派生处理建筑许可证的变体。。。$\mathrm{}$$\mathrm{}$

突变测试（MT）是一种通过在系统中引入人工缺陷（称为突变）来评估测试效果的技术。目的是评估这些测试检测这些突变的能力。这些人为失误是。。。

尽管布尔可满足性问题具有NP完备性，但它产生了高效的工具，能够找到布尔公式的解并计算其数值。布尔公式紧凑地编码了巨大的受限搜索空间。。。

均匀随机抽样（URS）是从布尔公式中选择解决方案（模型）的问题，以便每个解决方案获得相同的被选择概率。URS有许多应用。在大型可配置软件系统中，需要一个。。。

将行为映射到与其相关的特征是可变密集型系统（VIS）逆向工程的先决条件。手动提供整个映射需要耗费大量劳动力。在黑盒场景中，只有执行跟踪可用（例如。，。。。

欢迎参加第27届ACM国际系统和软件产品线会议（SPLC 2023）。SPLC是从事系统和软件产品线相关领域工作的从业者、研究人员和教育工作者的繁荣之地。随着。。。

指挥与控制（C2）是一个广泛的概念，包括个人和组织为实现目标而进行的协调。然而，军事和救灾行动等动态和不确定场景目前。。。

• 指挥和控制灵活性是指系统处理环境变化的能力。

BURST是统一随机抽样（URS）技术的基准测试平台。给定：i）作为布尔公式（DIMACS）提供的采样空间的描述，以及ii）采样预算（时间和一致性强度），BURST。。。

• SAT公式解的统一生成是软件工程和人工智能的一个理论和实践问题。

软件可变性工程从机器学习（ML）中受益，例如学习可变性感知性能模型，探索感兴趣的变量并将其能量影响降至最低。随着可变性与ML相结合的应用数量的增加。。。

自适应系统（SAS）根据环境变化或用户请求在运行时改变其行为和结构。为此，SAS在其适应过程中结合了体系结构片段或解决方案。然而，这个过程。。。

变量密集型系统（VIS）形成了一类大型异构系统，其行为可以通过启用或禁用预定义功能进行修改。可变机制允许软件适应其用户的需求。。。

自适应系统（SAS）根据环境变化和重新配置计划和目标，在运行时改变其行为和结构。此类系统在其（重新）配置过程中结合了架构片段或解决方案。。。

我们介绍了BURST，一个统一随机抽样技术的基准测试平台。有了BURST，研究人员就有了一个灵活可控的环境，可以在其中评估采样的可扩展性和一致性。突发事件带来了广泛的-。。。

业务流程必须进行管理易变性在执行过程中，例如在不同的城市交付正确的建筑许可证。这种可变性在事件日志中可见，其中事件序列由核心流程共享（构建。。。

机器学习正在被集成到越来越多对社会产生深远影响的关键系统中。由于这种广泛使用及其理论……，意外行为和不公平决策过程正受到越来越多的审查。。。

软件产品线（SPL）工程允许通过设置大量配置选项来派生针对涉众需求定制的产品。不幸的是，选项及其交互创建了一个巨大的配置。。。

这是文章的扩展摘要：阿克塞尔·哈林、亚历山大·纳丁克、马修·阿切尔、泽维尔·德夫罗伊、吉尔斯·佩鲁因和贝诺伊·鲍德利。2018年。测试所有这些，值得吗？正在JHipster Web开发堆栈上评估配置采样。。。