Документ взят из кэша поисковой машины. Адрес оригинального документа : http://oit.cmc.msu.ru/lectures/Questions.doc Дата изменения: Tue Dec 10 16:08:19 2002 Дата индексирования: Mon Oct 1 20:43:25 2012 Кодировка: koi8-r

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

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

Вопросы 18, 19 и 20 на экзамен не выносятся.

Лектор м.н.с. Баскаков Ю.В.
e-mail: yuribsk@mcst.ru
тел.: 248-6543 (доб. 121)

Литература

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.
ISO/IEC 7498-1: 1994/ITU-T X.200: 1994, Information Technology - Open
Systems Interconnection - Basic Reference Model: The Basic Reference Model.
1] ISO/IEC 9646-1: 1995/ITU-T X.290: 1995, Information Technology - Open
Systems Interconnection - Conformance Testing Methodology and Framework -
Part 1: General Concepts.
2] 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.
3] 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.
4] 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.
5] ISO/IEC DIS 13210: 1996, Information Technology - Requirements and
Guidelines for Test Methods Specifications and Test Method Implementation
for Measuring Conformance to POSIX Standard.
ITU-T Recommendation Z.100: 1993, CCITT Specification and Description
Language (SDL).
ISO/IEC 9074: 1994, Information Processing Systems - Open Systems
Interconnection - Estelle: A Formal Description Technique Based on an
Extended State Transition Model.
Fewster M., Graham D., Software Test Automation - Effective Use of Test
Execution Tools, Addison-Wesley, 1999
Necula G., Translation Validation for an Optimizing Compiler, Proceedings
of the ACM SIGPLAN Conference on Programming Language Design and
Implementation, 2000, pp. 83-95
Salomaa A., Rozenberg G. "Cornerstones of Undecidability", Prentice Hall,
1995
Баскаков Ю. В. "Принципы построения тестовых комплектов для тестирования
конформности компиляторов стандартам языков программирования",
Теоретические и прикладные проблемы информационных технологий, Сборник
трудов. - М., Изд-во Моск. ун-та, 2001, с. 93-100
Карабегов А. В, Тер-Микаэлян Т. М. "Введение в язык SDL", М., Радио и
связь, 1993
Кауфман В. Ш. "Стандартизация и контроль трансляторов" Различные аспекты
системного программирования. - М., Изд-во Моск. ун-та, 1984, с. 47-85
Майерс Г. "Надежность программного обеспечения", М., Мир, 1980
Майерс Г. "Искусство тестирования программ", М., Финансы и статистика, 1982
Официальный сайт IEEE PASC - www.pasc.org