Toggle Main Menu Toggle Search

Open Access padlockePrints

Mutation Testing for Rule-Based Verification of Railway Signaling Data

Lookup NU author(s): Dr Linas Laibinis, Dr Alexei Iliasov, Professor Alexander Romanovsky

Downloads


Licence

This is the authors' accepted manuscript of an article that has been published in its final definitive form by IEEE , 2021.

For re-use rights please refer to the publisher's terms and conditions.


Abstract

Industry applications of formal verification to signalling control tables require formulation of a large number of mathematical conjectures expressing verification rules. It is paramount to establish the validity and completeness of these conjectures. The paper discusses a mutation based validation technique that guides domain experts in the construction of such verification rules. Furthermore, we use genetic programming to quickly generate millions of well-formed data mutationsof control tables and to synthesise mutation programs. The technique is illustrated by a synthetic running example and adiscussion of our experience in using it in the industrial setting.


Publication metadata

Author(s): Laibinis L, Iliasov A, Romanovsky A

Publication type: Article

Publication status: Published

Journal: IEEE Transactions on Reliability

Year: 2021

Pages: epub ahead of print

Online publication date: 14/01/2021

Acceptance date: 06/01/2021

Date deposited: 01/02/2021

ISSN (print): 0018-9529

ISSN (electronic): 1558-1721

Publisher: IEEE

URL: https://doi.org/10.1109/TR.2020.3047462

DOI: 10.1109/TR.2020.3047462


Altmetrics

Altmetrics provided by Altmetric


Actions

Find at Newcastle University icon    Link to this publication


Share