|
Автоматика и телемеханика, 2000, выпуск 5, страницы 157–165
(Mi at291)
|
|
|
|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
Техническая диагностика
О тестировании линейных автоматов
Д. В. Сперанский Саратовский государственный университет им. Н. Г. Чернышевского
Аннотация:
Предложены методы синтеза тестов, обнаруживающих заданную неисправность в неинициальных линейных автоматах, существенно использующие их специфику. Показано, что эти методы значительно менее трудоемки, чем известные ранее методы, ориентированные на классы произвольных автоматов, и позволяют строить тесты, длина которых не превосходит размерности линейного автомата. Предложенные методы проиллюстрированы на примерах.
Образец цитирования:
Д. В. Сперанский, “О тестировании линейных автоматов”, Автомат. и телемех., 2000, № 5, 157–165; Autom. Remote Control, 61:5 (2000), 858–865
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/at291 https://www.mathnet.ru/rus/at/y2000/i5/p157
|
Статистика просмотров: |
Страница аннотации: | 197 | PDF полного текста: | 96 | Первая страница: | 2 |
|