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

    SeriesIFIP Advances in Information and Communication Technology
    Number21
    ISSN1868-4238

    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 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",

    }

    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 Advances in Information and Communication Technology

    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