Автоматизация процессов аттестационных испытаний средств информационного обмена

• Автор: Парамохина, Татьяна Михайловна
• Шифр специальности: 05.13.06
• Научная степень: Кандидатская
• Год защиты: 2007
• Место защиты: Орел
• Количество страниц: 175 с. : ил.

СОДЕРЖАНИЕ
ВВЕДЕНИЕ.

ГЛАВА 1. АНАЛИЗ ПРОЦЕССОВ АТТЕСТАЦИОННЫХ ИСПЫТАНИЙ СРЕДСТВ ИНФОРМАЦИОННОГО ОБМЕНА

1.1. Процедуры аттестационных испытаний средств информационного обмена

1.2. Общесистемные вопросы организации аттестационных испытаний

1.3. Современные требования к безопасности средств информационного обмена

1.4. Концептуальная модель данных информационного обмена

ГЛАВА 2. МАТЕМАТИЧЕСКАЯ МОДЕЛЬ ПРОЦЕССОВ ИНФОРМАЦИОННОГО ОБМЕНА

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

2.1.1. Ошибки, выявляемые аттестационным испытанием.

2.1.2. Программа аттестационных испытаний средств информационного обмена

2.1.3. Описание возможностей протокола информационного обмена с помощью формальных языков.
2.2. Модель процессов информационного обмена
2.2.1 Анализ процедуры генерации тестов на основе формального описания в виде недетерминированного конечного автомата с предикатами.
2.2.2. Свойства модели
ГЛАВА 3. МЕТОДИКА ПОДГОТОВКИ ТЕСТОВ ДЛЯ ПРОТОКОЛОВ ИНФОРМАЦИОННОГО ОБМЕНА
3.1.Разработка алгоритма генерации тестов для математической модели процессов информационного обмена
3.1.1. Оценка количества вхождения сигналов надежный сброс в тестовых последовательностях.
3.1.2. Алгоритм нахождения уникальной последовательности для недетерминированного автомата.
3.1.3. Оценка покрытия метода уникальной последовательности для протокола без сигнала надежный сброс.
3.2.Формализация входной области тестовой последовательности.
3.2.1. Процедура нахождения уникальной последовательности для НКА с предикатами
3.3. Разработка алгоритма построения тестового комплекта на основе метода уникальной последовательности.
3.3.1. Алгоритм построения тестового комплекта.
3.3.2. Оптимизация процедуры поиска покрытия перехода
ГЛАВА 4. МЕТОДИКА АТТЕСТАЦИОННЫХ ИСПЫТАНИЙ СРЕДСТВ ИНФОРМАЦИОННОГО ОБМЕНА.
4.1. Способы и приемы аттестационных испытаний, и общие подходы к генерации аттестационных тестов
4.2. Пример разработки тестового комплекта для протокола ТСР.
4.2.1. Характеристики протокола ТСР
4.2.2. Обсуждение полученных результатов.
Заключение
ПРИЛОЖЕНИЕ
БИБЛИОГРАФИЧЕСКИЙ СПИСОК.
Введение.
Актуальность


Процедуры аттестационных испытаний средств информационного обмена. Аттестационные испытания ПИО предусматривают тестирование на соответствие стандартам (conformance testing) [9,7,1,2,7]. Тестирование на соответствие осуществляется путем оценки реализации ПИО и должно стать обязательным для поставщиков. Тестирование соответствия должно подтвердить, что протокольные реализации ведут себя в соответствии со стандартами. ПИО будет функционировать правильно, и будет обеспечено взаимодействие. Кроме того, одноуровневое тестирование не всегда возможно, так как на практике реализация ПИО объединяет два и более уровней. Испытания взаимодействия имитируют реальные условия, в которых будет функционировать средство информационного обмена. Методика аттестационных испытаний ПИО представлена в виде структуры на рисунке 1. Ниже приведены определения только тех терминов по аттестационным испытаниям, которые встречаются в тексте данного подраздела. Более полный перечень терминов с их определениями содержится в ИСО/МЭК -1,5 (ГОСТ Р ИСО/МЭК -1-) [-]. ПИО. Тестируемая система (ТС) - реальная АСУП, в которой содержится ТР. Требование к динамическому соответствию - требование, определяющее, какие наблюдаемые характеристики разрешены соответствующими национальными, международными стандартами или рекомендациями МСЭ в сеансах обмена данными. МСЭ. Оценка информативности признаков. Проверка соответствия |4-гарантиров анностиу! ЗСРП. Рис. Заявка о соответствии реализации протоколу (ЗСРП) - заявка, составляемая поставщиком средства информационного обмена и констатирующая все обязательные требования и факультативные функции ПИО. Форма ЗСРП - документ в форме анкеты, доставленный разработчиком ПИО или комплекта аттестационных тестов, который, будучи заполнен для некоторого средства информационного обмена, становится ЗСРП. Дополнительная информация о реализации протокола для тестирования (ДИРПТ) - заявка, составленная поставщиком или разработчиком ТР, которая содержит всю информацию или ссылки на нее (дополнительно к информации ЗСРП), относящиеся к ТР и к условиям ее тестирования, и которая может позволить испытательной лаборатории осуществить испытания соответствующего комплекта тестов относительно данной ТР. Форма ДИРПТ - документ в форме анкеты, составляемый испытательной лабораторией, который, будучи заполнен при подготовке к аттестационному испытанию, становится ДИРПТ. Аттестованная реализация - ТР, удовлетворяющая требованиям статического и динамического соответствия, которые согласуются с характеристиками, установленными в ЗСРП. Заявка о соответствии системы (ЗСС) - документ, обобщающий все реализованные стандарты, рекомендации и профили, соответствие которым объявлено разработчиком. Клиент (испытательной лаборатории) - организация, представляющая систему или реализацию на аттестационное испытание. Все 7 частей ИСО/МЭК методом прямого перевода разработаны в виде государственных стандартов Российской Федерации (ГОСТ Р) []. В этих документах изложены смысл соответствия, спецификация абстрактных тестовых комплектов, тестовая нотация, методы аттестационных испытаний и другие вопросы, касающиеся проверки изделий на соответствие протоколам ВОС и они могут быть использованы при разработке соответствующей документации. Однако со времени первых изданий семи частей ( г. Каждый стандарт по ПИО и синтаксису передачи должен содержать раздел "Соответствие", сформулированный ясно и недвусмысленно. Для каждого стандарта, определяющего ПИО, должны быть разработаны стандартные тестовые комплекты с целью их использования поставщиками или разработчиками при самостоятельном аттестационном испытании, пользователями средств информационного обмена. Это должно обеспечить сопоставимость и широкую применимость результатов тестирования, полученных различными испытательными лабораториями, и тем самым минимизировать необходимость повторного аттестационного испытания одной и той же системы. Комплект абстрактных тестов состоит из набора тестовых примеров и факультативно из тестовых шагов для конкретного метода аттестационного испвытания.