Конечно-автоматные методы синтеза тестов с гарантированной полнотой для входо-выходных полуавтоматов
https://doi.org/10.26907/1562-5419-2023-26-1-18-34
Аннотация
Рассмотрена проблема использования конечно-автоматных методов для построения конечных тестов с гарантированной полнотой для входо-выходных полуавтоматов. Предложен способ построения конечного автомата, соответствующего полуавтомату-спецификации, и показано, что конечные тесты, построенные по такому автомату, подаваемые на вход-выходной полуавтомат при выполнении специальных таймаутов, являются полными относительно различных моделей неисправности.
Об авторах
И. Б. Бурдонов
Институт системного программирования им. В.П. Иванникова Российской академии наук
Россия
Россия
Н. В. Евтушенко
Институт системного программирования им. В.П. Иванникова Российской академии наук
Россия
Россия
А. С. Косачев
Институт системного программирования им. В.П. Иванникова Российской академии наук
Россия
Россия
Список литературы
1. Hennie F.C. Fault-Detecting Experiments for Sequential Circuits // The Fifth Ann. Symp. Switching Circuit Theory and Logical Design. 1964. P. 95–110.
2. Василевский M. П. О распознавании неисправности автоматов // Кибернетика. 1973. № 4. С. 98–108.
3. Bochmann G., Petrenko A. Protocol testing: review of methods and relevance for software testing // Intern. Symp. on Software Testing and Analysis. 1994. P. 109–123.
4. Dorofeeva R., El-Fakih K., Cavalli A., Maag S., Yevtushenko N. FSM-based conformance testing methods: A survey annotated with experimental evaluation // Information & Software Technology. 2010. Vol. 52. No 12. P. 1286–1297.
5. Tretmans J. A formal approach to conformance testing // The Intern. Workshop on Protocol Test Systems. 1993. P. 257–276.
6. Бурдонов И.Б., Косачев А.С., Кулямин В.В. Теория соответствия для систем с блокировками и разрушением. М.: Наука, Глав. ред. физ.-мат. лит., 2008. 412 c.
7. Kushik N., Forostyanova M., Prokopenko S., Yevtushenko N. Studying the optimal height of the EFSM equivalent for testing telecommunication protocols // Intern. Conf. on Advances in Computing, Communication and Information Technology. 2014. P. 159–163.
8. Жигулин М.В., Коломеец А.В., Кушик Н.Г., Шабалдин А.В. Тестирование программной реализации протокола IRC на основе модели расширенного автомата // Известия Томского политехнического университета. 2011. Т. 318. № 5. С. 81–84.
9. Lee D, Yannakakis M. Principles and methods of testing finite-state machines – a survey // Proceedings of the IEEE. 1996. Vol. 84. No. 8. P. 1089–1123.
10. Petrenko A., Yevtushenko N. Testing from Partial Deterministic FSM Specifications // IEEE Trans. Computers. 2005. Vol. 54. No. 9. P. 1154–1165.
11. Petrenko A., Yevtushenko N. Conformance Tests as Checking Experiments for Partial Nondeterministic FSM // Lecture Notes in Computer Science. 2005. Vol. 3997. P. 118–133.
12. Yevtushenko N., Burdonov I., Kossachev A. Deriving Distinguishing Sequences for Input/Output Automata // The IEEE East-West Design & Test Symposium. 2020. P. 1–5.
13. Бурдонов И.Б., Евтушенко Н.В., Косачев А.С. Синтез тестов с гарантированной полнотой для входо-выходных полуавтоматов // XXIV Всероссийская научная конференция «Научный сервис в сети Интернет». 2022. C. 93–103.
14. Гилл А. Введение в теорию конечных автоматов. Наука, 1966. 272 с.
15. Petrenko A., Yevtushenko N., Bochmann G. Fault models for testing in context // Intern. Conf. on Formal Description Techniques IX. 1996. P. 163–178.
16. Жигулин М.В. Методы синтеза проверяющих тестов с гарантированной полнотой для контроля дискретных управляющих систем на основе временных автоматов. Дис. ... канд. тех. наук. 2012. 109 c.
17. Vinarskii E., Lopez J., Kushik N., Yevtushenko N., Zeghlache D. A model checking based approach for detecting sdn races // The 31st IFIP WG 6.1 Intern. Conf. on Testing Software and Systems. 2019. P. 194–211.
Рецензия
Для цитирования:
Бурдонов И.Б., Евтушенко Н.В., Косачев А.С. Конечно-автоматные методы синтеза тестов с гарантированной полнотой для входо-выходных полуавтоматов. Электронные библиотеки. 2023;26(1):18-34. https://doi.org/10.26907/1562-5419-2023-26-1-18-34
For citation:
Burdonov I.B., Yevtushenko N.V., Kossachev A.S. Using FSM-Based Strategies for Deriving Tests with Guaranteed Fault Coverage for Input/Output Automata. Russian Digital Libraries Journal. 2023;26(1):18-34. (In Russ.) https://doi.org/10.26907/1562-5419-2023-26-1-18-34
Просмотров:
22
Послать статью по эл. почте 