Оценка полноты проверки при пассивном тестировании на основе автоматной модели; Известия Томского политехнического университета [Известия ТПУ]; Т. 314, № 5: Управление, вычислительная техника и информатика

Оценка полноты проверки при пассивном тестировании на основе автоматной модели; Известия Томского политехнического университета [Известия ТПУ]; Т. 314, № 5: Управление, вычислительная техника и информатика

Dettagli Bibliografici
Parent link:	Известия Томского политехнического университета [Известия ТПУ]/ Томский политехнический университет (ТПУ).— , 2000- Т. 314, № 5: Управление, вычислительная техника и информатика.— 2009.— [С. 225-228]
Autore principale:	Жигулин М. В.
Altri autori:	Коломеец А. В.
Riassunto:	Заглавие с титульного листа Электронная версия печатной публикации Предложен алгоритм расчета полноты проверки системы при пассивном тестировании, основанный на вырезании из мутационного автомата всех переходов, не отвечающих вход-выходной последовательности. Приведены оценки полноты пассивного тестирования протокола Simple Connection для различных длин входных последовательностей.
Lingua:	russo
Pubblicazione:	2009
Serie:	Управление, вычислительная техника и информатика
Soggetti:	конечные автоматы мутационные автоматы полнота проверки диагностические последовательности пассивное тестирование электронный ресурс
Accesso online:	http://www.lib.tpu.ru/fulltext/v/Bulletin_TPU/2009/v314/i5/48.pdf
Natura:	Elettronico Capitolo di libro
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=175741

Documenti analoghi

Использование свойств мутационных автоматов для минимизации проверяющих тестов; Программирование; Т. 38, № 4
di: Эль-Факи К.
Pubblicazione: (2012)

Тестирование программной реализации протокола IRC на основе модели расширенного автомата; Известия Томского политехнического университета [Известия ТПУ]; Т. 318, № 5 : Управление, вычислительная техника и информатика
Pubblicazione: (2011)

Конечноавтоматные системы управления (принципы построения и анализ поведения)
di: Новорусский В. В. Валерий Владимирович
Pubblicazione: (Новосибирск, Наука, 1982)

Теоретические основы проектирования компиляторов: пер. с англ.
di: Льюис Ф. Филип
Pubblicazione: (Москва, Мир, 1979)

Применение автоматной парадигмы к синтезу программы управления станком наплавки пятников железнодорожных вагонов; Информационные технологии в науке, управлении, социальной сфере и медицине
di: Афанасьев Н. А.
Pubblicazione: (2019)

Логические эксперименты с автоматами
di: Твердохлебов В. А. Владимир Александрович
Pubblicazione: (Саратов, Изд-во Саратовского ун-та, 1988)

Теория автоматов: учебник для бакалавриата и магистратуры
di: Кудрявцев В. Б. Валерий Борисович
Pubblicazione: (Москва, Юрайт, 2019)

Аналитические методы в задачах контроля и анализа дискретных устройств
di: Богомолов А. М. Анатолий Михайлович
Pubblicazione: (Саратов, Изд-во Саратовского ун-та, 1986)

Основы логических методов проверки автоматов: [монография]
di: Скляревич А. Н. Акива Нухимович
Pubblicazione: (Рига, Зинатне, 1979)

Совершенствование алгоритма OSTIA для обучения трансдукторов; Известия Томского политехнического университета [Известия ТПУ]; Т. 318, № 5 : Управление, вычислительная техника и информатика
di: Малахов Э. В. Эдуард Владимирович
Pubblicazione: (2011)

Регулирование функциональных характеристик мультимедиа в образовательных технологиях; Известия Томского политехнического университета [Известия ТПУ]; Т. 314, № 5: Управление, вычислительная техника и информатика
di: Мордвинов В. А.
Pubblicazione: (2009)

Вып. 25: Проблемы оптимизации дискретных систем; Вычислительная техника и вопросы кибернетики
Pubblicazione: (1990)

Повышение полноты и качества извлечения руд при подземной разработке: [сборник]
Pubblicazione: (Фрунзе, Илим, 1973)

