论文标题
用于软件密集型系统行为比较的多层次方法
A Multi-level Methodology for Behavioral Comparison of Software-Intensive Systems
论文作者
论文摘要
软件密集型系统不断发展。为了防止无意中引入昂贵的系统缺陷的软件变化，了解它们的影响以降低风险很重要。但是，实际上，在处理具有许多配置和使用场景的巨大工业系统时，几乎不可能预见软件变化的全部影响。为了帮助开发人员进行变更影响分析，我们引入了一种新型的多层次方法，以进行软件密集型系统的行为比较。我们完全自动化的方法基于比较状态机器行为的状态计算机模型。我们将现有的互补比较方法结合到一种新颖的方法中，通过逐渐缩小越来越多的细节来逐步指导用户，从而逐步指导用户。我们通过一项定性探索性现场研究从经验上评估我们的工作，并使用ASML的多个案例研究表明了其实际价值，ASML是开发光刻系统的领先公司。我们的方法显示了防止软件更改系统行为回归的巨大潜力。
Software-intensive systems constantly evolve. To prevent software changes from unintentionally introducing costly system defects, it is important to understand their impact to reduce risk. However, it is in practice nearly impossible to foresee the full impact of software changes when dealing with huge industrial systems with many configurations and usage scenarios. To assist developers with change impact analysis we introduce a novel multi-level methodology for behavioral comparison of software-intensive systems. Our fully automated methodology is based on comparing state machine models of software behavior. We combine existing complementary comparison methods into a novel approach, guiding users step by step though relevant differences by gradually zooming into more and more detail. We empirically evaluate our work through a qualitative exploratory field study, showing its practical value using multiple case studies at ASML, a leading company in developing lithography systems. Our method shows great potential for preventing regressions in system behavior for software changes.
