title: ÐÐµÐ½ÐµÑÐ°ÑÐ¸Ñ Ð¾Ð¿ÑÐ¸Ð¼Ð°Ð»ÑÐ½Ð¾Ð³Ð¾ Ð½Ð°Ð±Ð¾ÑÐ° ÑÐµÑÑÐ¾Ð² Ð¿ÑÐ¸ ÑÐµÑÑÐ¸ÑÐ¾Ð²Ð°Ð½Ð¸Ð¸ Ð½Ð° Ð¾ÑÐ½Ð¾Ð²Ðµ Ð¼Ð¾Ð´ÐµÐ»Ð¸ Ð¾Ð±ÑÐµÐºÑÐ°
title: Ð²ÑÐ¿ÑÑÐºÐ½Ð°Ñ ÐºÐ²Ð°Ð»Ð¸ÑÐ¸ÐºÐ°ÑÐ¸Ð¾Ð½Ð½Ð°Ñ ÑÐ°Ð±Ð¾ÑÐ° Ð¼Ð°Ð³Ð¸ÑÑÑÐ°
titleType: Subtitle
title: Test suit generation for model-based testing
Creators: name: ÐÑÐ¼Ð¸Ð½, ÐÐ¸ÑÐ°Ð¸Ð»
Publisher: name: Ð¡Ð°Ð½ÐºÑ-ÐÐµÑÐµÑÐ±ÑÑÐ³ÑÐºÐ¸Ð¹ Ð¿Ð¾Ð»Ð¸ÑÐµÑÐ½Ð¸ÑÐµÑÐºÐ¸Ð¹ ÑÐ½Ð¸Ð²ÐµÑÑÐ¸ÑÐµÑ ÐÐµÑÑÐ° ÐÐµÐ»Ð¸ÐºÐ¾Ð³Ð¾
Year: 2023
Subjects: ÑÐµÑÑÐ¸ÑÐ¾Ð²Ð°Ð½Ð¸Ðµ Ð½Ð° Ð¾ÑÐ½Ð¾Ð²Ðµ Ð¼Ð¾Ð´ÐµÐ»ÐµÐ¹
Ð¾Ð¿ÑÐ¸Ð¼Ð¸Ð·Ð°ÑÐ¸Ñ
Ð·Ð°Ð´Ð°ÑÐ° ÐºÐ¸ÑÐ°Ð¹ÑÐºÐ¾Ð³Ð¾ Ð¿Ð¾ÑÑÐ°Ð»ÑÐ¾Ð½Ð°
Ð·Ð°Ð´Ð°ÑÐ° Ð´ÐµÑÐµÐ²ÐµÐ½ÑÐºÐ¾Ð³Ð¾ Ð¿Ð¾ÑÑÐ°Ð»ÑÐ¾Ð½Ð°
model based testing
optimization
chinese postman problem
rural postman problem

