ОГЛАВЛЕНИЕ
ВВЕДЕНИЕ.
ГЛАВА 1. МЕТОДЫ РАЗРАБОТКИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ. МЕТОДЫ И СРЕДСТВА ВЕРИФИКАЦИИ
1.1. Модели процесса создания программного обеспечения.
1.2. Критические системы.
1.2.1. Жизненный цикл разработки встроенного бортового программного обеспечения.
1.3. Методы и средства автоматического доказательства корректности программ.
1.3.1. Метод индуктивных утверждений
1.3.2. Аксиоматический метод доказательства частичной корректности программ
1.4. Методы автоматической генерации тестовых данных.
1.4.1. Проблемы систем генерации тестовых данных
1.4.2. Применение методов генерации тестовых данных для тестирования встроенного бортового программного обеспечения
1.5. Методы и средства тестирования программного обеспечения
1.5.1. Статическое тестирование.
1.5.2. Динамическое тестирование
1.5.3. Методы тестирования программного обеспечения.
1.5.3.1. Функциональное тестирование.
1.5.3.2. Тестирование встроенного бортового программного обеспечения.
1.6. Обзор существующих систем тестирования
1.6.1. V.
1.6.2.
1.6.3. .
1.6.4. i i2.
1.6.5. .
1.6.6. i
1.7. Средства разработки системы генерации тестов
1.8. Проблемы тестирования встроенного бортового программного обеспечения
1.9. Постановка задачи
1 Выводы
ГЛАВА 2. МЕТОД ГЕНЕРАЦИИ ТЕСТОВЫХ ДАННЫХ НА ОСНОВЕ ФУНКЦИОНАЛЬНЫХ ТРЕБОВАНИЙ
2.1. Описание метода генерации тестовых данных
2.1.1. Суть подхода.
2.1.2. Выделение областей эквивалентностей
2.1.3. Метод решения логических ограничений.
2.2. Модификация метода генерации тестовых данных для определения достижимости заданной точки в программе.
2.3. Автоматизация процесса тестирования встроенного бортового программного обеспечения.
2.4. Метод генерации тестовых данных и иодоопределенная математика
2.5. Выводы.
ГЛАВА 3. ПРОТОТИП СИСТЕМЫ ПОДДЕРЖКИ МОДЕЛИРОВАНИЯ И ТЕСТИРОВАНИЯ ВСТРОЕННОГО БОРТОВОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ АОАС8
3.1. Проект системы моделирования и помощи разработки.
3.1.1. Подсистема разбора исходного кода целевого языка.
3.1.2. Подсистема хранения и анализа семантической информации
3.1.3. Подсистема моделирования исполнения исходного кода.3
3.1.4. Интерфейс взаимодействия пользователя с системой
3.1.5. Подсистема сбора и анализа степени покрытия кода
3.1.6. Подсистема решения логических уравнений.
3.2. Тестирование на основе моделирования
3.3. Выводы
ГЛАВА 4. ПРИМЕНЕНИЕ ПРОТОТИПА СИСТЕМЫ МОДЕЛИРОВАНИЯ И ТЕСТИРОВАНИЯ И МЕТОДА ГЕНЕРАЦИИ
ТЕСТОВЫХ ДАННЫХ.
4.1. Анализ и практика применения разработанных методов генерации тестовых
4.2. Использование метода генерации тестовых данных в системе генерации тестов
4.3. Выводы.
ЗАКЛЮЧЕНИЕ
ЛИТЕРАТУРА