Zobrazeno 1 - 10
of 618
pro vyhledávání: '"Extended finite-state machine"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Maria Forostyanova
Publikováno v:
Труды Института системного программирования РАН, Vol 26, Iss 6, Pp 67-76 (2018)
In this paper, an approach for testing software implementations of telecommunication protocols based on tree finite state machines (FSM) is proposed. The first step is the extraction of the specification Extended FSM from an informal protocol descrip
Externí odkaz:
https://doaj.org/article/48e2a0a05db8461eb46e16c8d5036d3b
Publikováno v:
IEEE Transactions on Software Engineering. 48:3833-3861
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::02c33bc2c974bba95765efd6e54e0b7d
https://doi.org/10.1109/tse.2021.3106589
https://doi.org/10.1109/tse.2021.3106589
Autor:
A. D. Ermakov, N. V. Yevtushenko
Publikováno v:
Моделирование и анализ информационных систем, Vol 23, Iss 6, Pp 729-740 (2016)
Extended Finite State Machines (EFSMs) are widely used when deriving tests for checking functional requirements for software implementations. However, the fault coverage of tests covering appropriate paths, variables, etc. of the specification EFSM,
Externí odkaz:
https://doaj.org/article/58499146c37a42a8b58ec381fba3fef4
Publikováno v:
Journal of King Saud University: Computer and Information Sciences, Vol 27, Iss 3, Pp 238-247 (2015)
The Holy Quran is the central religious verbal text of Islam. Muslims are expected to read, understand, and apply the teachings of the Holy Quran. The Holy Quran was translated to Braille code as a normal Arabic text without having its reciting rules
Externí odkaz:
https://doaj.org/article/a90fe3ba430b4740a29b943647656d92
Publikováno v:
Repositório Institucional da USP (Biblioteca Digital da Produção Intelectual)
Universidade de São Paulo (USP)
instacron:USP
Universidade de São Paulo (USP)
instacron:USP
The effectiveness of model-based testing (MBT) is mainly due to its potential for automation. If the model is formal and machine-readable, test cases can be derived automatically. One of the most used formal modeling techniques is the interpretation
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8968bd394af92d22d13a11f011498452
https://doi.org/10.1007/s11219-020-09531-0
https://doi.org/10.1007/s11219-020-09531-0
Publikováno v:
Theoretical Computer Science. 862:160-173
Regular language inference, initiated by Angluin, has many developments, including applications in software engineering and testing. However, the capability of finite automata to model the system data is quite limited and, in many cases, extended fin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f025e78e0b4bd97a08ca17552c14f750
https://doi.org/10.1016/j.tcs.2020.09.028
https://doi.org/10.1016/j.tcs.2020.09.028
Publikováno v:
IEEE Access, Vol 9, Pp 16365-16382 (2021)
Regression testing plays an indispensable role in software maintenance, which refers to retest the software following modifications to determine whether the changes have introduced new faults. However, regression testing requires massive amounts of e
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ae0976435d2354c6d4fd471505314f65
https://ieeexplore.ieee.org/document/9328763/
https://ieeexplore.ieee.org/document/9328763/