Учебная программа курса или дисциплины «Тестирование конформности и формальные языки»




НазваниеУчебная программа курса или дисциплины «Тестирование конформности и формальные языки»
Дата публикации03.07.2013
Размер30 Kb.
ТипУчебная программа курса
lit-yaz.ru > Финансы > Учебная программа курса
Учебная программа курса или дисциплины

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



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

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

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

4.     Подходы к тестированию программного обеспечения. Методы белого и черного ящика. Виды тестирования компиляторов. Требования к тестовым комплектам. [11, 14-15]

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

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

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

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

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

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

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

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

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

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

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

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

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

Литература


[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

Добавить документ в свой блог или на сайт

Похожие:

Учебная программа курса или дисциплины «Тестирование конформности и формальные языки» iconУчебная программа курса или дисциплины «Компьютерные сети»
Тема html понятие языка разметки. Общая структура документа. Метаинформация. Составные документы

Учебная программа курса или дисциплины «Тестирование конформности и формальные языки» iconРабочая учебная программа дисциплины 4 Цели и задачи курса 4 Цель...
Автор учебного методического комплекса кандидат политических наук, доцент Евлампиева Екатерина Владимировна

Учебная программа курса или дисциплины «Тестирование конформности и формальные языки» iconУчебная программа курса или дисциплины «Дискретные структуры»
Ознакомить слушателей с фундаментальными понятиями, методами и алгоритмами дискретной математики, которые составляют теоретический...

Учебная программа курса или дисциплины «Тестирование конформности и формальные языки» iconРабочая учебная программа дисциплины > Цели и задачи курса Курс лекций «Психическая травма»
Методические указания студенту по изучению дисциплины и организации самостоятельной работы 6

Учебная программа курса или дисциплины «Тестирование конформности и формальные языки» iconРабочая учебная программа дисциплины > 1 Цели и задачи курса Курс...
Методические указания студенту по изучению дисциплины и организации самостоятельной работы 9

Учебная программа курса или дисциплины «Тестирование конформности и формальные языки» iconРабочая учебная программа дисциплины > 1 Цели и задачи курса Курс...
Методические указания студенту по изучению дисциплины и организации самостоятельной работы 10

Учебная программа курса или дисциплины «Тестирование конформности и формальные языки» iconУчебная программа курса или дисциплины «Технологии создания Интернет-узлов»
Тема Адресация в Internet. Адресация сетей, подсетей и устройств ("хостов"). Класс-ориентированная и бесклассовая адресация. Адресация...

Учебная программа курса или дисциплины «Тестирование конформности и формальные языки» iconУчебная программа курса или дисциплины «Технологии баз данных»
Цель дисциплины “Технологии баз данных” ознакомление слушателей с организацией, принципами построения и функционирования современных...

Учебная программа курса или дисциплины «Тестирование конформности и формальные языки» iconРабочая учебная программа дисциплины пс рупд рабочая Учебная программа дисциплины
Комплексное обеспечение информационной безопасности автоматизированных систем. 15

Учебная программа курса или дисциплины «Тестирование конформности и формальные языки» iconУчебная программа курса или дисциплины «Основы программирования»
В частности, в курсе рассматриваются основные конструкции языков программирования, анализируются основные типы и структуры данных,...



Образовательный материал



При копировании материала укажите ссылку © 2013
контакты
lit-yaz.ru
главная страница