Содержание
Ввсдеше
Глава 1. Сравнительный анализ моделей надежности ПО
1.1. Анализ существующих моделей надежности ПО.
1.1.1. История развития исследований надежности ПО
1.1.2. Понятие надежности ПО
1.1.3. Классификация моделей надежности ПО
1.2. Анализ недостатков существующих моделей надежности ПО.
1.2.1. Недостатки моделей подсчета количества ошибок в программах.
1.2.2. Недостатки вероятностного подхода
1.3. Анализ моделей ПО.
1.3.1. модели.
1.3.2. Графоматричные модели ПО
1.3.3. Автоматные модели ПО.
1.4. Анализ систем тестирования ПО.
1.4.1. i
1.4.2. I i.
Выводы по главе 1
Глава 2. Стратифицированная базовая модель ПО
2.1. Необходимые сведения из теории иерархических многоуровневых систем
2.2. Анализ этапов жизненного цикла ПО.
2.2.1. Этап определения требований ПО.
2.2.2. Этап проектирования ПО.
2.2.3. Этап конструирования кодирования ПО
2.2.4. Этап тестирования ПО.
2.3. Построение стратифицированной базовой модели ПО.
2.4. Метрики надежности ПО.
2.5. Пример стратифицированного описания программы.
2.5.1. Спецификация требований
2.5.2. Спецификация разработчика
2.5.3. Программный код
Выводы по главе 2
Глава 3. Диагностическая модель ПО
3.1. Необходимые сведения из теории множеств
3.1.1. Соответствия и бинарные отношения.
3.1.2. Операции над соответствиями.
3.2. Анализ стратегии тестирования ПО.
3.3. Диагностическая модель ПО
3.4. Пример использования диагностической модели ПО.
3.4.1. Набор тестов, покрывающий требования спецификации.
3.4.2. Расчет метрик.
3.4.3. Особенности автоматизации тестирования
Выводы по главе 3.
Глава 4. Автоматизированная система тестирования ПО.
4.1. Назначение автоматизированной системы тестирования ПО
4.2. Структура автоматизированной системы тестирования ПО.
4.2.1. Общая характеристика
4.2.2. Модуль автоматических тестов
4.2.3. Модуль планирования запусков
4.2.4. База данных результатов тестов
4.2.5. Модуль генерации отчетов
4.2.6. ЕВ интерфейс
4.2.7. Алгоритм работы автоматизированной системы тестирования ПО
4.3. Практические результаты
4.3.1. Краткое описание производимого программного продукта
4.3.2. Результаты применения автоматизированной системы тестирования ПО Выводы по главе 4
Заключение
Литература
- Київ+380960830922