Введение
ГЛАВА 1. Методы разработки программного обеспечения. Методы и средства верификации 12
1.1. Модели процесса создания программного обеспечения 12
1.2. Критические системы 14
1.2.1. Жизненный цикл разработки встроенного бортового программного обеспечения 16
1.3. Методы и средства автоматического доказательства корректности программ. 20
1.3.1. Метод индуктивных утверждений 20
1.3.2. Аксиоматический метод доказательства частичной корректности программ 21
1.4. Методы автоматической генерации тестовых данных 22
1.4.1. Проблемы систем генерации тестовых данных 25
1.4.2. Применение методов генерации тестовых данных для тестирования встроенного бортового программного обеспечения 26
1.5. Методы и средства тестирования программного обеспечения -..28
1.5.1. Статическое тестирование 28
1.5.2. Динамическое тестирование 30
1.5.3. Методы тестирования программного обеспечения 1
.5.3.1. Функциональное тестирование 33
1.5.3.2. Тестирование встроенного бортового программного обеспечения 35
1.6. Обзор существующих систем тестирования 40
1.6.1. VectorCAST. 40
1.6.2. AdaTEST95 41
1.6.3. LDRATestbed. 42
1.6.4. Telelogic TAUGeneration 43
1.6.5. SOFTWARE TESTWORKS. 44
1.6.6. UniTesK. 44
1.7. Средства разработки системы генерации тестов
1.8. Проблемы тестирования встроенного бортового программного обеспечения...47
1.9. Постановка задачи 49
1.10. Выводы 53
ГЛАВА 2. Метод генерации тестовых данных на осно ве функциональных требований 55
2.1. Описание метода генерации тестовых данных 55
2.1.1. Суть подхода 57
2.1.2. Выделение областей эквивалентностей 61
2.1.3. Метод решения логических ограничений
2.2. Модификация метода генерации тестовых данных для определения достижимости заданной точки в программе 79
2.3. Автоматизация процесса тестирования встроенного бортового программного обеспечения 80
2.4. Метод генерации тестовых данных и «недоопределенная» математика 81
2.5. Выводы 87
ГЛАВА 3. Прототип системы поддержки моделирова ния и тестирования встроенного бортового программного обеспечения adacs 89
3.1. Проект системы моделирования и помощи разработки 89
3.1.1. Подсистема разбора исходного кода целевого языка 89
3.1.2. Подсистема хранения и анализа семантической информации 92
3.1.3. Подсистема моделирования исполнения исходного кода 103
3.1.4. Интерфейс взаимодействия пользователя с системой 111
3.1.5. Подсистема сбора и анализа степени покрытия кода 114
3.1.6. Подсистема решения логических уравнений
3.2. Тестирование на основе моделирования 116
3.3. Выводы 124
ГЛАВА 4. Применение прототипа системы моделиро вания и тестирования adacs и метода генерации тестовых данных 126
4.1. Анализ и практика применения разработанных методов генерации тестовых данных 126
4.2. Использование метода генерации тестовых данных в системе генерации тестов matlaber 132
4.3. Выводы 140
Заключение 142
Литература : 144
