Для цитирования:
Сперанский Д. В. Тестирование нечетких линейных автоматов // Известия Саратовского университета. Новая серия. Серия: Математика. Механика. Информатика. 2019. Т. 19, вып. 2. С. 233-240. DOI: 10.18500/1816-9791-2019-19-2-233-240, EDN: JPNAKG
Тестирование нечетких линейных автоматов
В статье рассматривается задача синтеза тестов для нечетких линейных автоматов (НЛА). Сейчас известно несколько разновидностей НЛА, используемых в качестве моделей реальных нечетких систем. В статье вводится и исследуется одна конкретная разновидность НЛА. Она предполагает проявление нечеткости поведения автомата за счет использования в характеристических матрицах элементов специального вида. Каждый такой элемент представляет собой некоторое множество элементов поля, над которым задан НЛА. В процессе функционирования автомата такой альтернативный элемент матрицы замещается случайным образом одним из элементов упомянутого множества на каждом такте. Для НЛА вводится понятие допустимой неисправности. Содержательно она состоит в замещении множества альтернативных элементов матриц одним элементом этого множества. Предложенный в статье метод синтеза тестов для обнаружения неисправностей указанного вида сводится к решению систем линейных алгебраических уравнений. Метод ориентирован на μ-определенные и синхронизируемые НЛА и синтезирует тесты достаточно короткой длины, не превосходящей его размерности.
- Zadeh L. A. Fuzzy sets // Information and Control. 1965. Vol. 8, iss. 3. P. 338–353. DOI: https://doi.org/10.1016/S0019-9958(65)90241-X
- Сперанский Д. В. Эксперименты с нечеткими автоматами // Автоматика и телемеханика. 2015. № 2. С. 107–124.
- Speranskiy D. V. Synchronization of fuzzy linear automata // Automatic Control and Computer Sciences. 2016. Vol. 50, iss. 2. P. 72–79. DOI: https://doi.org/10.3103/S014641161602005X
- Гилл А. Введение в теорию конечных автоматов. М. : Наука, 1966. 288 с.
- Сперанский Д. В. Лекции по теории экспериментов с конечными автоматами. М. : БИНОМ. Лаборатория знаний, 2010. 287 с.
- Сперанский Д. В. О тестировании линейных автоматов //Автоматика и телемеханика. 2000. № 5. С. 157–165.
- Агибалов Г. П., Юфат А. Г. О простых экспериментах для линейных инициальных автоматов // Автоматика и вычислительная техника. 1972. № 2. С. 17–19.
- Колесов Н. В. Построение проверяющего теста для линейного конечного автомата // Автоматика и телемеханика. 1982. № 2. С. 61–66.
- 1218 просмотров