Deriving homing sequences for Finite State Machines with timeouts

Συγγραφείς: Tvardovskii, Aleksandr, Yevtushenko, Nina V.

Πηγή: The computer journal. 2022. Vol. 66, № 9. P. 2181-2190

Θεματικοί όροι: конечно-автоматная абстракция, установочные последовательности, временные ограничения, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, конечные автоматы с таймаутами, 01 natural sciences

Σύνδεσμος πρόσβασης: https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001007722

Deriving Test Suites with the Guaranteed Fault Coverage for Extended Finite State Machines ; Метод синтеза тестов с гарантированной полнотой по модели расширенного автомата

Συγγραφείς: A. D. Ermakov, N. V. Yevtushenko, А. Д. Ермаков, Н. В. Евтушенко

Πηγή: Modeling and Analysis of Information Systems; Том 23, № 6 (2016); 729-740 ; Моделирование и анализ информационных систем; Том 23, № 6 (2016); 729-740 ; 2313-5417 ; 1818-1015

Θεματικοί όροι: µJava, Extended Finite State Machine (EFSM), finite automata, расширенный автомат, конечно-автоматная абстракция

Περιγραφή αρχείου: application/pdf

Relation: https://www.mais-journal.ru/jour/article/view/410/369; Kaur M., Singh R., “A Review of Software Testing Techniques”, International Journal of Electronic and Electrical Engineering, 7:5 (2014), 463–474.; Jorgensen P.C., Software Testing: A Craftsman’s Approach, Third Edition, Auerbach Publications, 2008.; Nica M., Nica S., Wotawa F., “On the use of mutations and testing for debugging”, Software – practice and experience, 43:9 (2013), 1121–1142.; Nica S., On the Use of Constraints in Program Mutations and its Applicability to Testing, PhD thesis, Graz Technical University, 2013.; Petrenko A., Boroday S., Groz R., “Confirming Configurations in EFSM Testing”, IEEE Trans. Software Eng, 30:1 (2004), 29–42.; El-Fakih K., Salameh T., Yevtushenko N., “On Code Coverage of Extended FSM Based Test Suites: An Initial Assessment”, LNCS, 8763 (2014), 198–204.; “µJava documentation. µJava home page. URL: http://cs.gmu.edu/~offutt/mujava/”, 2014, (access date: 10.04.2016).; Villa, T. et al., The Unknown Component Problem: Theory and Applications, Springer, 2012, 313 pp.; Ermakov A., Yevtushenko N., “Increasing the fault coverage of tests derived against Extended Finite State Machines”, System informatics, 7 (2016), 23–32.; Alcalde B. et al., “Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach”, Proc. of the 24th IFIP WG 6.1 Intern. Conf. on Formal Techniques for Networked and Distributed Systems, FORTE’2004, 150–166.; Kushik N. et al., “Optimizing Protocol Passive Testing through ‘Gedanken’ Experiments with Finite State Machines”, Proc. of the Intern conference on Sofware Quality and Reliability, QSR’2016, August, 2016.; Kushik N., YeniguЁn H., “Heuristics for Deriving Adaptive Homing and Distinguishing Sequences for Nondeterministic Finite State Machines”, Lecture Notes in Computer Science, 9447 (2015), 243–248.; Коломеец А.В., Алгоритмы синтеза проверяющих тестов для управляющих систем на основе расширенных автоматов, дис. . канд. техн. наук, Томский государственный университет, 2010.; Kushik N., Yevtushenko N., Cavalli A., “On Testing against Partial Non-observable Specifications”, Proc. of the Intern. Conf. on the Quality of Information and Communications Technology, 2014, 230–233.; Kushik N. et al., “On adaptive experiments for nondeterministic finite state machines”, The Intern. Journal on Software Tools for Technology Transfer, 18:3 (2016), 251–264.; El-Fakih K. et al., “Distinguishing extended finite state machine configurations using predicate abstractions”, Journal on Software Research and Development (published online), 2016.; Михайлов Ю.В., Коломеец А.В., “Проверка переходов в расширенном автомате на основе срезов”, Вестник ТГУ. Серия: Управление, вычислительная техника и информатика, 3:4 (2008).

Διαθεσιμότητα: https://www.mais-journal.ru/jour/article/view/410
https://doi.org/10.18255/1818-1015-2016-6-729-740