Time simulation methods for testing protocol software embedded in communicating systems

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientific

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.
Original languageEnglish
Title of host publicationTesting of Communicating Systems
EditorsG. Csopaki, S. Dibuz, K. Tarnay
PublisherSpringer
Pages379 - 394
ISBN (Electronic)978-0-387-35567-2
ISBN (Print)978-1-4757-6699-8
DOIs
Publication statusPublished - 1999
MoE publication typeNot Eligible

Publication series

NameIFIP — The International Federation for Information Processing
Number21
ISSN (Print)1868-4238
ISSN (Electronic)1868-422X

Fingerprint

Embedded software
Computer systems
Network protocols
Testing

Keywords

  • embedded software
  • protocol testing
  • time simulation
  • SDL
  • TTCN-3

Cite this

Latvakoski, J., & Honka, H. (1999). Time simulation methods for testing protocol software embedded in communicating systems. In G. Csopaki, S. Dibuz, & K. Tarnay (Eds.), Testing of Communicating Systems (pp. 379 - 394). Springer. IFIP Advances in Information and Communication Technology, No. 21 https://doi.org/10.1007/978-0-387-35567-2_24
Latvakoski, Juhani ; Honka, Hannu. / Time simulation methods for testing protocol software embedded in communicating systems. Testing of Communicating Systems. editor / G. Csopaki ; S. Dibuz ; K. Tarnay. Springer, 1999. pp. 379 - 394 (IFIP Advances in Information and Communication Technology; No. 21).
@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 — The International Federation for Information Processing",
publisher = "Springer",
number = "21",
pages = "379 -- 394",
editor = "G. Csopaki and S. Dibuz and K. Tarnay",
booktitle = "Testing of Communicating Systems",
address = "Germany",

}

Latvakoski, J & Honka, H 1999, Time simulation methods for testing protocol software embedded in communicating systems. in G Csopaki, S Dibuz & K Tarnay (eds), Testing of Communicating Systems. Springer, IFIP Advances in Information and Communication Technology, no. 21, pp. 379 - 394. https://doi.org/10.1007/978-0-387-35567-2_24

Time simulation methods for testing protocol software embedded in communicating systems. / Latvakoski, Juhani; Honka, Hannu.

Testing of Communicating Systems. ed. / G. Csopaki; S. Dibuz; K. Tarnay. Springer, 1999. p. 379 - 394 (IFIP Advances in Information and Communication Technology; No. 21).

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientific

TY - GEN

T1 - Time simulation methods for testing protocol software embedded in communicating systems

AU - Latvakoski, Juhani

AU - Honka, Hannu

PY - 1999

Y1 - 1999

N2 - 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.

AB - 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.

KW - embedded software

KW - protocol testing

KW - time simulation

KW - SDL

KW - TTCN-3

U2 - 10.1007/978-0-387-35567-2_24

DO - 10.1007/978-0-387-35567-2_24

M3 - Conference article in proceedings

SN - 978-1-4757-6699-8

T3 - IFIP — The International Federation for Information Processing

SP - 379

EP - 394

BT - Testing of Communicating Systems

A2 - Csopaki, G.

A2 - Dibuz, S.

A2 - Tarnay, K.

PB - Springer

ER -

Latvakoski J, Honka H. Time simulation methods for testing protocol software embedded in communicating systems. In Csopaki G, Dibuz S, Tarnay K, editors, Testing of Communicating Systems. Springer. 1999. p. 379 - 394. (IFIP Advances in Information and Communication Technology; No. 21). https://doi.org/10.1007/978-0-387-35567-2_24