Using FSM-Based Strategies for Deriving Tests with Guaranteed Fault Coverage for Input/Output Automata
Main Article Content
Abstract
In this paper, we study the possibility of using Finite State Machine (FSM-) based methods for deriving finite test suites with guaranteed fault coverage for Input / Output automata. A method for deriving an FSM for a given automaton is proposed and it is shown that finite test suites derived for such an FSM are complete for two fault models based on Input/Output automata if they are applied within the framework of proper timeouts.
Article Details
References
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.
This work is licensed under a Creative Commons Attribution 4.0 International License.
Presenting an article for publication in the Russian Digital Libraries Journal (RDLJ), the authors automatically give consent to grant a limited license to use the materials of the Kazan (Volga) Federal University (KFU) (of course, only if the article is accepted for publication). This means that KFU has the right to publish an article in the next issue of the journal (on the website or in printed form), as well as to reprint this article in the archives of RDLJ CDs or to include in a particular information system or database, produced by KFU.
All copyrighted materials are placed in RDLJ with the consent of the authors. In the event that any of the authors have objected to its publication of materials on this site, the material can be removed, subject to notification to the Editor in writing.
Documents published in RDLJ are protected by copyright and all rights are reserved by the authors. Authors independently monitor compliance with their rights to reproduce or translate their papers published in the journal. If the material is published in RDLJ, reprinted with permission by another publisher or translated into another language, a reference to the original publication.
By submitting an article for publication in RDLJ, authors should take into account that the publication on the Internet, on the one hand, provide unique opportunities for access to their content, but on the other hand, are a new form of information exchange in the global information society where authors and publishers is not always provided with protection against unauthorized copying or other use of materials protected by copyright.
RDLJ is copyrighted. When using materials from the log must indicate the URL: index.phtml page = elbib / rus / journal?. Any change, addition or editing of the author's text are not allowed. Copying individual fragments of articles from the journal is allowed for distribute, remix, adapt, and build upon article, even commercially, as long as they credit that article for the original creation.
Request for the right to reproduce or use any of the materials published in RDLJ should be addressed to the Editor-in-Chief A.M. Elizarov at the following address: amelizarov@gmail.com.
The publishers of RDLJ is not responsible for the view, set out in the published opinion articles.
We suggest the authors of articles downloaded from this page, sign it and send it to the journal publisher's address by e-mail scan copyright agreements on the transfer of non-exclusive rights to use the work.