Исследование и разработка метода аттестационного тестирования протоколов передачи данных тема диссертации и автореферата по ВАК РФ 05.13.13, кандидат технических наук Фунтиков, Василий Борисович

• Фунтиков, Василий Борисович
• кандидат технических наук
• 2000

Оглавление диссертации кандидат технических наук Фунтиков, Василий Борисович

ВВЕДЕНИЕ.

1. АНАЛИЗ СУЩЕСТВУЮЩИХ ПОДХОДОВ К АТТЕСТАЦИОННОМУ ТЕСТИРОВАНИЮ ПРОТОКОЛОВ ПЕРЕДАЧИ ДАННЫХ.

1Л. Объект, задачи и проблемы аттестационного тестирования.

1.2. Общая схема аттестационного тестирования. Проблемы аттестационного тестирования.

1.3. Генерация тестов на основе модели протокола.

1.3.1. Использование модели детерминированного конечного автомата

1.3.2. Использование модели недетерминированного конечного автомата

1.3.3. Использование модели расширенного автомата.

1.4. Выводы.

2. РАЗРАБОТКА МОДЕЛИ ЛИНЕЙНОЙ СИСТЕМЫ РАСШИРЕННОГО ПЕРЕХОДА.

2.1. Формальная постановка задачи.

2.2. Модель линейной системы расширенного перехода.

2.2.1. Анализ процедуры генерации тестов на основе модели расширенного автомата.

2.2.2. Основные определения.

СОДЕРЖАНИЕ (продолжение)

2.2.3. Свойства модели.

2.3. Выводы.

3. РАЗРАБОТКА АЛГОРИТМОВ ГЕНЕРАЦИИ ТЕСТОВ.

3.1. Разработка алгоритма генерации тестов для недетерминированного конечного автомата.

3.2. Расширение метода уникальных последовательностей.

3.3. Построение тестового комплекта.

3.3.1. Процедура построения тестового комплекта.

3.3.2. Оптимизация алгоритма поиска покрытия перехода.

3.3.3. Разработка процедуры преобразования описания SDL-процесса . 3.5. Выводы.

4. РАЗРАБОТКА И АПРОБАЦИЯ ПРОГРАММНОГО СРЕДСТВА АВТОМАТИЗИРОВАННОЙ ГЕНЕРАЦИИ ТЕСТОВ.

4.1. Структура программного средства генерации аттестационных тестов

4.2. Пример разработки тестового комплекта для протокола TCP.

4.2.1. Характеристики протокола TCP.

4.2.2. Разработка описания TCP на языке SDL.

Введение диссертации (часть автореферата) на тему «Исследование и разработка метода аттестационного тестирования протоколов передачи данных»

В настоящее время происходит конвергенция сетей электросвязи и вычислительных сетей, ведущая к появлению смешанных инфо-телекоммуникационных сетей. Современные инфо-телекоммуникационные сети характеризуются использованием средств вычислительной техники в качестве оконечного оборудования, предоставляют средства организации соединений, решают задачи взаимодействия различных сетей. Особенностью построения инфо-телекоммуникационных сетей является применение множества различных технологий и протоколов в рамках одной сети. Ярким примером инфо-телекоммуникационной сети является Интернет.

Принципы современной экономики, направленные на защиту интересов потребителей и достижение максимальной эффективности производства, диктуют наличие на рынке инфо-телекоммуникаций оборудования конкурирующих производителей. Поэтому современные инфо-телекоммуникационные сети и входящие в них вычислительные сети строятся на основе оборудования различных производителей.

Необходимым условием решения проблемы совместимости при использовании оборудования различных производителей является установление единых стандартов на протоколы передачи данных. Такие организации по стандартизации, как МСЭ, ИСО, ЕТ81 и другие принимают участие в достижении соглашений в рамках индустрии связи по разработке единых интерфейсов и протоколов. Разработка стандартов на протоколы передачи данных является первым шагом на пути к достижению совместимости различных телекоммуникационных устройств. Но стандарты не являются совершенными. Как и в случае других межнациональных соглашений, достижение компромисса между различными точками зрения ведет к появлению большого числа факультативных возможностей и вариантов реализаций, описываемых в стандартах. Кроме 6 того, поскольку стандарты, как правило, написаны на естественных языках (таких, как русский или английский), описание протоколов не является абсолютно точным и может допускать различные трактовки. Перечисленные причины, а также сложность современных стандартных протоколов, ведут к появлению различных реализаций одного и того же протокола и сокращают возможности технических средств по взаимодействию друг с другом.

Аттестационное тестирование представляет собой необходимое звено в обеспечении совместимости оборудования передачи данных, выпущенного различными производителями, предоставляя возможность проверки соответствия реализации протокола установленному стандарту. В России с 1994 г. законом "О связи" введена обязательная сертификация оборудования связи на соответствие российским и международным стандартам. Каждое устройство, подключаемое к взаимоувязанной сети связи России, должно быть подвергнуто сертификационным испытаниям, которые включают в себя и аттестационное тестирование. Для проведения подобных сертификационных испытаний необходима разработка эффективных методов аттестационного тестирования.

В настоящее время проводятся исследования по использованию в разработке систем передачи данных формальных методов описания. Полученный опыт показывает, что использование формальных моделей позволяет сократить время разработки и улучшить ее качество, а также позволяет создавать более сложные и объемные системы. Исследуется также возможность автоматизированной генерации аттестационных тестов на основе формальных моделей. В настоящее время наиболее распространенной моделью для автоматизированной генерации аттестационных тестов является модель конечного автомата. Вместе с тем, большинство современных протоколов пакетной передачи данных описываются моделью конечного автомата только приближенно, что существенно сокращает возможности использования данной модели.

Более перспективной с точки зрения гибкости и выразительной мощности является модель расширенного автомата. Стандартным языком для описания 7 моделей расширенных автоматов в области связи является язык SDL. В настоящее время большинство рекомендаций МСЭ-Т и ETSI, описывающих аспекты поведения протоколов связи, используют в той или иной степени спецификации на языке SDL. Учитывая быстрое развитие инструментов автоматизированного проектирования систем связи, использующих язык SDL, можно ожидать дальнейшее распространение SDL в качестве языка описания протоколов передачи данных. Поэтому важным направлением является разработка методов автоматизированного получения тестовых последовательностей на основе описания протокола на языке SDL.

Целью данной диссертационной работы является исследование и разработка метода автоматизированной генерации аттестационных тестов для протоколов пакетной передачи данных, а также разработка программного средства генерации аттестационных тестов на основе описания протокола передачи данных на языке SDL.

В соответствии с поставленной целью в диссертационной работе решаются следующие основные задачи:

- исследование существующих методов автоматизированной генерации тестовых последовательностей для автоматных моделей протоколов передачи данных и анализ возможности их практического применения;

- анализ задач аттестационного тестирования, формулировка типов ошибок, выявляемых при аттестационном тестировании, и исследование проявления возможных ошибок во внешнем поведении формальной модели протокола передачи данных;

- исследование возможности упрощения общей модели расширенного автомата, разработка математической модели линейной системы расширенного перехода;

- разработка алгоритмов генерации тестовых последовательностей на основе полученной модели и оценка вычислительной сложности разработанных алгоритмов; 8

- разработка программных средств, реализующих алгоритм автоматизированной генерации тестов и их апробация на примере генерации аттестационного теста для протокола TCP, широко используемого в сети Интернет.

В работе использованы методы математической логики, аппарат теории множеств, аппарат теории графов, теория конечных автоматов, методы математического программирования, методы анализа вычислительных алгоритмов, а также методы объектно-ориентированной разработки программных средств.

К основным научным результатам диссертации можно отнести:

1. Поставлена и решена задача автоматизированной генерации тестов для протоколов передачи данных с параметрами, описываемых расширенным автоматом.

2. Предложена математическая модель линейной системы расширенного перехода, представляющая собой упрощение общей модели расширенного автомата и позволяющая сократить временные затраты на генерацию аттестационных тестов по сравнению с общей моделью расширенного автомата. Математическая модель линейной системы расширенного перехода предоставляет возможность описывать полный набор тестируемых возможностей протоколов пакетной передачи данных уровня звена данных, сетевого и транспортного в соответствии с моделью ВОС, используемых в сетях ЭВМ.

3. На основе анализа ошибок, выявляемых аттестационным тестированием, предложен критерий псевдо-эквивалентности расширенного автомата, представляющего эталонную модель, и расширенного автомата, представляющего тестируемый объект. Дана формальная постановка задачи аттестационного тестирования для расширенных автоматов на основе критерия псевдоэквивалентности.

4. Для модели линейной системы расширенного перехода разработан набор алгоритмов генерации аттестационных тестов, основанный на использовании уникальных входных областей, позволяющий получить тестовый комплект, отвечающий критерию псевдо-эквивалентности. Разработанные алгоритмы 9 применимы для автоматизированной генерации тестов протоколов пакетной передачи данных без сигнала "надежный сброс".

На основе предложенной в диссертации модели линейной системы расширенного перехода разработано программное средство в среде ОС Windows 9 5 /NT, предназначенное для автоматизации аттестационного тестирования протоколов пакетной передачи данных. Разработанное программное средство может использоваться совместно с графическими редакторами стандартного языка SDL.

Разработанные в диссертации модель линейной системы расширенного перехода и алгоритмы генерации тестов могут быть использованы в создании средств автоматизации аттестационного тестирования систем передачи данных различного функционального назначения. Разработанная математическая модель и алгоритмы могут использовать в качестве исходных данных как описание на языке SDL, так и описания расширенных конечных автоматов на других языках (например, Estelle)

Теоретические и практические результаты работы использованы в НИР по разработке отраслевых руководящих документов РД 45.134-2000 "Средства технические телематических служб. Общие технические требования", РД 45.46-99 "Технические требования к аппаратуре связи, реализующей функции передачи речевой информации по сетям с маршрутизацией пакетов по протоколу IP", а так же в разработке "Программы и методики сертификационных испытаний интерфейсных плат компьютерной телефонии, подключаемых к ТФОП", утвержденной Минсвязи России, 24.05.2000 г.

Теоретические результаты работы положены в основу специальных разделов курсов "Интернет - объединяющая основа для сетей и услуг ПД" и "Системы и сети передачи данных", которые читаются на кафедре "Технологии электронного обмена данными" МТУ СИ.

Создана лабораторная работа на тему "Методы и средства аттестационного тестирования" по курсу "Интернет - объединяющая основа для сетей и услуг

10

ПД ". Реализация результатов работы подтверждается соответствующими актами о внедрении.

Диссертационная работа состоит из введения, четырех глав, заключения и приложений.

Заключение диссертации по теме «Телекоммуникационные системы и компьютерные сети», Фунтиков, Василий Борисович

Результаты работы положены в основу специальных разделов курсов "Интернет - объединяющая основа для сетей и услуг ПД" и "Системы и сети передачи данных", которые читаются на кафедре "Технологии электронного обмена данными" МТУСИ. Создана лабораторная работа на тему "Методы и средства аттестационного тестирования" по курсу "Интернет - объединяющая основа для сетей и услуг ПД ". Реализация результатов работы подтверждается соответствующими актами о внедрении.

152

Заключение

Разработка эффективных методов аттестационного тестирования является необходимым условием обеспечения совместимости технических средств ин-фо-телекоммуникационных сетей. Одним из перспективных направлений сокращения времени разработки аттестационных тестов для протоколов пакетной передачи данных является использование методов автоматизированной генерации на основе формальной модели расширенного автомата.

В связи с этим диссертационная работа посвящена исследованию и разработке метода автоматизированной генерации аттестационного теста для протоколов передачи данных уровня звена данных, сетевого и транспортного в соответствии с моделью ВОС на основе модели линейной системы расширенного перехода, представляющей собой упрощенную модель расширенного автомата.

Список литературы диссертационного исследования кандидат технических наук Фунтиков, Василий Борисович, 2000 год

1. Альберте М.Я., Калниньш A.A., Калныня Д.А. Автоматизированное тестирование телекоммуникационных систем. Автоматика и вычислительная техника. № 5, 1997. - с. 29 - 39.

2. Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. М.: "Мир", 1978. - 612 с.

3. Ахо А., Хопкрофт Дж., Ульман Дж. Построение и анализ вычислительных алгоритмов. М.: Мир, 1979. - 535 с.

4. Бертсекас Д., Галлагер Р. Сети передачи данных. М.: Мир, 1989. — 542 с.

5. Бичевский Я.Я. Автоматическое построение систем примеров. Программирование, № 3, 1977. - с. 60 - 70.

6. Борзов Ю.В. Тестирование программ с использованием символического выполнения. Программирование, № 1, 1980. - с. 51 - 59.

7. Венцтель Е.С. Теория вероятностей. — М.: Наука, 1969. 576 с.

8. Волож А.Ю., Амилющенко A.B., Фунтиков В.Б. Интернет-телефония в России. Научно-техническая конференция профессорско-преподавательского, научного и инженерно-технического состава МТУ СИ, тезисы доклада, 1999.- 1 с.

9. Гилл А. Введение в теорию конечных автоматов. М.: Наука, 1966. - 272 с.

10. ГОСТ 28906-91 (ИСО 7498). Системы обработки информации. Взаимосвязь открытых систем. Базовая эталонная модель. М.: Госстандарт России, 1991.

11. ГОСТ Р ИСО/МЭК 9646-1-93. Информационная технология. Взаимосвязь открытых систем. Методология и основы аттестационного тестирования. -М.: Госстандарт России, 1993.

12. Грэхем Р., Кнут Д., Паташник О. Конкретная математика. Основание информатики. М.: Мир, 1998. - 703 с.

13. Иванов А.Б. Контроль соответствия в телекоммуникациях и связи. Часть 1.- М.: Компания САЙРУС СИСТЕМС, 2000. 375 с.153

14. Кристофидес Н. Теория графов. Алгоритмический подход. М.: Мир, 1978. -429 с.

15. Кульгин М. Оптимизация работы протокола ТСР в распределенных сетях. -М.: Сети, №10, 1999. с. 26 - 36.

16. Кульгин М.В. Коммутация и маршрутизация IP/IPX трафика. -М.: Компьютер Пресс, 1998.-319 с.

17. Куфарова И.Б., Евтушенко Н.В., Петренко А.Ф. Синтез проверяющих тестов для недетерминированных автоматов относительно редукции. — Автоматика и вычислительная техника, № 3, 1998. с. 10-20.

18. Липский. В. Комбинаторика для программистов. М.: Мир, 1988. - 213 с.

19. Муртаф. Б. Современное линейное программирование. -М.: Мир, 1984. -224 с.

20. Нечепуренко М.И., Попков В.К., Майнагашев С.М. и др. Алгоритмы и программы решения задач на графах и сетях. Новосибирск, Наука (сибирское отделение), 1990. - 514 с.

21. Новиков Ф.А. Дискретная математика для программистов. СПб.: Питер, 2000.-304 с.

22. Сэвидж Д.Э. Сложность вычислений. -М.: Изд-во "Факториал", 1998 -368 с.

23. Фунтиков В.Б. Проблемы автоматизированного построения аттестационных тестов для протоколов передачи данных. сборн. "Перспективы развития российского сегмента Интернет", деп. в ЦНТИ "Информсвязь", № 2166 от 14.04.2000.- с. 38-49.

24. Фунтиков В.Б. Проблемы сертификации узлов телематических служб Интернет. сборн. "Электронный обмен данными в Интернет", деп. в ЦНТИ "Информсвязь", №2153 св-99 от 27.04.99. - с. 50-52

25. Фунтиков В.Б. Сертификация оборудования IP телефонии. - Документальная электросвязь, № 1, Москва, 1999. - с. 48-50.154

26. Шевельков В.Л. Метод проверки синтаксиса передачи представительного уровня в тестировании конформности. Автоматика и вычислительная техника, №1, 1994.

27. Шилдт Г. Теория и практика С++. СПб.: BHV - Санкт-Петербург, 1999. -416 с.

28. Aho A., Dahbura A., Lee D. An Optimization Technique for Protocol Conformance Test Generation Based on UIO Sequences and Rural Chinese Postman Tours. Symposium of Protocol Specification, Testing, and Verification, IFIP, Elsevier, 1988.-е. 134-147.

29. Anders Ek, Grabowski J., Hogrefe D. Towards the industrial use of validation techniques and automatic test generation methods for SDL specifications. -Technical report, 1998. 22 c.

30. Barry S. Bosik, Uyar M.U. Finite state machine based formal methods in protocol conformance testing: from theory to implementation. Computer Networks and ISDN Systems № 22, 1991. - c. 8 - 26.

31. Кудрявцев В.Б., Алешин C.B., Подколзин A.C. Введение в теорию автоматов М.: Наука. Гл. ред. физ.-мат. лит., 1985. - 320 с.

32. Besse Cederic, Cavalli A., Lee D. Optimization techniques and automatic test generation for TCP/IP protocols, 1998. -16 c.

33. Bhattacharyya A. Checking experiments in sequential machines. New Delhi etc.: Wiley Eastern, 1989. - 155 c.

34. Bochmann G., Petrenko A., Yao M. Fault coverage of tests based on finite state models. Chapman & Hall, Proc. of IFIP WG 6.1 Protocol Test Systems, 1995 -c. 55-78.

35. Bochmann G., Petremko A., Belial O. Automating the process of test derivation from SDL specifications. Universite de Montreal, 1996. - 12 c.

36. Bourhfir C., Dssouli R., Aboulhamid E.M. Automatic Test Generation for EFSM-based Systems. Canada, Universite de Montreal, DIRO, Publication # 1060, 1995.-60 c.155

37. Brinksma E. A theory for the derivation of tests. Protocol Specification, Testing and Verification, 8, IFIP, Elsevier, 1988. - c. 63 - 74.

38. Brinksma E., Alderden R., Langerak R. Formal approach to conformance testing. Proc. Int. Workshop on Protocol Test Systems, North-Holland, 1989.c. 311 325.

39. Budkowski T., Demobinski P. An Introduction to Estelle: a Specification Language for Distributed Systems, Computer Networks and ISDN Systems, Vol. 14, No 1, 1991, c. 3-24.

40. Chan Wendy Y.L., Vuong Son T., Ito M. R. An Improved Protocol Test Generation Procedure Based on UIOs. Computer Communication Rev., Vol. 19, No. 4, 1989. -c. 283-289.

41. Chanson S.T., Zhu J. A Unified Approach to Protocol Test Sequence Generation. Proc. IEEE INFOCOM, 1993. - c. 106 - 114.

42. Chen Mon-Song, Choi Y., Kershenbaum A. Approaches utilizing segment overlap to minimize test sequences. — Protocol Specification, Testing, and Verification, IFIP, Elsevier, 1990. c. 85 - 98.

43. Chow T.S. Test Design Modeled by Finite-State Machines. IEEE Transactions on SE, No 3, 1978, - c. 178 - 187.

44. Chun W., Amer P.D. Test Case Generation for Protocols Specified in Estelle. -Madrid, Proc. of FORTE, 1990. 18 c.

45. DeMillo R.A., Offutt J. Constraint-Based Automatic Test Data Generation. -IEEE Transactions on SE, Vol. 17, No 9, 1991. -c. 13-24.

46. EG 202 106. Methods for testing and specification (MTS); Guidelines for the use of formal SDL as a descriptive tool. Geneva, ETSI, 1999.

47. Eswara S., Berriman T., VanHoutte P. Towards Execution of TTCN Test Cases. -Proc. of IFIP Protocol Specification, Testing and Verification, X, Elsevier, 1990. -c. 99-112.

48. Fecko M. A., Uyar M. U., Sethi A. S. Issues in conformance testing: multiple semicontrollable interfaces. Paris, Proc. of FORTE/PSTV, 1998. - 17 c.156

49. Ferenc Belina, Hogrefe Dieter. The CCITT-Specification and Description Language SDL", Computer Networks and ISDN Systems, v. 16, 1989. - c. 45 - 61.

50. Fountikov V.B. "Telecom equipment certification procedures in the Russian Federation" Think tank telecom exchange conference, Warsaw, Poland, 1999. -10 c.

51. Fujiwara S., G.v. Bochmann, Khendek F. Test selection based on finite state models. IEEE Trans, on Software Engineering, Vol SE-17, No. 6, 1991, c. 591603.

52. Gill A. Realization of input-output relations by sequential machines. Journal of the ACM, v. 13, No. 1, 1966. - c. 33 - 42.

53. Gonenc G. A Method for the Design of Fault Detection Experiments, IEEE Trans, on Computers, Vol. 19, No. 6, 1970. - c. 550 - 558.

54. Grabowski J. SDL and MSC based test case generation an overall view of the SaMsTaG method - University of Berne, Technical report IAM-94-005, 1994. -25 c.

55. Grabowski J., Hogrefe D., Nahm R. A method for the generation of test cases based on SDL and MSCs. University of Berne, Technical report IAM-93-010, 1993.-25 c.

56. Grabowski J., Scheurer R., Toggweiler D., Hogrefe D. Dealing with the complexity of state space exploration algorithms for SDL systems. — University of Berne, Technical report, IAM-95-010, 1996. 11 c.

57. Hengeveld W., Kroon J. Using Checking Sequences for OSI Session Layer Conformance testing. IFIP, Protocol Specification, Testing, and Verification, 7, 1987.-c. 435-449.

58. Higashino T., Bochmann G. Automatic analysis and test case derivation for a restricted class of LOTOS expressions with data parameters. IEEE Transactions on SE., Vol 20, No 1, 1994. - c. 29-42.

59. Holzmann G. J. Design and validation of computer protocols. London: Prentice-Hall International Inc., 1991. - 500 c.157

60. ISO 8807. LOTOS: a formal description technique based on temporal ordering observational behavior.

61. ISO 9074. Estelle. A formal description technique based on an extended state transition model.

62. ISO/IEC 9646-3. Tree and Tabular Combined Notation.

63. Kohavi Z. Switching and Finite Automata theory. McGraw-Hill, 1978. - 658 c.

64. Language translation using PCCTS and C++. PCCTS Program manual, 1999. -280 c.

65. Lombardi F., Shen Y.-N. Evaluation and Improvement of Fault Coverage of Conformance Testing by UIO Sequences. IEEE Transactions on Communications, Vol. 40, No. 8, 1992. - c. 1288 - 1293.

66. Luo G., Bochmann G. v., Petrenko A.F. Test selection based on communication nondeterministic finite state machines using a generalized Wp-method. IEEE Trans, on SE, v. 20, No. 2, 1994. - c. 149 - 162.

67. Miller R.E. and Paul S. Structural analysis of protocol specifications and generation of maximal fault coverage conformance test sequences. IEEE/ACM Transactions on Networking, vol. 2 no. 5, 1994. - c. 457-470.

68. Miller R.E., Paul S. On generation of minimal length conformance tests for communication protocols, - IEEE/ACM transactions on Networking, v. 2, 1993. -c. 116-129.

69. Petrenko A., Yevtushenko N., Bochmann G. Testing in context: framework and test derivation. Computer Communications Journal, Vol. 29, 1996. - c. 12361249.

70. Petrenko A., Yevtushenko N., Lebedev A. Nondeterministic State Machines in Protocol Conformance Testing. — North-Holland, IFIP Trans., Protocol Test Systems, VI, 1993.-c. 363-378.

71. Pountain D. Constraint Logic Programming. Byte magazine, No 2, 1995. - c. 34-35.158

72. Rayner D. OSI conformance testing. Computer networks and ISDN systems, v. 14 № 1, 1987.-c. 79-98.

73. RFC 793. Transmission control protocol. IETF, 1981.

74. Sabnani K. and Dahbura A. A protocol test generation procedure and its fault coverage. Computer Networks and ISDN Systems, vol 15, 1988. - c. 285 - 297.

75. Sarikaya B., Bochmann G., Cerny E. A test derivation methodology for protocol testing. IEEE transactions on Software Engineering, Vol. 13, No. 9, 1987.c. 989-999.

76. Shen Y.N., Lombardi F., Dahbura A.T. Protocol conformance testing using multiple UIO sequences, IEEE Trans. Communications, v. 40, 1992.c. 1282- 1287.

77. Sidhu Deepinder P. Protocol Testing: The first ten years, the next ten years. -Protocol Specification, Testing, and Verification, IFIP, 1990. c. 47 - 68.

78. Sidhu Deepinder P., Leung Ting-Kau. Formal Methods for Protocol Testing: A Detailed Study. IEEE Trans, on SE, Vol. 15, No 4, 1989. - c. 413 - 426.

79. The meaning of conformance to standards. Geneva, ECMA, TR/18, 1983. -14 p.

80. Tretmans. J. Conformance testing with labeled transition systems: Implementation relations and test generation. Computer networks and ISDN systems, v. 29 No. 1, 1996.-c. 49-79.

81. Ural H., Yang B. A Test Sequence Selection Method for Protocol Testing. -IEEE Transactions on Communications, Vol. 39, No 4, 1991. c. 311 — 325.

82. Ural H., Zhu K. Optimal length test sequence generation using distinguishing sequences. IEEE/ACM Trans. Networking, v. 1, No. 3, 1993. - c. 358 - 371.

83. Uyar M.U., Sherif M.H. Protocol modeling for conformance testing: Case study for the ISDN LAPD protocol. AT&T technical J., vol. 69, 1990. - c. 67-74.

84. Using Formal Description Techniques An Introduction to Estelle, LOTOS and SDL.-John Wiley and Sons Ltd., 1993.-431 c.

85. Vern Paxson. Automated packet trace analysis of TCP implementations. ACM Transactions, 1997.-c. 167- 179.

86. Weyuker E.J., Rapps S. Selecting Software Test Data using Data Flow Information. IEEE Transactions on SE, Vol. 11, No. 4, 1985.- 1985.

87. Wiles A. The Tree and Tabular Combined Notation. A Tutorial. Telia Research, 1990. -210 c.

88. X.208. Specification of Abstract Syntax Notation One (ASN.l) Geneva, ITU-T, 1988.

89. X.680. Information technology Abstract Syntax Notation One (ASN.l): Specification of basic notation. - Geneva, ITU-T, 1997.

90. X.682. Information technology Abstract Syntax Notation One (ASN. 1): Constraint specification - Geneva, ITU-T, 1997.

91. X.683. Information technology Abstract Syntax Notation One (ASN.l): Parameterization of ASN. 1 specifications. - Geneva, ITU-T, 1997.

92. Yao M., Petrenko A., Bochmann G.v. Conformance Testing of Protocols without Reset. Universite de Montreal, Publication 861, 1993. - 28 c.

93. Yevtushenko N., Lebedev A., Petrenko A. On the Checking Experiments with Nondeterministic Automata. — New York, Automatic Control and Computer Sciences, Allerton Press, Inc., v. 25, No. 6, 1991. c. 81 - 85.

94. Yevtushenko N., Petrenko A. A method of constructing a test experiment for an arbitrary deterministic automation. Automatic control and computer sciences, Allerton Press, Inc. New York, v. 24, No. 5, 1990. -c. 65 - 68.

95. Z.100. Specification and Description language (SDL). ITU-T, Geneva, 1996.

96. Z.120 (1996). Message Sequence Chart (MSC). Geneva, ITU-T, 1996.160