cl-banner

Simulated Time for Testing Railway Interlockings with TTCN-3

Stefan Blom, Natalia Ioustinova, Jaco van de Pol, Axel Rennoch, and Natalia Sidorova

Proceedings of the 5th International Workshop on Formal Approaches to Software Testing (FATES 2005), Lecture Notes in Computer Science 3997, pp. 1 – 15, 2006.

Abstract

Railway control systems are timed and safety-critical. Testing these systems is a key issue. Prior to system testing, the software of a railway control system is tested separately from the hardware. Here we show that real time and scaled time semantics are inefficient for testing this software. We provide a time semantics with simulated time and show that this semantics is more suitable for testing of software of railway control systems. 

TTCN-3 is a standardized language for specifying and executing test suites. It supports real time and scaled time but not simulated time. We provide a solution that allows simulated time testing with TTCN-3. Our solution is based on Dijkstra’s distributed termination detection algorithm. The solution is implemented and can be reused for simulated time testing of other systems with similar characteristics.

 

  PDF |    doi:10.1007/11759744_1  |  © Springer

BibTeX 

@inproceedings{BIPRS-FATES05,
author = "Stefan Blom and Natalia Ioustinova and Jaco van de Pol and Axel Rennoch and
Natalia Sidorova",
title = "Simulated Time for Testing Railway Interlockings with TTCN-3",
booktitle = "Proceedings of the 5th International Workshop on Formal Approaches to
Software Testing",
series = "Lecture Notes in Computer Science",
volume = 3997,
pages = "1--15",
publisher = "Springer-Verlag",
year = 2006
}
Nach oben scrollen