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, Emeritus Professor Alexander RomanovskyORCiD

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

Volume: 70

Issue: 2

Pages: 676-691

Print publication date: 01/06/2021

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


Share