TY  - BOOK
AU  - Спицына,Наталия Владимировна
AU  - Евтушенко,Нина Владимировна
ED  - Томский государственный университет.
TI  - Синтез тестов для проверки взаимодействия дискретных управляющих систем методами теории автоматов: диссертация на соискание ученой степени кандидата технических наук. 05.13.01
PY  - 2005///
CY  - Томск
PB  - [б. и.]
KW  - диссертации
KW  - управляющие системы дискретные
KW  - метод теории автоматов
KW  - синтез тестов
KW  - модели дискретных систем
KW  - сетевые протоколы
KW  - конечные автоматы
KW  - взаимодействие дискретных систем
KW  - тесты проверяющие
KW  - тестирование условное
KW  - тестирование безусловное
KW  - модели неисправности
KW  - автоматы мутационные
KW  - автоматов композиции
KW  - алгоритмы теста проверяющего полного
KW  - полуавтоматов композиции
KW  - формальных языков композиции
KW  - конечных автоматов композиции
KW  - автоматные уравнения
KW  - уравнения формальных языков
KW  - отношения неразделимости
KW  - программные реализации протоколов
KW  - автоматизация тестирования
KW  - архитектура тестера.
KW  - тестирование POP3-сервера
N1  - Библиогр.: л. 146-153
ER  -