Exhaustive property oriented model-based testing with symbolic finite state machines

Autor: Huang, Wen-ling, Krafczyk, Niklas, Peleska, Jan

Publikováno v: In Science of Computer Programming July 2023

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Exhaustive Property Oriented Model-based Testing With Symbolic Finite State Machines (Technical Report)

Autor: Krafczyk, Niklas, Peleska, Jan

This technical report is an extended version of a paper with the same title, submitted by the authors to the SEFM 2021 conference https://sefm-conference.github.io. In this paper, new contributions to property oriented testing (POT) against SFSM mode

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::026386ab07a584ff192f8662770631db

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Efficient Data Validation for Geographical Interlocking Systems

Autor: Peleska, Jan, Krafczyk, Niklas, Haxthausen, Anne Elisabeth, Pinger, Ralf

Publikováno v: Peleska, J, Krafczyk, N, Haxthausen, A E & Pinger, R 2019, Efficient Data Validation for Geographical Interlocking Systems . in Proceedings of 2019 International Conference on Reliability, Safety, and Security of Railway Systems . Springer, Lecture Notes in Computer Science, vol. 11495, pp. 142-158, International Conference on Reliability, Safety, and Security of Railway Systems, Lille, France, 04/06/2019 . https://doi.org/10.1007/978-3-030-18744-6_9

In this paper, an efficient approach to data validation of geographical interlocking systems (IXLs) is presented. It is explained how configuration rules for IXLs can be specified by temporal logic formulas interpreted on Kripke structure representat

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______1202::b42edecbdd0e04351a2e578a8d2d42f4
https://orbit.dtu.dk/en/publications/d12ef4ff-1b30-4e95-b532-4bf46433d4a6