description: ÐÐ°Ð½Ð½Ð°Ñ ÑÐ°Ð±Ð¾ÑÐ° Ð¿Ð¾ÑÐ²ÑÑÐµÐ½Ð° Ð¸ÑÑÐ»ÐµÐ´Ð¾Ð²Ð°Ð½Ð¸Ñ Ð¿Ð¾Ð´ÑÐ¾Ð´Ð¾Ð² Ðº ÑÐµÑÑÐ¸ÑÐ¾Ð²Ð°Ð½Ð¸Ñ Ð¿ÑÐ¾Ð³ÑÐ°Ð¼Ð¼Ð½Ð¾Ð³Ð¾ Ð¾Ð±ÐµÑÐ¿ÐµÑÐµÐ½Ð¸Ñ Ð½Ð° Ð¾ÑÐ½Ð¾Ð²Ðµ Ð¼Ð¾Ð´ÐµÐ»ÐµÐ¹, Ð° ÑÐ°ÐºÐ¶Ðµ ÑÐ°Ð·ÑÐ°Ð±Ð¾ÑÐºÐµ Ð°Ð»Ð³Ð¾ÑÐ¸ÑÐ¼Ð° Ð³ÐµÐ½ÐµÑÐ°ÑÐ¸Ð¸ Ð¾Ð¿ÑÐ¸Ð¼Ð°Ð»ÑÐ½Ð¾Ð³Ð¾ Ð½Ð°Ð±Ð¾ÑÐ° ÑÐµÑÑÐ¾Ð² Ð´Ð»Ñ Ð¼Ð¾Ð´ÐµÐ»ÐµÐ¹ â Ð³ÑÐ°ÑÐ¾Ð² ÑÐ¾ÑÑÐ¾ÑÐ½Ð¸Ð¹. ÐÐ°Ð´Ð°ÑÐ¸, ÐºÐ¾ÑÐ¾ÑÑÐµ ÑÐµÑÐ°Ð»Ð¸ÑÑ Ð² ÑÐ¾Ð´Ðµ Ð¸ÑÑÐ»ÐµÐ´Ð¾Ð²Ð°Ð½Ð¸Ñ: Â  Â  1) Ð¤Ð¾ÑÐ¼ÑÐ»Ð¸ÑÐ¾Ð²Ð°Ð½Ð¸Ðµ Ð¼Ð°ÑÐµÐ¼Ð°ÑÐ¸ÑÐµÑÐºÐ¾Ð¹ Ð¿Ð¾ÑÑÐ°Ð½Ð¾Ð²ÐºÐ¸ Ð´Ð»Ñ Ð·Ð°Ð´Ð°ÑÐ¸ Ð³ÐµÐ½ÐµÑÐ°ÑÐ¸Ð¸ Ð¾Ð¿ÑÐ¸Ð¼Ð°Ð»ÑÐ½Ð¾Ð³Ð¾ Ð½Ð°Ð±Ð¾ÑÐ° ÑÐµÑÑÐ¾Ð² Ð¿ÑÐ¸ ÑÐµÑÑÐ¸ÑÐ¾Ð²Ð°Ð½Ð¸Ð¸ Ð½Ð° Ð¾ÑÐ½Ð¾Ð²Ðµ Ð¼Ð¾Ð´ÐµÐ»ÐµÐ¹. Â  Â  2) ÐÐ½Ð°Ð»Ð¸Ð· ÑÑÑÐµÑÑÐ²ÑÑÑÐ¸Ñ Ð°Ð»Ð³Ð¾ÑÐ¸ÑÐ¼Ð¾Ð² ÑÐµÑÐµÐ½Ð¸Ñ Ð¿Ð¾ÑÑÐ°Ð²Ð»ÐµÐ½Ð½Ð¾Ð¹ Ð·Ð°Ð´Ð°ÑÐ¸. Â  Â  3) Ð ÐµÐ°Ð»Ð¸Ð·Ð°ÑÐ¸Ñ Ð°Ð»Ð³Ð¾ÑÐ¸ÑÐ¼Ð¾Ð² Ð¸ Ð´ÐµÐ¼Ð¾Ð½ÑÑÑÐ°ÑÐ¸Ñ Ð¸Ñ ÑÐ°Ð±Ð¾ÑÑ Ð½Ð° Ð¿ÑÐµÐ´Ð¾ÑÑÐ°Ð²Ð»ÐµÐ½Ð½ÑÑ Ð¿ÑÐ¸Ð¼ÐµÑÐ°Ñ. Ð ÑÐµÐ·ÑÐ»ÑÑÐ°ÑÐµ Ð¾Ð¿Ð¸ÑÐ°Ð½Ð½ÑÐµ Ð·Ð°Ð´Ð°ÑÐ¸ Ð±ÑÐ»Ð¸ ÑÐµÑÐµÐ½Ñ, Ð½Ð¾ Ð½Ðµ Ð² Ð¿Ð¾Ð»Ð½Ð¾Ð¼ Ð¾Ð±ÑÑÐ¼Ðµ: Ð´Ð»Ñ Ð½ÐµÐºÐ¾ÑÐ¾ÑÑÑ ÑÐ°ÑÑÐ½ÑÑ ÑÐ»ÑÑÐ°ÐµÐ² Ð·Ð°Ð´Ð°ÑÐ¸ ÑÐ´Ð°Ð»Ð¾ÑÑ Ð½Ð°Ð¹ÑÐ¸ Ð¸ ÑÐµÐ°Ð»Ð¸Ð·Ð¾Ð²Ð°ÑÑ Ð°Ð»Ð³Ð¾ÑÐ¸ÑÐ¼Ñ, Ð¿Ð¾Ð·Ð²Ð¾Ð»ÑÑÑÐ¸Ðµ Ð·Ð° Ð¿ÑÐ¸ÐµÐ¼Ð»ÐµÐ¼Ð¾Ðµ Ð²ÑÐµÐ¼Ñ Ð¿Ð¾Ð»ÑÑÐ¸ÑÑ Ð¾Ð¿ÑÐ¸Ð¼Ð°Ð»ÑÐ½ÑÐ¹ Ð¸Ð»Ð¸ Ð¿ÑÐ¸Ð±Ð»Ð¸Ð¶ÐµÐ½Ð½ÑÐ¹ Ðº Ð¾Ð¿ÑÐ¸Ð¼Ð°Ð»ÑÐ½Ð¾Ð¼Ñ Ð½Ð°Ð±Ð¾Ñ ÑÐµÑÑÐ¾Ð²ÑÑ ÑÑÐµÐ½Ð°ÑÐ¸ÐµÐ². ÐÐ»Ñ Ð´ÑÑÐ³Ð¸Ñ ÑÐ»ÑÑÐ°ÐµÐ² ÑÐ´ÐµÐ»Ð°ÑÑ ÑÑÐ¾ Ð¿Ð¾ÐºÐ° Ð½Ðµ ÑÐ´Ð°Ð»Ð¾ÑÑ.
description: The subject of the graduate qualification work is Â«Test suit generation for model-based testingÂ».Â  This work is devoted to the study of approaches to model-based software testing, as well as the development of an algorithm for generating an optimal set of tests for models represented as state machines. The research set the following goals: Â  Â  1) Formulating a mathematical statement for the problem of generating an optimal set of tests for model-based testing. Â  Â  2) Analysis of existing algorithms for solving the problem. Â  Â  3) Implementation of the algorithms and demonstration of their work on the provided examples. As a result, the described tasks were solved, but not in full: for some special cases of the task, it was possible to find and implement algorithms that allow obtaining an optimal or close to optimal set of test scenarios in a reasonable time. For other cases, this has not yet been done.