@inproceedings{08e5a27e433a4e23b8c6f6ddc493aaae,
title = "Time simulation methods for testing protocol software embedded in communicating systems",
abstract = "This paper deals with time simulation methods that are applicable for testing protocol software embedded in communicating systems.The novelty of the presented approach is that simulation time is used to control the level of non-determinism caused by the environment of the software under t est.The test system is controlled in such a manner that external non-determinism is allowed, reduced, or eliminated according to the instru ctions given by the tester.The described methods have been evaluated in and applied to testing protocols for several standards.A TETRA terminal test system has been outlined as an example, demonstrating how time simulation can be integrated with a TTCN tester and target implementation generated from the SDL model.",
keywords = "embedded software, protocol testing, time simulation, SDL, TTCN-3",
author = "Juhani Latvakoski and Hannu Honka",
year = "1999",
doi = "10.1007/978-0-387-35567-2_24",
language = "English",
isbn = "978-1-4757-6699-8",
series = "IFIP Advances in Information and Communication Technology",
publisher = "Springer",
number = "21",
pages = "379 -- 394",
editor = "G. Csopaki and S. Dibuz and K. Tarnay",
booktitle = "Testing of Communicating Systems",
address = "Germany",
}