Print Email Facebook Twitter A Multi-level Methodology for Behavioral Comparison of Software-Intensive Systems Title A Multi-level Methodology for Behavioral Comparison of Software-Intensive Systems Author Hendriks, D. van der Meer, A. Oortwijn, W. Contributor Huisman, J.F. (editor) Groote, M. (editor) Publication year 2022 Abstract 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 through relevant differences by gradually zooming in on more and more details. 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. Subject Behavioral ComparisonChange Impact AnalysisCyber-Physical SystemsSoftware BehaviorState MachinesEmbedded systemsLithographyBehavioral comparisonChange impact analysisMultilevelsSoftware behaviorSoftware changeSoftware intensive systemsSystem defects To reference this document use: http://resolver.tudelft.nl/uuid:c0094b40-cb48-4004-b075-3b8c04daca27 DOI https://doi.org/10.1007/978-3-031-15008-1_15 TNO identifier 976935 Publisher Springer Science and Business Media Deutschland GmbH ISBN 9783031150074 ISSN 0302-9743 Source Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, 14 September 2022 through 15 September 2022, 226-243 Bibliographical note Author-version/Pre-print. Document type conference paper Files To receive the publication files, please send an e-mail request to TNO Library.