Генерация кода на основе детерминированного конечного автомата; Молодежь и современные информационные технологии
di: Гительман В. С.
Pubblicazione: (2022)

Теория автоматов: учебник
di: Карпов Ю. Г. Юрий Глебович
Pubblicazione: (СПб., Питер, 2003)

Т. 3; Криптографические методы защиты информации
Pubblicazione: (2014)

Ориентированные графы и конечные автоматы
di: Мелихов А. Н. Аскольд Николаевич
Pubblicazione: (Москва, Наука, 1971)

Современная прикладная алгебра: пер. с англ.
di: Биркгоф Г.
Pubblicazione: (Москва, Мир, 1976)

Логические устройства и их применение в автоматике: учебное пособие
di: Громаков Е. И. Евгений Иванович
Pubblicazione: (Томск, Изд-во ТПИ, 1982)

Апериодические автоматы
Pubblicazione: (Москва, Наука, 1976)

Лекции по теории экспериментов с конечными автоматами: учебное пособие
di: Сперанский Д. В. Дмитрий Васильевич
Pubblicazione: (Москва, Интернет-Университет информационных технологий, 2010)

Современная прикладная алгебра: учебное пособие; пер. с англ.
di: Биркгоф Г. Гаррет
Pubblicazione: (СПб. [и др.], Лань, 2005)

Конечные автоматы: эквивалентность и поведение
Pubblicazione: (Москва, Наука, 1984)

Многошаговый алгоритм пассивного пространственного разрешения источников радиоизлучения; Наукоемкие технологии; № 3
Pubblicazione: (2003)

Эквивалентные представления дискретных устройств
di: Аскеров Ч. И. Чингиз Исфендияр
Pubblicazione: (Москва, Энергия, 1978)

Автоматная теория случайного поиска: монография
di: Растригин Л. А. Леонард Андреевич
Pubblicazione: (Рига, Зинатне, 1973)

Вып. 24: Математические проблемы информатики; Вычислительная техника и вопросы кибернетики
Pubblicazione: (1987)

Основы логического проектирования: учебное пособие
di: Колдаев В. Д. Виктор Дмитриевич
Pubblicazione: (Москва, Форум, 2011)

Диагностические алгоритмя
di: Буйнов А. Н. Александр Николаевич
Pubblicazione: (Улан-Удэ, Бурятское книжное изд-во, 1976)

Введение в теорию абстрактных автоматов: учебное пособие для университетов
di: Кудрявцев В. Б. Валерий Борисович
Pubblicazione: (Москва, Изд-во МГУ, 1985)

Вероятностные автоматы
di: Бухараев Р. Г. Раис Гатич
Pubblicazione: (Казань, Казанский университет, 1977)

Синтез и тестирование дискретных систем: учебное пособие
di: Буркатовская Ю. Б. Юлия Борисовна
Pubblicazione: (Томск, Изд-во ТПУ, 2012)

[Сб.] 17 : Расчет и проектирование приборов, устройств и систем технической кибернетики; Электротехника и автоматика
Pubblicazione: (1980)

Алгебраические основы криптографии: учебное пособие для вузов
di: Применко Э. А. Эдуард Андреевич
Pubblicazione: (Москва, Либроком, 2013)

Комбинаторно-алгебраические методы в прикладной математике: межвузовский сборник
Pubblicazione: (Горький, Изд-во ГГУ, 1983)

Введение в теорию конечных автоматов: пер. с англ.
di: Гилл А. Артур
Pubblicazione: (Москва, Наука, 1966)

Введение в теорию автоматов, языков и вычислений: пер. с англ.
di: Хопкрофт Дж. Джон
Pubblicazione: (Москва, Вильямс, 2002)

Ч. 2; Условия А-полноты для конечных автоматов
Pubblicazione: (1987)

Особенности архитектуры виртуальных агентов, основанных на планировании в режиме реального о времени; Молодежь и современные информационные технологии
di: Аксёнов С. В. Сергей Владимирович
Pubblicazione: (2021)

Построение конечных автоматов в StateFlow для управления технологическим процессом; Научная инициатива иностранных студентов и аспирантов
di: Чжоу Яньчэнь
Pubblicazione: (2022)