Pitfalls in applying model learning to industrial legacy software

Omar al Duhaiby, Arjan Mooij, Hans van Wezep, Jan Friso Groote

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

4 Citations (Scopus)
1 Downloads (Pure)

Abstract

Maintaining legacy software is one of the most common struggles of the software industry, being costly yet essential. We tackle that problem by providing better understanding of software by extracting behavioural models using the model learning technique. The used technique interacts with a running component and extracts abstract models that would help developers make better informed decisions. As promising in theory, as slippery in application it is, however. This report describes our experience in applying model learning to legacy software, and aims to prepare the newcomer for what shady pitfalls lie therein as well as provide the seasoned researcher with concrete cases and open problems. We narrate our experience in analysing certain legacy components at Philips Healthcare describing challenges faced, solutions implemented, and lessons learned.

Original languageEnglish
Title of host publicationLeveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Proceedings
EditorsTiziana Margaria, Bernhard Steffen
Place of PublicationCham
PublisherSpringer
Pages121-138
Number of pages18
ISBN (Electronic)978-3-030-03427-6
ISBN (Print)978-3-030-03426-9
DOIs
Publication statusPublished - 30 Oct 2018
Event8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, (ISoLA 2018) - Limassol, Cyprus
Duration: 5 Nov 20189 Nov 2018
http://www.isola-conference.org/isola2018/

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume11247 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, (ISoLA 2018)
Abbreviated titleISoLA2018
CountryCyprus
CityLimassol
Period5/11/189/11/18
Internet address

Keywords

  • Active learning
  • Legacy software
  • Model learning

Fingerprint Dive into the research topics of 'Pitfalls in applying model learning to industrial legacy software'. Together they form a unique fingerprint.

Cite this