We work in the context of a tool set developed for the Italian Railway Network supporting the migration of legacy relay-based interlocking systems to a new software-based implementation. We propose to generate test cases from the analog implementation in a way that they are significant for a comparison with a cycle-based computational model, by leveraging stable states abstraction. Our methodology found actual bugs in the new code that were missed by other analyses, and aids in documenting the expected differences with the legacy behaviors.
Testing the Migration from Analog to Software-Based Railway Interlocking Systems / Becchi, Anna; Cimatti, Alessandro; Scaglione, Giuseppe. - 14682 LNCS:(2024), pp. 219-232. (Intervento presentato al convegno 36th International Conference on Computer Aided Verification, CAV 2024 tenutosi a can nel 2024) [10.1007/978-3-031-65630-9_11].
Testing the Migration from Analog to Software-Based Railway Interlocking Systems
Anna Becchi
;Alessandro Cimatti;
2024-01-01
Abstract
We work in the context of a tool set developed for the Italian Railway Network supporting the migration of legacy relay-based interlocking systems to a new software-based implementation. We propose to generate test cases from the analog implementation in a way that they are significant for a comparison with a cycle-based computational model, by leveraging stable states abstraction. Our methodology found actual bugs in the new code that were missed by other analyses, and aids in documenting the expected differences with the legacy behaviors.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione
