Автоматизированная система тестирования операционных систем реального времени микропроцессорных управляющих комплексов

• Автор: Домарацкий, Ярослав Александрович
• Шифр специальности: 05.13.06
• Научная степень: Кандидатская
• Год защиты: 1999
• Место защиты: Санкт-Петербург
• Количество страниц: 132 с.

1. Оглавление
1. ОГЛАВЛЕНИЕ
2. ВВЕДЕНИЕ
3. ОСОБЕННОСТИ ТЕСТИРОВАНИЯ ОПЕРАЦИОННЫХ СИСТЕМ
РЕАЛЬНОГО ВРЕМЕНИ
3.1. Специфика систем управления реального времени
3.1.1. Среда разработки приложений ОС
3.1.2. Особенности ОС
3.1.2.1.Многозадачность
3.1.2.2.Объем памяти
3.1.2.3.Быстродействи е
3.1.2.4.Повышенная надежность
3.1.2.5.Большое число контролируемых объектов
3.1.2.6.Масштабируемост ь
3.1.2.7.Многоплатформност ь
3.1.2.8.Уменыненное энергопотребление
3.1.2.9.Защита от сбоев
3.1.3. Характеристика некоторых промышленных ОС
3.1.4. Требования, предъявляемые к системам управления
3.2. Классификация тестовых комплектов
3.2.1. Делимость
3.2.2. Переход в базовое состояние

3.2.3. Интерпретация результата работы
3.2.4. Контроль исполнения
3.2.5. Повторяемость
3.2.6. Возможность автоматизации
3.2.7. Анализ отличительных признаков
3.3. Способы организации тестовых комплектов
3.3.1. Неделимый ТК с внешней интерпретацией результата
3.3.2. Неделимый ТК с внутренней интерпретацией результата
3.3.3. Делимый ТК с контролем исполнения
3.3.4. Тестовый комплект, управляемый данными
3.4. Виды тестирования
3.4.1. Модульное тестирование
3.4.1.1 .Задача модульного тестирования
3.4.1.2.Требования к модульным тестам
3.4.1.3.План модульного тестирования
3.4.1.4.Методики создания модульных тестов
3.4.1.4.1.Разработка списка модульных тестов на основе анализа спецификаций
3.4.1.4.2. Составление списка модульных тестов на основе анализа кода
3.4.1.5.Специфика реализации модульных тестов
3.4.1.6.Способы реализации модульных тестов
3.4.2. Интеграционное тестирование
3.4.3. Тестирование работоспособности
3.4.4. Системное тестирование
3.4.4.1.Поиск дефектов на этапе системного тестирования
3.4.4.2.Циклы системного тестирования
3.4.4.3.Требования, предъявляемые к системным тестам ОС

3.4.4.4.0сновные виды системного тестирования ОС
3.5. Выводы по Разделу
4. СИСТЕМНОЕ ТЕСТИРОВАНИЕ ОПЕРАЦИОННЫХ СИСТЕМ РЕАЛЬНОГО ВРЕМЕНИ
4.1. Основные виды системного тестирования
4.1.1. Функциональное тестирование
4.1.2. Тестирование версий ядра ОС
4.1.3. Сценарное тестирование
4.1.4. Тестирование производительности
4.1.5. Граничное тестирование
4.1.6. Тестирование защиты системы
4.1.7. Тестирование исходного кода системы
4.1.8. Инстоляционное тестирование
4.1.9. Тестирование документации
4.1.10.Выходное тестирование
4.2. Этапы создания тестового комплекта
4.2.1. Анализ требований
4.2.2. Создание списка элементарных тестов
4.2.3. Разработка описаний и структур элементарных тестов
4.2.4. Реализация элементарных тестов
4.3. Формальное представление тестовых комплектов
4.3.1. Виды элементарных тестов
4.3.2. Структура тестов ОС
4.3.3. Плоские схемы
4.3.4. Тестовые комплекты, управляемые данными
4.3.5. Интерпретатор плоских схем
4.3.6. Построение тестов производительности на основе ИПС
4.3.7. Формат описания плоских схем

соответствующих выходных реакций. Результаты такого анализа обычно представляются в виде диаграммы перехода состояний.
Примером подобного анализа может служить разбиение множества переходов состояний семафора в результате исполнения функции "освободить семафор" на следующие классы:
• Состояние семафора изменилось, и он стал свободен;
• Состояние семафора не изменилось и он остался занят.
Список тестов создается для проверки всех возможных путей в диаграмме перехода состояний. Пример возможных переходов между состояниями задачи в ОС представлен на Рис. 5.
Рис. 5. Возможные переходы между состояниями задач в ОС
В основу метода причинно-следственного анализа положен анализ связей между входными воздействиями и выходными реакциями. Воздействия и реакции рассматриваются, как некоторые логические условия, которые могут быть либо истинными, либо ложными, либо как комбинация таких условий. Модуль представляется в виде графа, отражающего взаимосвязь между воздействиями и реакциями с использованием логических операторов. Список