We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Software Engineering

Title: A Multi-level Methodology for Behavioral Comparison of Software-Intensive Systems

Authors: Dennis Hendriks (1 and 2), Arjan van der Meer (1 and 3), Wytse Oortwijn (1) ((1) ESI (TNO), Eindhoven, The Netherlands, (2) Radboud University, Nijmegen, The Netherlands, (3) Capgemini Engineering, Eindhoven, The Netherlands)
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 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.
Comments: 21 pages, 13 figures, submitted to FMICS 2022
Subjects: Software Engineering (cs.SE); Formal Languages and Automata Theory (cs.FL)
Cite as: arXiv:2205.08201 [cs.SE]
  (or arXiv:2205.08201v1 [cs.SE] for this version)

Submission history

From: Dennis Hendriks [view email]
[v1] Tue, 17 May 2022 09:47:11 GMT (41kb,D)

Link back to: arXiv, form interface, contact.