Программа курса 'Тестирование конформности и формальные языки'

1.      Концепция тестирования конформности системы ИТ стандартам и профилям. Постановка задачи тестирования конформности системы в рамках OSE-профиля. [1]

2.      Деятельность комитета PASC и его структура. История процесса разработки стандартов прикладного программного интерфейса операционных систем. Совместная деятельность комитета PASC IEEE и The Open Group в рамках The Austin Common Revision Group. [16]

3.      Область применимости стандарта P2003. Основная терминология: Assertion, Assertion Test, CTP, Final Test Result Codes, Intermediate Test Result Codes, IUT, SUT, Test Software. Схема процесса тестирования конформности реализации базовому стандарту. Типы утверждений и их синтаксис. [7]

4.      Типы результирующих кодов. Классификация уровней сложности тестируемых сущностей с точки зрения стандарта P2003. Критерии полноты тестирования конформности. [7]

5.      Особенности тестирования конформности компиляторов как особого класса реализаций. Типы тестов, используемые при тестировании конформности компиляторов на соответствие стандартам; их классификация. Формальные методы, используемые при построении тестовых спецификаций: язык атрибутов и таблиц решений, метод функциональных диаграмм, алгоритм обратного хода. [11, 13-15]

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

7.      Базовые понятия OSI RM: layer model, protocol, ASP, service provider, PDU, SAP, PCO. Типы тестов, используемых при тестировании CSI. Структура тестовых комплектов. Методы тестирования: Local, Distributed, Coordinated, Remote. [2-4]

8.      Назначение TTCN. Задание структуры тестового комплекта, 3 типа библиотек. Основные конструкции языка с пояснением семантики их работы. [5]

9.      Понятие языка над конечным алфавитом. Способы задания языков. Исчисления Thue и Semi-Thue. Иерархия Хомского. Понятие о гомоморфизме моноидов. Проблема соответствия Поста. [10]

10.  Тестовые множества. Проблема Эренфехта (Ehrenfeukht's Conjecture). Доказательство теоремы о существовании тестового множества. [10]

11.  Теорема Линдона (Lyndon). Тестовое множество для языка L={aⁿbⁿ | n>0}. [10]

12.  Доказательство факта, что язык L={aⁿbⁿ | n>0} не является регулярным. Тестовое множество для языка над двухбуквенным алфавитом {a,b}, содержащим как минимум два слова с различным балансом букв a и b. [10]

13.  Доказательство факта, что для языка L={aⁿbⁿ | n>0} одноэлементного тестового множества не существует. [10]

14.  Язык SDL. Понятие процесса как расширенного конечного автомата. Ограничения на количество порождаемых экземпляров. Стандартные средства для работы с идентификаторами процессов. Способы обработки сигналов, действия при переходе в новое состояние. [8, 12]

15.  Способы взаимодействия процессов. Передача и прием сообщений. Механизмы EXPORTED-IMPORTED, а также REVEALED-VIEWED переменных. [8, 14]

16.  Язык формального описания Estelle. Задание статической структуры системы средствами Estelle. Модули и их атрибуты. [9]

17.  Модель, описывающая семантику Estelle-спецификаций. Понятие процесса и работы (process and activity). Локальное и глобальное состояние системы, глобальное мгновенное описание. Множества переходов. [9]

18.  Каналы передачи сообщений и их роли. Очереди сообщений и точки взаимодействия. Семантика операций attach/detach, connect/disconnect. [9]

Лектор м.н.с. Баскаков Ю.В.

e-mail: yuribsk@mcst.ru

тел.: 248-6543 (доб. 121)

Литература

[1]   ISO/IEC TR 10000-3: 1995 (final text, June 1995), Information Technology - Principles and Taxonomy of International Standardized Profiles - Part 3: Principles and Taxonomy for Open System Environment Profile.

[2]   ISO/IEC 7498-1: 1994/ITU-T X.200: 1994, Information Technology - Open Systems Interconnection - Basic Reference Model: The Basic Reference Model.

[3]   ISO/IEC 9646-1: 1995/ITU-T X.290: 1995, Information Technology - Open Systems Interconnection - Conformance Testing Methodology and Framework - Part 1: General Concepts.

[4]   ISO/IEC 9646-2: 1995/ITU-T X.291: 1995, Information Technology - Open Systems Interconnection - Conformance Testing Methodology and Framework - Part 2: Abstract Test Suite Specification.

[5]   ISO/IEC 9646-3: 1995/ITU-T X.292: 1995, Information Technology - Open Systems Interconnection - Conformance Testing Methodology and Framework - Part 3: Tree and Tabular Combined Notation.

[6]   ISO/IEC 9646-5: 1995/ITU-T X.294: 1995, Information Technology - Open Systems Interconnection - Conformance Testing Methodology and Framework - Part 5: Requirements on Test Laboratories and Clients for the Conformance Assessment Process.

[7]   ISO/IEC DIS 13210: 1996, Information Technology - Requirements and Guidelines for Test Methods Specifications and Test Method Implementation for Measuring Conformance to POSIX Standard.

[8]   ITU-T Recommendation Z.100: 1993, CCITT Specification and Description Language (SDL).

[9]   ISO/IEC 9074: 1994, Information Processing Systems - Open Systems Interconnection - Estelle: A Formal Description Technique Based on an Extended State Transition Model.

[10]  Salomaa A., Rozenberg G. 'Cornerstones of Undecidability', Prentice Hall, 1995

[11]  Баскаков Ю. В. 'Принципы построения тестовых комплектов для тестирования конформности компиляторов стандартам языков программирования', Теоретические и прикладные проблемы информационных технологий, Сборник трудов. - М., Изд-во Моск. ун-та, 2001, с. 93-100

[12]  Карабегов А. В, Тер-Микаэлян Т. М. 'Введение в язык SDL', М., Радио и связь, 1993

[13]  Кауфман В. Ш. 'Стандартизация и контроль трансляторов' Различные аспекты системного программирования. - М., Изд-во Моск. ун-та, 1984, с. 47-85

[14]  Майерс Г. 'Надежность программного обеспечения', М., Мир, 1980

[15]  Майерс Г. 'Искусство тестирования программ', М., Финансы и статистика, 1982

[16]  Официальный сайт IEEE PASC - www.pasc.org