1. Концепция тестирование конформности системы ИТ стандартам и профилям. Постановка задачи тестирования конформности системы в рамках OSE-профиля. [1]
2. Деятельность комитета PASC и его структура. История процесса разработки стандартов прикладного программного интерфейса операционных систем. Совместная деятельность комитета PASC IEEE и The Open Group в рамках The Austin Common Revision Group. [15]
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. Базовые понятия OSI RM: layer model, protocol, ASP, service provider, PDU, SAP, PCO. Типы тестов, используемых при тестировании CSI. Структура тестовых комплектов. Методы тестирования: Local, Distributed, Coordinated, Remote. [2-4]
7. Назначение TTCN. Задание структуры тестового комплекта, 3 типа библиотек. Основные конструкции языка с пояснением семантики их работы. Деятельность тестовых лабораторий. [5,6]
8. Понятие о языке над конечным алфавитом. Способы задания языков. Исчисления Thue и Semi-Thue. Иерархия Холмского. Понятие о гомоморфизме моноидов. Проблема соответствия Поста. [10]
9. Тестовые множества. Проблема Эйренфехта (Ehrenfeukht's Conjecture). Схема доказательства теоремы о существовании тестового множества. [10]
10. Теорема Линдона (Lyndon). Тестовое множество для языка L={aⁿbⁿ | n>0}. [10]
11. Доказательство факта, что язык L={aⁿbⁿ | n>0} не является регулярным. Тестовое множество для языка над двухбуквенным алфавитом {a,b}, содержащим как минимум два слова с различным балансом букв a и b. [10]
12. Доказательство факта, что для языка L={aⁿbⁿ | n>0} одноэлементного тестового множества не существует. [10]
13. Язык SDL. Описание структуры и функционирования распределенной системы реального времени средствами языка SDL. Блоки, каналы, сигналы, процессы, маршруты, подструктуры - графическое и линейное представление. [8,12]
14. Понятие процесса как расширенного конечного автомата. Ограничения на количество порождаемых экземпляров. Стандартные средства для работы с идентификаторами процессов. [8,12]
15. Модель функционирования процесса, представленная в рамках языка SDL. Буфер процесса, состояния, способы обработки сигналов, действия при переходе в новое состояние, непрерывные сигналы. [8,12]
16. Способы взаимодействия процессов и их синхронизация. Передача и прием сообщений. Механизмы EXPORTED-IMPORTED, а также REVEALED-VIEWED переменных. [8,12]
17. Понятие FDT. Назначение и область применения стандартных FDT. Язык формального описания Estelle. Задание статической структуры системы средствами Estelle. Модули и их атрибуты. [9]
18. Модель, описывающая семантику Estelle-спецификаций. Понятие процесса и работы (process and activity). Локальное и глобальное состояние системы, глобальное мгновенное описание. Множества переходов. [9]
19. Каналы передачи сообщений и их роли. Очереди сообщений и точки взаимодействия. Семантика операций attach/detach, connect/disconnect. [9]

e-mail: yuribsk@mcst.ru

тел.: 248-6431 (доб. 136)

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