ePrints

Mutation Testing for Rule-Based Verification of Railway Signaling Data

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

Downloads

• Accepted version [.pdf]

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

Share